Simon Bliudze
Joseph Sifakis
ABSTRACT
We consider two approaches for building component-based systems, which we call respectively architecture-based and architecture-agnostic. The former consists in describing coordination constraints in a purely declarative manner through parametrizable glue operators; it provides higher abstraction level and, consequently, stronger correctness by construction. The latter uses simple fixed coordination primitives, which are spread across component behaviour; it is more error-prone, but allows performance optimisation. We study architecture internalisation leading from an architecture-based system to an equivalent architecture-agnostic one, focusing, in particular, on component-based systems described in BIP. BIP uses connectors for hierarchical composition of components. We study connector internalisation in three steps. 1) We introduce and study the properties of interaction expressions, which represent the combined information about all the effects of an interaction. We show that they are a very powerful tool for specifying and analysing structured interaction. 2) We formalize the connector semantics of BIP by using interaction expressions. The formalization proves to be mathematically rigorous and concise. 3) We introduce the T/B component model and provide a semantics preserving translation of BIP into this model. The translation is compositional that is, it preserves the structure of the source models. The results are illustrated by simple examples. A Java implementation is evaluated on two case studies.
- Marwan Abi-Antoun et al. Modeling and implementing software architecture with ACME and ArchJava. In ICSE, pages 676--677. ACM, 2005. Google Scholar
Digital Library
- Miklós Ajtai, Jónos Komlós, and Endre Szemerédi. Sorting inc log n parallel steps. Combinatorica, 3(1):1--19, 1983. Google ScholarDigital Library
- Jonathan Aldrich, Craig Chambers, and David Notkin. ArchJava: connecting software architecture to implementation. In ICSE, pages 187--197. ACM, 2002. Google ScholarDigital Library
- Ananda Basu et al. Distributed semantics and implementation for systems with interaction and priority. In FORTE, volume 5048 of LNCS, pages 116--133. Springer, 2008. Google ScholarDigital Library
- Ananda Basu, Marius Bozga, and Joseph Sifakis. Modeling heterogeneous real-time components in BIP. In SEFM06, pages 3--12, September 2006. Invited talk. Google ScholarDigital Library
- Simon Bliudze et al. Architecture internalisation in BIP. Technical Report EPFL-REPORT-196997, February 2014. http://infoscience.epfl.ch/record/196997.Google Scholar
- Borzoo Bonakdarpour et al. From high-level component-based models to distributed implementations. In EMSOFT, pages 209--218, 2010. Google ScholarDigital Library
- Borzoo Bonakdarpour et al. A framework for automated distributed implementation of component-based models. Distributed Computing, 25(5):383--409, 2012.Google ScholarCross Ref
- Marius Bozga et al. Modeling dynamic architectures using Dy-BIP. In SC, LNCS 7306, pages 1--16. Springer, 2012. Google ScholarDigital Library
- Marius Bozga, Mohamad Jaber, and Joseph Sifakis. Source-to-source architecture transformation for performance optimization in BIP. IEEE Trans. Industrial Informatics, 6(4):708--718, 2010.Google ScholarCross Ref
- David Harel. Statecharts: A visual formalism for complex systems. Sci. Comput. Program., 8(3):231--274, 1987. Google ScholarDigital Library
- Jonathan D. Hay and Joanne M. Atlee. Composing features and resolving interactions. In FSE, pages 110--119. ACM, 2000. Google ScholarDigital Library
- Thomas W. Malone and Kevin Crowston. The interdisciplinary study of coordination. ACM Comp. Surv., 26(1):87--119, 1994. Google ScholarDigital Library
- Florence Maraninchi and Yann Rémond. Argos: an automaton-based synchronous language. Comput. Lang., 27(1/3):61--92, 2001. Google ScholarDigital Library
- Nenad Medvidovic and Richard N. Taylor. A framework for classifying and comparing architecture description languages. In ESEC/FSE, LNCS 1301, pages 60--76. Springer, 1997. Google ScholarDigital Library
- Robin Milner. Communication and Concurrency. PHI Series in Computer Science. Prentice Hall, 1989. Google ScholarDigital Library
- George A. Papadopoulos and Farhad Arbab. Coordination models and languages. Adv. in Computers, 46:329--400, 1998.Google ScholarCross Ref
- George A. Papadopoulos, Aristos Stavrou, and Odysseas Papapetrou. An implementation framework for software architectures based on the coordination paradigm. Sci. Comput. Program., 60(1):27--67, March 2006. Google ScholarDigital Library
Index Terms
- Architecture internalisation in BIP
Recommendations
Coordination of software components with BIP: application to OSGi
MiSE 2014: Proceedings of the 6th International Workshop on Modeling in Software EngineeringCoordinating component behaviour and access to resources is among the key difficulties of building large concurrent systems. To address this, developers must be able to manipulate high-level concepts, such as Finite State Machines and separate ...
Causal semantics for the algebra of connectors
The Algebra of Connectors $\mathcal{AC}(P)$ is used to model structured interactions in the BIP component framework. Its terms are connectors , relations describing synchronization constraints between the ports of component-based systems. Connectors are structured ...
Research on Verification Method of AADL Behavior Model Based on BIP
ICCIS '13: Proceedings of the 2013 International Conference on Computational and Information SciencesTo analyze and validate AADL (architecture analysis and design language) behavior model, a mapping regulation between AADL behavior model and BIP model was proposed based on the syntax definition of AADL behavior annex and the descriptive way of ...
Comments