This paper presents a Petri-net-based object-oriented conceptual modeling approach for constructing graphical direct-manipulation user interface (GUI) applications. It is a visual and formal approach which is capable of modeling both the static and dynamic aspects of GUI applications at a higher level of abstraction through the use of an objectoriented application framework that supports the modelview-controller design methodology and embodies most generic functionality required when constructing a GUI application. The annotated Petri net basis provides an abstract graphical representation of the modeled GUI system and can be used as a medium for integrating the phases of specification, modeling, design, simulation, validation, and rapid prototyping. The use of an objectoriented application framework provides both a reusable design and reusable implementation for the finished GUI application.
Proceedings of the 1992 International Computer Symposium (Vol. 2)，頁776-783