Petri net objects for the design, validation and prototyping of user-driven interfaces
Rémi Bastide, Philippe A. Palanque · 1990
Petri Net Objects (P.N.O.) are a high-level, object-structured dialect of Petri nets, primarily devised for the design of parallel systems. We show how this formalism can be used for the specification and design of event-driven interfaces, through the use of a real-life example. We then discuss the potential for dialogue validation, integration in UIMS and prototyping offered by this model. KEYWORDS : User interface design, High level Petri Nets, prototyping, validation, Object oriented software design. I. INTRODUCTION. Nowadays, the user interface designer undertaking a development in a window-oriented environment finds himself less unprovided than only a few years ago. He has at his disposal a whole array of tools that alleviate to a great extend the non trivial task to build a user-friendly interface out of the rather low level services provided by graphical toolboxes. These tools, variously called Interface Generators or User Interface Management Systems and featuring interactiv...