Abstract
This paper presents a survey of three formalisms that are used for modelling the dialogue of user-driven interfaces: state diagrams, events and Petri nets. Petri nets are found to be the best suited formalism in this area, even if they lack structure. In order to address this problem, the usefulness of the object-oriented approach is discussed, and we present a formalism, called Petri Nets with Objects (PNO), that integrates both object-oriented and Petri nets approaches. A three-step method for building such models, consisting in defining the object classes, definiting the presentation and modelling the application's dialogue, is presented, and a detailed example illustrates the application of this method. Finally, we present an overview of the benefits that can be expected from the use of the PNO formalism in dialogue modelling.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
A.I. Wassennan: Extending state/transition diagrams for the specification of human-computer interaction. IEEE Transactions on Software Engineering 11, 8 (August 1985), 699–713
P. Pellaumail: Guide d'utilisation d'AXIAL. Tomes 1 et 2. Editions d'organisation, 1986
A. Pnueli: Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. Lecture Notes in Computer Science 224. Springer-Verlag, Berlin, 1986, pp. 510–584
W. Cowan, M. Wein: State versus history in user interfaces. In: D. Diaper et al. (eds.): Human-Computer Interaction — INTERACT'90. North-Holland, 1990
G.E. Pfaff (ed.): Proceedings of IFIP/EG Workshop on User Interface Management Systems (November 1983, Seeheim, FRG). Springer-Verlag, Berlin, 1985
J. Coutaz: Interfaces homme-ordinateur: Conception et réalisation. Dunod Informatique, Paris, 1990
A.V. Aho, R. Sethi, J.D. Ullman: Compilers: principles, techniques and tools. Addison-Wesley, Reading, Mass., 1986
D.R. Olsen: Syngraph: A graphical user interface generator. Computer Graphics 17, 3 (July 1983), 43–50
D. Kieras, G. Polson: A generalized transition network representation for interactive systems. In: Proceedings of CHI'83, Human Factors in Computing Systems. 1983, pp. 103–106
R.J.K. Jacob: A specification language for direct-manipulation user interfaces. ACM Transactions on Graphics 5, 4 (October 1986), 283–317
W.R. Van Biljon: Extending Petri nets for specifying man-machine dialogues. International Journal of Man-Machine Studies 28 (1988), 437–455
M. Zizman: A System for Computerisation of Office Procedures. Ph.D. thesis, Warton School of Management, 1977
H. Oberquelle: Human-machine intercation and role/function/action-nets. In: W. Brauer, W. Reisig, G. Rosenberg (eds.): Petri nets: applications and relationships to other models of concurrency. Lecture Notes in Computer Science 254 & 255. Springer-Verlag, Berlin, 1986, pp. 171–190
B. Roudaud, V. Lavigne, O. Lagneau, E. Minor: SCENARIOO: A new generation UIMS. In: D. Diaper el al. (eds.): Human-Computer Interaction-INTERACT'90. North-Holland, 1990, pp. 607–612
D. Harel: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)
W.A. Wood: Transition network grammars for natural language analysis. Communications of the ACM 13, 10 (October 1970), 591–606
M. Green: A survey of three dialogue models. ACM Transactions on Graphics 5, 3 (July 1986), 244–275
J.L. Peterson: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, N.J., 1981
G.W. Brains: Réseaux de Petri: Théorie et pratique. Tome 1: théorie et analyse; Tome 2: modélisation et applications. Masson, Paris, 1983
C. Sibertin-Blanc: High level Petri nets with data structure. In: 6th European Workshop on Petri Nets and Applications (June 1985, Espoo, Finland)
K. Lautenbauch: Linear algebraic techniques for place/transition nets. In: W. Brauer, W. Reisig, G. Rosenberg (eds.): Petri nets: applications and relationships to other models of concurrency. Lecture Notes in Computer Science 254 & 255. Springer-Verlag, Berlin, 1986, pp. 142–167
K. Jensen: Coloured Petri nets and the invariant method. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte 66. Springer-Verlag, Berlin, 1983
P. Palanque, C. Sibertin-Blanc and R. Bastide: Validation du dialogue par analyse d'une spécification fondée sur les réseaux de Petri. In Actes IHM'92 Quatrièmes journées sur l'ingénierie des interfaces homme-machine (30 nov., 1 et 2 déc. 1992, Paris). Telecom Paris, 1992, pp. 121–127
F. Feldbrugge, K. Jensen: Petri net tools overview. In: W. Brauer, W. Reisig, G. Rosenberg (eds.): Petri nets: applications and relationships to other models of concurrency. Lecture Notes in Computer Science 254 & 255. Springer-Verlag, Berlin, 1986, pp. 20–61
P. Palanque, Modélisation par Objets Coopératifs Interactifs d'interfaces hommemachine dirigées par l'utilisateur. Thèse de doctorat de l'Université Toulouse I (France), 1992
R. Bastide and P. Palanque: Petri nets with objects for the design, validation and prototyping of user-driven interfaces. In: D. Diaper et al. (eds.): Human-Computer Interaction-INTERACT'90. North-Holland, 1990, pp. 625–631
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Palanque, P.A., Bastide, R., Dourte, L., Sibertin-Blanc, C. (1993). Design of user-driven interfaces using Petri nets and objects. In: Rolland, C., Bodart, F., Cauvet, C. (eds) Advanced Information Systems Engineering. CAiSE 1993. Lecture Notes in Computer Science, vol 685. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56777-1_30
Download citation
DOI: https://doi.org/10.1007/3-540-56777-1_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56777-6
Online ISBN: 978-3-540-47735-8
eBook Packages: Springer Book Archive