Abstract
Modern window-based user interfaces are actually a special kind of reactive system, and Petri nets may be fruitfully used to design such user — computer dialogues. This paper describes a software engineering tool aimed at supporting the use of high-level Petri nets for the specification, design and implementation of user interfaces in an event-driven interface system. We assess the rationale for the use of Petri nets in such a perspective. We then detail the object-oriented software architecture of the environment, and present an original algorithm for interpreting high-level Petri nets in an event-driven environment.
Preview
Unable to display preview. Download preview PDF.
References
Abowd G.D. Agents: Communicating Interactive Processes Proc of INTERACT'90. Elsevier Science (North Holland), p. 143–148
Cameiro L.M.F., Cowan D.D., Lucena C.J.P. ADVcharts: a Graphical Specification for multimodal Interactive Systems — Abstract Data Views in Perspectives. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993
Bastide R. Palanque P. Theoretical Foundations of recent formal approaches in HCI design. Research Symposium CHT94. Boston, 23–30 Avril 1994.
Bastide R. Palanque P. Cooperative Objects: a Concurrent Petri Net Based Object-Oriented Language. Proceedings of the IEEE/System Man and Cybernetics 93 “Systems Engineering in the Service of Humans”, Le Touquet, 17–20 October 1993.
DeCarolis B., Rosis F. Modelling Adaptive Interaction in OPADE by Petri Nets. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993.
Fields B., Harrison M., Wright P. From Natural Language Requirements to Agent-Based Specification: An Aircraft Warning Case Study. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993.
Jacob R.J.K. A specification language for Direct-Manipulation User Interfaces. ACM Transactions on Graphics, Vol. 5, n∘ 4, October 1986. p. 283–317.
Olsen D.R. SYNGRAPH: a graphical User Interface Generator. ACM Computer Graphics Vol. 23, n∘ 3, July 1983. p. 43–50.
Palanque P., Bastide R., Sibertin C., Dourte L. Design of User-Driven Interfaces using Petri nets and Objects, In proceedings of 5th Conference on Advanced Information Systems Engineering (CAISE'93). Lecture Notes in Computer Science Nj 685, Springer-Verlag.
Palanque P. Bastide R. Verification of an Interactive Software by Analysis of its Formal Specification. INTERACT'95, Lillehamer, Norway (June 27–29, 1995).
Palanque P, Bastide R. Formal specification of HCI for increasing software's ergonomics. ERGONOMICS'94, Warwick, England, 19–22 april 1994.
Palanque P. Bastide R. Petri Net based design of user-driven interfaces using the Interactive Cooperative Objects formalism. EUROGRAPHICS workshop on “design, specification and verification of Interactive systems”, Carara, Italiy, 8–10 juin 1994.
Palanque P. Bastide R. Automatic Code Generation From a High-Level Petri Net Based Specification of Dialogue. EWHCI'94 (East-West Conference on Human Computer Interaction), St Petersburg, Russia. 2–6 August 1994.
Palanque P. Bastide R. Contextual Help for Free with Formal Dialogue Design. Actes du congres “HCI International 93”, 5th International Conference on Human-Computer Interaction joint with 9th Symposium on Human Interface (Japan), North Holland. Orlando, Floride (USA), 8–15 August 1993.
Palanque P. Bastide R. Interactive Cooperative Objects: an Object-Oriented Formalism Based on Petri Nets for User Interface Design. Proceedings of the IEEE / System Man and Cybernetics 93 “Systems Engineering in the Service of Humans”, Le Touquet, 17–20 October 1993.
Pamas D.L. On the use of transition diagrams in the design of a user interface for an interactive computer system. 24 th ACM Conference 1969. p. 379–385.
Paterno F., Faconti G. On the Use of LOTOS to Describe Graphical Interaction Proc. of the HCI'92 Conference, p 155–174, BCS Conference Series, Monk, Diaper & Harrison Eds. 1992.
Eurographic Seminar, Tutorial and Perspectives in Computer Graphics; User Interface Management Systems; In proceedings of the workshop on UIMS held in Seeheim FRG; November 1983. Edited by Günther E. Pfaff. Springer-Verlag 1985.
Pnueli A Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. Lecture Notes in Computer Science n∘ 224 p.510–584. Springer Verlag 1986.
Reisig W. Combining Petri Nets and Other Formal Methods. Proceedings of ATPN'92. Lecture Notes in Computer Science n∘ 616 p.24–44. Springer Verlag 1992.
Rumbaugh J.et.al. W. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
Sibertin-Blanc C Cooperative nets Proceedings of the 15th International Conference on Application and Theory of Petri nets, LNCS 815, 1994
Systa K. Specifying User Interfaces in DisCo. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993.
Wasserman A.I. Extending State / Transition Diagrams for the specification on Human-Computer Interaction. IEEE Transaction on Software Engineering Vol. 11, n∘ 8, August 1985. p. 699–713.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bastide, R., Palanque, P. (1995). A Petri net based environment for the design of event-driven interfaces. In: De Michelis, G., Diaz, M. (eds) Application and Theory of Petri Nets 1995. ICATPN 1995. Lecture Notes in Computer Science, vol 935. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60029-9_34
Download citation
DOI: https://doi.org/10.1007/3-540-60029-9_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60029-9
Online ISBN: 978-3-540-49408-9
eBook Packages: Springer Book Archive