Automating the Building of Software Component Architectures

Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either to assist architects at design time or to manage the self-assembly of components at runtime. This paper proposes an automatic architecture building process that uses ports, and more precisely composite ports, to manage the connection of components. Our solution extends the Fractal component model. It has been implemented and experiments have been run to verify its good time performance, thanks to several optimization heuristics and strategies.

[1]  Remco M. Dijkman,et al.  Verifying the correctness of component-based applications that support business processes , 2003 .

[2]  Mario Südholt,et al.  On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction , 2002, CoopIS/DOA/ODBASE.

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

[4]  Paola Inverardi,et al.  Software Architecture for Correct Components Assembly , 2003, SFM.

[5]  Joost Jacob,et al.  The OMEGA Component Model , 2004, CVUML.

[6]  David Notkin,et al.  ArchJava: connecting software architecture to implementation , 2002, ICSE '02.

[7]  Paola Inverardi,et al.  Formal Methods for Software Architectures , 2003 .

[8]  Antonio Vallecillo,et al.  Component-based software quality : methods and techniques , 2003 .

[9]  Ivica Crnkovic Component-based software engineering - new challenges in software development , 2001, Softw. Focus.

[10]  Alan W. Brown,et al.  The Current State , 2016 .

[11]  David Garlan,et al.  Software architecture: a roadmap , 2000, ICSE '00.

[12]  Antonio Vallecillo,et al.  Component-Based Software Quality , 2003, Lecture Notes in Computer Science.

[13]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE , 2002, Lecture Notes in Computer Science.

[14]  Paola Inverardi,et al.  Static checking of system behaviors using derived component assumptions , 2000, TSEM.

[15]  Florian Hacklinger Java/A - Taking Components into Java , 2004, IASSE.

[16]  Frantisek Plasil,et al.  SOFA/DCUP: architecture for component trading and dynamic updating , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).