A general framework for architecture composability

Paul Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

Abstract

Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the coordination between components. An architecture can be considered as an operator A that, applied to a set of components B, builds a composite component A(B) meeting a characteristic property Φ. Architecture composability is a basic and common problem faced by system designers. In this paper, we propose a formal and general framework for architecture composability based on an associative, commutative and idempotent architecture composition operator '⊕'. The main result is that if two architectures A1 and A2 enforce respectively safety properties Φ1 and Φ2, the architecture A 1 ⊕ A2 enforces the property Φ1 ∧ Φ2, that is both properties are preserved by architecture composition. We also establish preservation of liveness properties by architecture composition. The presented results are illustrated by a running example and a case study.

Original languageEnglish (US)
Title of host publicationSoftware Engineering and Formal Methods - 12th International Conference, SEFM 2014, Proceedings
PublisherSpringer Verlag
Pages128-143
Number of pages16
ISBN (Print)9783319104300
DOIs
StatePublished - 2014
Event12th International Conference on Software Engineering and Formal Methods, SEFM 2014 - Grenoble, France
Duration: Sep 1 2014Sep 5 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8702 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Conference on Software Engineering and Formal Methods, SEFM 2014
CountryFrance
CityGrenoble
Period9/1/149/5/14

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A general framework for architecture composability'. Together they form a unique fingerprint.

  • Cite this

    Attie, P., Baranov, E., Bliudze, S., Jaber, M., & Sifakis, J. (2014). A general framework for architecture composability. In Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Proceedings (pp. 128-143). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8702 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-10431-7_10