Better abstractions for reusable components & architectures

Software architecture (SA) is a crucial component of Model Driven Engineering (MDE), since it eases the communication and reuse of designs and components. However, existing languages (e.g., UML, AADL, SysML) are lacking many needed features. In particular, they provide rudimentary support for connectors, a first-class element in the components and connectors (C&C) architectural view and one of the most reusable architectural elements. This is unfortunate, since the difficult properties that need to be guaranteed for complex systems are mainly the non-functional properties, like throughput, security and dependability, which are greatly influenced by the employed connectors. This work reviews the basic abstractions of the C&C view of SA and examines extra architectural elements which can support the detailed, explicit and separate description of behaviour, interaction and control logic.

[1]  Nenad Medvidovic,et al.  Towards a taxonomy of software connectors , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[2]  Mary Shaw,et al.  An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.

[3]  Paul Clements,et al.  Documenting Component and Connector Views with UML 2.0 , 2004 .

[4]  David Garlan,et al.  Architectural Mismatch or Why it's hard to build systems out of existing parts , 1995, 1995 17th International Conference on Software Engineering.

[5]  George Spanoudakis,et al.  A Pattern-Driven Framework for Monitoring Security and Dependability , 2007, TrustBus.

[6]  Cliff B. Jones,et al.  Determining the Specification of a Control System from That of Its Environment , 2003, FME.

[7]  Steve Vestal,et al.  The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[8]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

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

[10]  Christos Kloukinas.  Thunderstriking constraints with JUPITER , 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..

[11]  Wouter Joosen,et al.  Using AADL to Model a Protocol Stack , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

[12]  Sebastián Uchitel,et al.  Towards a Periodic Table of Connectors , 1999, COORDINATION.

[13]  Joseph Sifakis,et al.  The Algebra of Connectors—Structuring Interaction in BIP , 2007, IEEE Transactions on Computers.

[14]  Christos Kloukinas,et al.  Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

[15]  Laurent Balmelli,et al.  The Systems Modeling Language for Products and Systems Development , 2007, J. Object Technol..

[16]  Kostas Stathis,et al.  From Agent Game Protocols to Implementable Roles , 2008 .

[17]  G. Spanoudakis,et al.  The Runtime Monitoring Framework of SERENITY , 2008 .

[19]  David Garlan,et al.  Analyzing architectural styles with alloy , 2006, ROSATEA '06.