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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 935, Issue , 1995, Pages 66-83

  Bastide, Rémi ^a   Palanque, Philippe ^a  

^a UNIVERSITY OF TOULOUSE CAPITOLE   (France)

Author keywords

Computer tools for nets; Design; High level petrinets; User interface

Indexed keywords

DESIGN; OBJECT ORIENTED PROGRAMMING; PETRI NETS; SOFTWARE ENGINEERING;

COMPUTER TOOLS FOR NETS; DESIGN AND IMPLEMENTATIONS; HIGH-LEVEL PETRI NETS; INTERFACE SYSTEM; OBJECT ORIENTED SOFTWARE; ORIGINAL ALGORITHMS; REACTIVE SYSTEM; SOFTWARE ENGINEERING TOOLS;

USER INTERFACES;

EID: 84956854334     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60029-9_34     Document Type: Conference Paper

References (24)

1. Abowd G. D. Agents: Communicating Interactive Processes Proc of INTERACT90. Elsevier Science (North Holland), p. 143-148
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, 1993
3. Bastide R. Palanque P. Theoretical Foundations of recent formal approaches in HCI design. Research Symposium CHT94. Boston, 23-30 Avril 1994.
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.
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.
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.
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.
8. Olsen D. R. SYNGRAPH: a graphical User Interface Generator. ACM Computer Graphics Vol. 23, n° 3, July 1983. p. 43-50.
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.
10. Palanque P. Bastide R. Verification of an Interactive Software by Analysis of its Formal Specification. INTERACT'95, Lillehamer, Norway (June 27-29, 1995).
11. Palanque P, Bastide R. Formal specification of HCI for increasing software's ergonomics. ERGONOMICS'94, Warwick, England, 19-22 april 1994.
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.
13. Palanque P. Bastide R. Automatic Code Generation From a High-Level Petri Net Based Specification of Dialogue. EWHCl'94 (East-West Conference on Human Computer Interaction), St Petersburg, Russia. 2-6 August 1994.
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.
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.
16. Pamas D. L. On the use of transition diagrams in the design of a user interface for an interactive computer system. 24th ACM Conference 1969. p. 379-385.
17. Patemo F., Faconti G. On the Use of LOTOS. to Describe Graphical Interaction Proc. of the HCT92 Conference, p 155-174, BCS Conference Series, Monk, Diaper & Harrison Eds. 1992.
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 Giinther E. Pfaff. Springer-Verlag 1985.
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.
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.
21. Rumbaugh J.W. et al. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
22. Sibertìn-Blanc C Cooperative nets Proceedings of the 15th International Conference on Application and Theory of Petri nets, LNCS 815, 1994
23. Systa K. Specifying User Interfaces in DisCo. York Workshop on Formal Methods for the Design of Interactive Systems, York, 1993.
24. Wassennan 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.