Component-interaction automata as a verification-oriented component-based system specification

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2005

Volumn , Issue , 2005, Pages

  Brim, Luboš ^a   Černá, Ivana ^a   Vařeková, Pavlína ^a   Zimmerova, Barbora ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

ADLs; Component interaction; Component Interaction automata; I O automata; Interface automata; Team automata; Verification

Indexed keywords

AUTOMATA THEORY; SOFTWARE ENGINEERING; SPECIFICATIONS; VERIFICATION;

ADLS; ARCHITECTURE DESCRIPTION; ARCHITECTURE DESCRIPTION LANGUAGES; COMPONENT BASED SYSTEMS; COMPONENT INTERACTION; INTERFACE AUTOMATA; SPECIFICATION AND VERIFICATION; TEAM AUTOMATA;

FORMAL VERIFICATION;

EID: 38149135409     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1123058.1123063     Document Type: Conference Paper

References (18)

1. Divine - Distributed Verification Environment. http://anna.fi.muni.cz/divine.
2. J. Adamek and F. Plasil. Behavior protocols capturing errors and updates. In Proceedings of the Second International Workshop on Unanticipated Software Evolution (USE 2003), ETAPS, pages 17-25, Warsaw, Poland, April 2003. University of Warsaw, Poland.
3. R. J. Allen. A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon University, School of Computer Science, May 1997.
4. J. Barnat, L. Brim, I. Černá, and P. Šimeček. Divine - The Distributed Verification Environment. In Proceedings of the Workshop on Parallel and Distributed Methods in verification (PDMC'05), July 2005.
5. M. Beek, C. Ellis, J. Kleijn, and G. Rozenberg. Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work - The Journal of Collaborative Computing, 12(1):21-69, 2003.
6. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, January 2000.
7. L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pages 109-120. ACM Press, 2001.
8. L. de Alfaro and T. A. Henzinger. Interface-based design. In Proceedings of the 2004 Marktoberdorf Summer School. Kluwer, 2004.
9. C. Ellis. Team Automata for Groupware Systems. In Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge (GROUP'97), pages 415-424. ACM Press, New York, 1997.
10. D. Giannakopoulou. Model Checking for Concurrent Software Architectures. PhD thesis, University of London, Imperial College of Science, Technology and Medicine, January 1999.
11. D. C. Luckham. Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. In Proceedings of DIMACS Partial Order Methods Workshop IV, July 1996.
12. N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo, CA, 1996.
13. N. A. Lynch and M. R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proceedings of PODC, pages 137-151, April 1987.
14. N. A. Lynch and M. R. Tuttle. An introduction to input/output automata. CWI Quarterly, 2(3):219-246, September 1989.
15. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings of 5th European Software Engineering Conference (ESEC'95), September 1995.
16. J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour analysis of software architectures. In Proceedings of the 1st Working IFIP Conference on Software Architecture (WICSA1), February 1999.
17. F. Plasil and S. Visnovsky. Behavior protocols for software components. IEEE Transactions on Software Engineering, 28(11):1056-1076, November 2002.
18. M. R. Tuttle. Hierarchical correctness proofs for distributed algorithms. Master's thesis, Massachusetts Institute of Technology, Laboratory for Computer Science, April 1987.