Component Substitutability via Equivalencies of Component-Interaction Automata

Electronic Notes in Theoretical Computer Science

Volumn 182, Issue SPEC. ISS., 2007, Pages 39-55

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

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

component substitutability; component based systems; independent implementability; reconfiguration correctness

Indexed keywords

COMPUTER SCIENCE; COMPUTER SYSTEMS; FORMAL LOGIC;

COMPONENT SUBSTITUTABILITY; COMPONENT-BASED SYSTEMS; INDEPENDENT IMPLEMENTABILITY; RECONFIGURATION CORRECTNESS;

AUTOMATA THEORY;

EID: 34250726126     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.09.030     Document Type: Article

References (15)

1. Adamek, J. and F. Plasil, Erroneous architecture is a relative concept, in: Proceedings of the Software Engineering and Applications conference (SEA'04) (2004), pp. 715-720
2. Adamek, J. and F. Plasil, Partial bindings of components - any harm?, in: Proceedings of the Asia-Pacific Software Engineering Conference (APSEC'04) (2004), pp. 632-639
3. Allen, R.J. and D. Garlan, The wright architectural specification language, Technical Report CMU-CS-96-TBD, Carnegie Mellon University, School of Computer Science, USA (1996)
4. Barnat, J., L. Brim, I. Černá, P. Moravec, P. Ročkai and P. Šimecek, Divine - a tool for distributed verification, in: Proceedings of the Computer Aided Verification conference (CAV'06), Seattle, WA, USA, 2006, to appear
5. Brim, L., I. Černá, P. Vařeková and B. Zimmerova, Component-Interaction automata as a verification-oriented component-based system specification, in: Proceedings of the ESEC/FSE Workshop on Specification and Verification of Component-Based Systems (SAVCBS'05) (2005), pp. 31-38, published also in ACM SIGSOFT Software Engineering Notes, Volume 31, Issue 2 (March 2006)
6. Chaki, S., E. Clarke, N. Sharygina and N. Sinha, Dynamic component substitutability analysis, in: Proceedings of the Formal Methods 2005 conference (FM'05) (2005)
7. Chaki, S., N. Sharygina and N. Sinha, Verification of evolving software, in: Proceedings of the ESEC/FSE Workshop on Specification and Verification of Component-Based Systems (SAVCBS'04), Newport Beach, California, USA, 2004, pp. 55-61
8. de Alfaro, L. and T.A. Henzinger, Interface automata, in: Proceedings of the 9th Annual Symposium on Foundations of Software Engineering (FSE'01) (2001), pp. 109-120
9. de Alfaro, L. and T.A. Henzinger, Interface-based design, in: Proceedings of the 2004 Marktoberdorf Summer School (2005)
10. Divine - Distributed Verification Environment. http://anna.fi.muni.cz/divine URL
11. Mach M., Plasil F., and Kofron J. Behavior protocols verification: Fighting state explosion. International Journal of Computer and Information Science 6 (2005) 22-30
12. Magee, J., J. Kramer and D. Giannakopoulou, Behaviour analysis of software architectures, in: Proceedings of the 1st Working IFIP Conference on Software Architecture (WICSA'99) (1999), pp. 35-50
13. Milner R. Communication and Concurrency (1989), Prentice Hall
14. Plasil F., and Visnovsky S. Behavior protocols for software components. IEEE Transactions on Software Engineering 28 (2002) 1056-1076
15. Vařeková, P. and B. Zimmerova, Component-Interaction automata for specification and verification of component interactions, in: Proceedings of the IFM 2005 Doctoral Symposium on Integrated Formal Methods (2005), pp. 71-75