A Petri net based environment for the design of event-driven interfaces

  • Rémi Bastide
  • Philippe Palanque
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 935)


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.


User Interface Design Computer tools for nets High-level Petri nets 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abowd G.D. Agents: Communicating Interactive Processes Proc of INTERACT'90. Elsevier Science (North Holland), p. 143–148Google Scholar
  2. 2.
    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, 1993Google Scholar
  3. 3.
    Bastide R. Palanque P. Theoretical Foundations of recent formal approaches in HCI design. Research Symposium CHT94. Boston, 23–30 Avril 1994.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.CrossRefGoogle Scholar
  8. 8.
    Olsen D.R. SYNGRAPH: a graphical User Interface Generator. ACM Computer Graphics Vol. 23, n∘ 3, July 1983. p. 43–50.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    Palanque P. Bastide R. Verification of an Interactive Software by Analysis of its Formal Specification. INTERACT'95, Lillehamer, Norway (June 27–29, 1995).Google Scholar
  11. 11.
    Palanque P, Bastide R. Formal specification of HCI for increasing software's ergonomics. ERGONOMICS'94, Warwick, England, 19–22 april 1994.Google Scholar
  12. 12.
    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.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    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.Google Scholar
  15. 15.
    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.Google Scholar
  16. 16.
    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.Google Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    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.Google Scholar
  19. 19.
    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.Google Scholar
  20. 20.
    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.Google Scholar
  21. 21.
    Rumbaugh W. Object-Oriented Modeling and Design. Prentice-Hall, 1991.Google Scholar
  22. 22.
    Sibertin-Blanc C Cooperative nets Proceedings of the 15th International Conference on Application and Theory of Petri nets, LNCS 815, 1994Google Scholar
  23. 23.
    Systa K. Specifying User Interfaces in DisCo. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993.Google Scholar
  24. 24.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Rémi Bastide
    • 1
  • Philippe Palanque
    • 1
  1. 1.L.I.S.Université Toulouse IToulouse CedexFrance

Personalised recommendations