Petri Net Based Design of User-Driven Interfaces Using the Interactive Cooperative Objects Formalism
作者： Philippe A. Palanque , Rémi Bastide
DOI: 10.1007/978-3-642-87115-3_23
关键词: Current (mathematics) 、 Petri net 、 Computer science 、 Formal specification 、 Data integrity 、 Finite-state machine 、 Domain (software engineering) 、 Formalism (philosophy) 、 User driven 、 Theoretical computer science
摘要: The research work presented here belongs in the domain of formal specification human-software interaction. More precisely, we are concerned by applying a technique various stages construction an user-driven application, kind supported most current UIMS. We use Interactive Cooperative Objects (ICO) formalism, which structural (or static) aspects described object-oriented framework and dynamic behavioral) with high-level Petri-nets. case study some its expected benefits here.
springer.com
springerlink.com参考文章(18)
Philippe A. Palanque, Louis Dourte, Rémi Bastide, Contextual Help for Free with Formal Dialogue Design. international conference on human-computer interaction. pp. 615- 620 ,(1993)
Gregory D. Abowd, Agents: Communicating interactive processes international conference on human computer interaction. pp. 143- 148 ,(1990)
Fabio Paternò, Definition of Properties of User Interfaces Using Action-Based Temporal Logic. software engineering and knowledge engineering. pp. 314- 318 ,(1993)
Philippe A. Palanque, Rémi Bastide, Petri net objects for the design, validation and prototyping of user-driven interfaces international conference on human computer interaction. pp. 625- 631 ,(1990)
Kurt Lautenbach, Linear Algebraic Techniques for Place/Transition Nets Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I. pp. 142- 167 ,(1986) , 10.1007/BFB0046839
Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc, Design of User-Driven Interfaces Using Petri Nets and Objects conference on advanced information systems engineering. pp. 569- 585 ,(1993) , 10.1007/3-540-56777-1_30
Kurt Jensen, High-Level Petri Nets applications and theory of petri nets. ,vol. 11, pp. 166- 180 ,(1982) , 10.1007/978-3-642-69028-0_12
R. Valette, Analysis of petri nets by stepwise refinements Journal of Computer and System Sciences. ,vol. 18, pp. 35- 46 ,(1979) , 10.1016/0022-0000(79)90050-3
W. A. Woods, Transition network grammars for natural language analysis Communications of the ACM. ,vol. 13, pp. 591- 606 ,(1970) , 10.1145/355598.362773
Giorgio Bruno, Alessandra Balsamo, Petri net-based object-oriented modelling of distributed systems conference on object oriented programming systems languages and applications. ,vol. 21, pp. 284- 293 ,(1986) , 10.1145/960112.28725