Component-based software engineering : The need to link methods and their theories

We discuss some of the difficulties and significant issues that we need to consider when developing a formal method for component-based software engineering. We argue that to deal with the challenges, there is a need in research to link existing theories and methods of programming for effective support to component-based software engineering. We then present our initiative on a unified multi-view approach to modelling, design and analysis of component systems, emphasising the integration of models for different views.

[1]  Robert J. Allen.  A formal approach to software architecture , 1997 .

[2]  Bengt Holmstrom,et al.  The Theory of Contracts , 1986 .

[3]  David C. Luckham,et al.  An Event-Based Architecture Definition Language , 1995, IEEE Trans. Software Eng..

[4]  Jifeng He,et al.  Contract Oriented Development of Component Software , 2004, IFIP TCS.

[5]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[6]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[7]  Richard N. Taylor,et al.  A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.

[8]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[9]  Naranker Dulay,et al.  Specifying Distributed Software Architectures , 1995, ESEC.

[10]  Eckehard Schnieder,et al.  Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report , 2004 .

[11]  Joseph Sifakis,et al.  Composition for component-based modeling , 2002, Sci. Comput. Program..

[12]  Mathai Joseph,et al.  Specification and verification of fault-tolerance, timing, and scheduling , 1999, TOPL.

[13]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[14]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[15]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[16]  Manfred Broy,et al.  Multi-view Modeling of Software Systems , 2002, 10th Anniversary Colloquium of UNU/IIST.

[17]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[18]  Frantisek Plasil,et al.  Behavior Protocols for Software Components , 2002, IEEE Trans. Software Eng..

[19]  Jifeng He,et al.  rCOS: Refinement of Component and Object Systems , 2004, FMCO.

[20]  Manfred Broy,et al.  Invited Talk: Algebraic State Machines , 2000, AMAST.

[21]  Duane Hybertson,et al.  A uniform component modeling space , 2001, Informatica.

[22]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[23]  Randy Shepherd,et al.  Object-Oriented Programming , 1994, Lecture Notes in Computer Science.

[24]  C. A. R. Hoare.  The Verifying Compiler: A Grand Challenge for Computing Research , 2003, Euro-Par.

[25]  Manfred Broy,et al.  Componentware - State of the Art 2003 Background Paper for the Understanding Components Workshop of the CUE Initiative at the Univerita Ca' Foscari di Venezia Venice, October 7th-9th 2003 , 2003 .

[26]  Oscar Nierstrasz,et al.  Components, Scripts and Glue , 2000 .

[27]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[28]  Perdita Stevens,et al.  Using UML - software engineering with objects and components, Second Edition , 2006, Addison Wesley object technology series.

[29]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[30]  Thomas A. Henzinger,et al.  Temporal proof methodologies for real-time systems , 1991, POPL '91.

[31]  Edwin D. de Jong,et al.  Components Are from Mars , 2000, IPDPS Workshops.

[32]  David Garlan,et al.  A Formal Approach to Software Architectures , 1992, IFIP Congress.

[33]  Leslie Lamport,et al.  Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.

[34]  Jifeng He,et al.  rCOS: A refinement calculus of object systems , 2006, Theor. Comput. Sci..

[35]  Bradley R. Schmerl,et al.  Understanding tradeoffs among different architectural modeling approaches , 2004, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).

[36]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[37]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[38]  Anders P. Ravn,et al.  Formalization in Component Based Development , 2006 .

[39]  Tao Li.  A rule-based and object-oriented AI programming language , 1995, SIGP.