Ensuring properties of interaction systems

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

Volumn 4444 LNCS, Issue , 2007, Pages 201-224

  Gossler G ^a   Graf, S ^b   Majster Cederbaum, M ^c   Martens, M ^c   Sifakis, J ^b  

^a INRIA RHÔNE ALPES   (France)

^b VERIMAG   (France)

^c UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HUMAN COMPUTER INTERACTION; MATHEMATICAL MODELS;

BEHAVIOR MODEL; CONNECTORS; INTERACTION MODEL; INTERACTION SYSTEMS;

INTERACTIVE COMPUTER SYSTEMS;

EID: 38149062365     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71322-7_10     Document Type: Conference Paper

References (18)

1. Robert Allen and David Garlan. A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol., 6(3):213-249, 1997.
2. P.C. Attie and H. Chockler. Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. In R. Cousot, editor, proc. VMCAI'05, volume 3385 of LNCS, pages 465-481, 2005.
3. Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, and Martin Wirsing. A Component Modell for Architectural Programming. In Proceedings of FACS 2005. ENTCS, 2005.
4. Luca de Alfaro and Thomas A. Henzinger. Interface automata. In Proceedings of the 8th European Software Engineering Conference, Vienna, pages 109-120, 2001.
5. N. Francez, C.A.R. Hoare, D.J. Lehmann, and W.P. de Roever. Semantics of non-determinism, concurrency and communication. Journal of Computer Science, 19:290-308, 1979.
6. G. Gössler, S. Graf, M. Majster-Cederbaum, M. Martens, and J. Sifakis. An Approach to Modelling and Verification of Component Based Systems. In Proceedings of the 33rd International Conference on Current Trends in Theory and Practice of Computer, Science SOFSEM07, volume 4362 of LNCS, 2007.
7. Gregor Gßler and Joseph Sifakis, Component-based construction of deadlock-free systems. In proceedings of FSTTCS 2003, Mumbai, India, LNCS 2914, pages 420-433, 2003.
8. Gregor Gßler and Joseph Sifakis. Priority systems. In proceedings of FMCO'03, LNCS 3188, 2004.
9. Gregor Gßler and Joseph Sifakis. Composition for component-based modeling. Sci. Comput. Program., 55(1-3):161-183, 2005.
10. Nancy A. Lynch and Mark R. Tuttle. An introduction to input/output automata. CWI-Quarterly, 2(3):219-246, September 1989.
11. Mila Majster-Cederbaum, Moritz Martens, and Christoph Minnameier. A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. In Proceedings of the 33rd International Conference on Current Trends in Theory and Practice of Computer, Science SOFSEM07, volume 4362 of LNCS, 2007.
12. Moritz Martens, Christoph Minnameier, and Mila Majster-Cederbaum. Deciding Liveness in Component-Based Systems is NP-hard. Technical report TR-2006-017, Universität Mannheim, 2006.
13. Christoph Minnameier. Deadlock-Detection in Component-Based Systems is NP-hard. Technical report TR-2006-015, Universität Mannheim, 2006. also submitted for publication elsewhere.
14. Christos H. Papadimitriou. The Theory of Database Concurrency Control. Computer Science Press, 1986.
15. A. Pnueli. In transition from global to modular temporal reasoning about programs. In Logics and Models for Concurrent Systems. NATO, ASI Series F, Vol. 13, Springer Verlag, 1985.
16. Joseph Sifakis. A framework for component-based construction. In 3rd IEEE International Conference on Software Engineering and Formal Methods, volume Key note talk, Koblenz, 2005.
17. A.S. Tanenbaum. Modern Operating Sytems. Prentice Hall, 2001.
18. Jeffrey D. Ullman. Data Base and Knowledge-Base Systems, vol.1. Computer Science Press, 1988.