Abstract
The research work presented here belongs in the domain of formal specification of human-software interaction. More precisely, we are concerned by the applying a formal specification technique in the various stages of the construction of an user-driven application, the kind supported by most of the current UIMS. We use the Interactive Cooperative Objects (ICO) formalism, in which structural (or static) aspects are described in an object-oriented framework and dynamic (or behavioral) aspects are described with high-level Petri-nets. The formalism, a case study and some of its expected benefits are presented here.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abowd G.D. Agents: Communicating interactive processes, proceedings of Interact’90 Elsevier p.143–148 Cambridge August 1990.
André C. Use of the Behavior equivalence in Place-Transition Net Analysis, Application and Theory of Petri Nets, IFB 52, Springer, 1982.
Bastide R., Palanque P. Petri nets with objects for the design, validation and prototyping of user-driven interfaces, proceedings of Interact’90 Elsevier p. 625–631. Cambridge August 1990.
Berthelot G. Transformations and decompositions of Nets. In [5].
Brauer W. Petri nets: Applications and relationships to other models of concurrency. W. Brauer, W. Reisig, G. Rosenberg editor, LNCS 254 &255, Springer Verlag.
Bruno G., Alessandra B. Petri-net based Object-Oriented modelling of distributed systems. OOPSLA’86, 1986.
M. Green: A survey of three dialogue models. ACM Transactions on Graphics 5, 3 (July 1986), 244–275.
D. Harel: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274, 1987.
Harrison M., Duke D. Abstract models for interaction objects, Internal report, dependable computing systems center. University of York.
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.
K. Lautenbauch: Linear algebraic techniques for place/transition nets. In [5].
Meyer B. Object oriented software construction. Prentice Hall, 1988.
Palanque P. Modelling user-driven interfaces by means of Interactive Cooperative Objects. Ph.D. Dissertation of University Toulouse (France). 1992.
Palanque P., Bastide R., Dourte L. Contextual help for free with formal dialogue specification, proceedings of HCI International 1993.
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). LNCS N° 685, Springer-Verlag, 1993.
Paterno F. Definition of Properties of User Interfaces Using Action-Based Temporal Logic, Proceedings of the 5th International Conference on Software Engineering and Knowledge Engineering SEKE’93, June, 16–18 1993
Peterson J.L. Petri net theory and modeling of systems. Prentice-hall. 1981. ISBN 0–13–661983–5.
Pomello L. Some equivalence notions for concurrent systems, an overview. G. Rozenberg edit, Advances in Petri Nets’85, LNCS 222, 1985.
Reizig W. Petri Nets in Software Engineering; in [Brauer...86].
C. Sibertin-Blanc. High level Petri nets with data structure. In; 6th European Workshop on Petri Nets and Applications (June 1985, Espoo, Finland).
Valette R. Analysis of Petri Nets by Stepwise Refinements; Journal of computer and system science 18, 3; 1979.
Wood W.A. Transition network grammars for natural language analysis. Communications of the ACM 13, 10, pp. 591–60, October 1970.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 EUROGRAPHICS The European Association for Computer Graphics
About this paper
Cite this paper
Palanque, P.A., Bastide, R. (1995). Petri Net Based Design of User-Driven Interfaces Using the Interactive Cooperative Objects Formalism. In: Paternó, F. (eds) Interactive Systems: Design, Specification, and Verification. Focus on Computer Graphics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-87115-3_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-87115-3_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-87117-7
Online ISBN: 978-3-642-87115-3
eBook Packages: Springer Book Archive