Component-Based Software Engineering

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]  Ian Sommerville,et al.  Software engineering (6th ed.) , 2001 .

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

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

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

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

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

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

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

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

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

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

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

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

[14]  Marija Mikic-Rakic,et al.  Taming architectural evolution , 2001, ESEC/FSE-9.

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

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

[17]  Shengchao Qin,et al.  A Relational Model for Object-Oriented Designs , 2004, APLAS.

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

[19]  C. A. R. Hoare,et al.  The verifying compiler: A grand challenge for computing research , 2003, JACM.

[20]  Manfred Broy,et al.  Specification and Development of Interactive Systems , 2001, Monographs in Computer Science.

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

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

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

[24]  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 .

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

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

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

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

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

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

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

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

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

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

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

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