A method for component-based software and system development

Proceedings - 32nd Euromicro Conference on Software Engineering and Advanced Applications, SEAA

Volumn , Issue , 2006, Pages 72-80

  Hatebur, Denis ^a   Heisel, Maritta ^a   Souquières, Jeanine ^b  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

^b UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Component based approach; Formal method; Interoperability

Indexed keywords

COMPONENT BASED APPROACH; FORMAL METHOD; SEQUENCE DIAGRAM;

ASSOCIATION RULES; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; INTEROPERABILITY; USER INTERFACES;

SOFTWARE ENGINEERING;

EID: 34547420799     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EUROMICRO.2006.9     Document Type: Conference Paper

References (25)

1. J.-R. Abrial. The B Book. Cambridge University Press - ISBN 0521-496195, 1996.
2. J-R. Abrial and D. Cansell. Click'n'Prove: Interactive Proofs Within Set Theory. In D. Basin et B. Wolff, editor, 16th International Conference on Theorem Proving in Higher Order Logics - TPHOLs'2003, volume 2758 of LNCS, pages 1-24. Springer Verlag, 2003.
3. R. Bastide, O. Sy, and P. A. Palanque. Formal specification and prototyping of CORE A systems. In ECOOP '99: Proceedings of the 13th European Conference on Object-Oriented Programming, pages 474-494. Springer-Verlag, 1999.
4. P. Behm, P. Benoit, and J.M. Meynadier. METEOR: A Successful Application of B in a Large Project. In Integrated Formal Methods, IFM99, volume 1708 of LNCS, pages 369-387. Springer Verlag, 1999.
5. D. Bert, S. Boulmé, M-L. Potet, A. Requet, and L. Voisin. Adaptable Translator of B Specifications to Embedded C Programs. In Integrated Formal Method, IFM'03, volume 2805 of LNCS, pages 94-113. Springer Verlag, 2003.
6. A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins. Making components contract aware. IEEE Computer, pages 38-45, July 1999.
7. C. Canal, L. Fuentes, E. Pimentel, J-M. Troya, and A. Vallecillo. Extending CORBA interfaces with protocols. Comput. J., 44(5):448-462, 2001.
8. J. Cheesman and J. Daniels. UML Components - A Simple Process for Specifying Component-Based Software. Addison-Wesley, 2001.
9. S. Chouali, M. Heisel, and J. Souquières. Proving Component Interoperability with B Refinement. In H. R. Arabnia and H. Reza, editors, International Worshop on Formal Aspects on Component Software. CSREA Press, 2005. To appear in ENCTS 2006.
10. S. Chouali and J. Souquières. Verifying the compatibility of component interfaces using the B formal method. In International Conference on Software Engineering Research and Practice, 2005.
11. Clearsy. B4free. Available at http://www.b4free.com, 2004.
12. J. Han. A comprehensive interface definition framework for software components. In The 1998 Asia Pacific software engineering conference, pages 110-117. IEEE Computer Society, 1998.
13. G. T. Heineman and W. T. Councill. Component-Based Software Engineering. Addison-Wesley, 2001.
14. M. Heisel, T. Santen, and J. Souquières. Toward a formal model of software components. In Chris George and Miao Huaikou, editors, Proc. 4th International Conference on Formal Engineering Methods, LNCS 2495, pages 57-68. Springer-Verlag, 2002.
15. M. Jackson. Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, 2001.
16. K.-K. Lau and M. Ornaghi. A formal approach to software component specification. In G.T. Leavens D. Giannakopoulou and M. Sitaraman, editors, Proceedings of Specification and Verification of Component-based Systems Workshop at OOP-SLA2001, pages 88-96, 2001.
17. H. Ledang and J. Souquières. Modeling class operations in B: application to UML behavioral diagrams. ASE2001: 16th IEEE International Conference on Automated Software Engineering, IEEE Computer Society, 2001.
18. E. Meyer and J. Souquières. A systematic approach to transform OMT diagrams to a B specification. In Proceedings of the Formal Method Conference, LNCS 1708, pages 875 - 895. Springer-Verlag, 1999.
19. Steria. Obligations de preuve: Manuel de référence. Steria - Technologies de l'information, version 3.0. Available at http://www.atelierb.societe.com.
20. C. Szyperski. Component Software. ACM Press, Addison-Wesley, 1999.
21. K. Turowski, editor. Standardized Specification of Business Components. Gesellschaft für Informatik, 2002.
22. UML Revision Task Force. OMG Unified Modeling Language: Superstructure, August 2005. http://www.uml.org.
23. A. Vallacillo, J. Hernandez, and M. Troya. Object interoperability. In Object Oriented Technology: ECOOP'99 Workshop Reader, pages 1-21, 1999.
24. J. Warmer and An. G. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1999.
25. A. M. Zaremski and J. M. Wing. Specification matching of software components. ACM Transactions on Software Engineering and Methodology, 6(4):333-369, 1997.