Verifying the compatibility of component interfaces using the B formal method

Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05

Volumn 2, Issue , 2005, Pages 850-856

  Chouali, Samir ^a   Souquières, Jeanine ^a  

^a LORIA   (France)

Author keywords

Component interoperability; Formal methods; Interfaces; Verification

Indexed keywords

COMPUTER SOFTWARE; ENGINEERING RESEARCH; INFORMATION THEORY; INTEROPERABILITY;

COMPONENT INTERFACES; COMPONENT INTEROPERABILITY; COMPONENT PROTOCOLS; INTERFACES; PROTOCOL LEVELS; SIMULATION RELATIONS; THEOREM PROVERS; TRANSITION SYSTEMS; TWO COMPONENTS;

FORMAL METHODS;

EID: 60749086213     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. J. Hernandez A. Vallacillo and M. Troya. Object interoperability. In Object Oriented Technology : ECOOP'99 Workshop Readerc, pages 1-21, 1999.
2. J.-R. Abrial. The B Book. Cambridge University Press - ISBN 0521-496195, 1996.
3. L. Alfaro and T. A. Henzinger. Interface automata. In 9 th Annual Aymposium on Foundations of Software Engineering, FSE, pages 109-120. ACM Press, 2001.
4. A. Arnold. Mec : a system for constructing and analysis transition systems. In AMAST, pages 81-82, 1999.
5. R. Bastide, O. Sy, and P. A. Palanque. Formal specification and prototyping of CORBA systems. In ECOOP '99 : Proceedings of the 13th European Conference on Object-Oriented Programming, pages 474-494. Springer-Verlag, 1999.
6. C. Canal, L. Fuentes, E. Pimentel, J-M. Troya, and A. Vallecillo. Extending CORBA interfaces with protocols. Comput. J., 44(5) :448-462, 2001.
7. J. Cheesman and J. Daniels. UML Components - A Simple Process for Specifying Component-Based Software. Addison-Wesley, 2001.
8. L. Doldi. UML 2 Illustrated - Developing Real-Time & Communications Systems. TMSO, 2003.
9. J. Han. A comprehensive interface defi nition framework for software components. In The 1998 Asia Pacifi c software engineering conference, pages 110-117. IEEE Computer Society, 1998.
10. J. Han. Temporal logic based specifi cation of component interaction protocols. In Proceedings of the Second Workshop on Object Interoperability ECOOP'2000, pages 12-16. Springer-Verlag, 2000.
11. D. Konstantas. Interoperation of object oriented application. In Oscar Nierstrasz and Dennis Tsichritzis, editors, Object-Oriented Software Composition, pages 69-95. Prentice Hall, 1995.
12. O. Kouchnarenko and A. Lanoix. Refinement and verification of synchronized component-based systems. In Proc. Int. Sympo. of Formal Methods (FME 2003), pages 341-358, Pisa, Italy, 2003.
13. H. Ledang. Traduction Systématique de Spécifi cations UML vers B. PhD thesis, LORIA -Université Nancy2, 2002.
14. H. Ledang and J. Souqui'eres. Modeling class operations in B : application to UML behavioral diagrams. - ASE2001 : 16th IEEE International Conference on Automated Software Engineering, IEEE Computer Society, November, 2001.
15. B. Meyer. Object-Oriented Software Construction. Prentice-Hall, second edition, 1997.
16. Microsoft Corporation. The Component Object Model Specifi cation, Version 0.9, 1995. http ://www.microsoft.com/com/resources/comdocs.asp.
17. R. Milner. Communication and Concurrency. 1989.
18. H. P. Nguyen. Dérivation de Spécifi cations Formelles B à Partir de Spécifi cations Semi-Formelles. PhD thesis, CNAM, 1998.
19. The Object Mangagement Group (OMG). The Common Object Request Broker : Architecture and Specifi cation, Revision 2.2, February 1998. http ://cgi.omg.org/library/corbaiiop.html.
20. J. Rumbaugh, I. Jacobsen, and G. Booch. Unifi ed Modeling Language Reference Manual. Addison-Wesley, 1997.
21. S.-C.Kleene. Representation of events in nerve nets and fi nite automata. In C. E. Shannon and J. McCarthy, editors, Automata Studies, pages 3-41. Princeton University Press, Princeton, New Jersey, USA, 1956.
22. STERIA. Atelier B : Preuves et Exemples.
23. Sun Microsystems. JavaBeans Specifi cation, Version 1.01, 1997. http ://java.sun.com/products/javabeans/docs/spec.html.
24. C. Szyperski. Component Software. ACM Press, Addison-Wesley, 1999.
25. J. Warmer and A. G. Kleppe. The Object Constraint Language : Precise Modeling with UML. Addison-Wesley, 1999.
26. P. Wegner. Interoperability. ACM Computing Survey, 28(1) :285-287, 1996.
27. D. M. Yellin and R. E. Strom. Protocol specifi cations and component adaptors. ACM Trans. Program. Lang. Syst., 19(2) :292-333, 1997.
28. Amy Moormann Zaremski and Jeannette M. Wing. Specification matching of software components. ACM Transactions on Software Engineering and Methodology, 6(4) :333-369, 1997.