A Description Method for Interactions of Graphical Interfaces

Introducing the object-oriented method into basic Petri nets, we establish a concept of object subnet of the interface formally. Based on that definition, a description method for interactions of graphical user interfaces is developed, which generates a refined modeling technique of optimized standardization formalization and abstraction. The application of the method helps verify the validity of the models and advances the property assessment of the interaction. Remarkably, it helps generate the engineering prototype of a model-driven engineering application system.