Publication

Configuration Logics: Modelling Architecture Styles

Abstract

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of architectures as generic coordination schemes involving a configuration of interactions between typed components; 2) configuration logics for the specification of architecture styles as sets of interaction configurations. The presented results build on previous work on architecture modelling in BIP. We show how propositional interaction logic can be extended into a corresponding configuration logic by adding new operators on sets of interaction configurations. We provide a complete axiomatisation of the propositional configuration logic, as well as a decision procedure for checking that an architecture satisfies given logical specifications. To allow genericity of specifications, we study first-order and second-order extensions of the propositional configuration logic. We provide examples illustrating the application of the results to the characterization of architecture styles. Finally, we provide an experimental evaluation using the Maude rewriting system to implement the decision procedure for the propositional logic.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related concepts (42)
Architecture
Architecture is the art and technique of designing and building, as distinguished from the skills associated with construction. It is both the process and the product of sketching, conceiving, planning, designing, and constructing buildings or other structures. The term comes ; ; . Architectural works, in the material form of buildings, are often perceived as cultural symbols and as works of art. Historical civilizations are often identified with their surviving architectural achievements.
Second-order logic
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory. First-order logic quantifies only variables that range over individuals (elements of the domain of discourse); second-order logic, in addition, also quantifies over relations. For example, the second-order sentence says that for every formula P, and every individual x, either Px is true or not(Px) is true (this is the law of excluded middle).
Software architecture
Software architecture is the set of structures needed to reason about a software system and the discipline of creating such structures and systems. Each structure comprises software elements, relations among them, and properties of both elements and relations. The architecture of a software system is a metaphor, analogous to the architecture of a building. It functions as the blueprints for the system and the development project, which project management can later use to extrapolate the tasks necessary to be executed by the teams and people involved.
Show more
Related publications (60)

The Fifth Typology

Pier Vittorio Aureli

Conception, organization and introduction Rafael Moneo once said that to talk about type in architecture is to talk about the essence of architecture. Indeed, when conceiving architecture is almost impossible to not start from an existing type, no matter h ...
2023

Reuse of Load-Bearing Timber Elements - Case Study of a Lookout Tower in Lausanne, Switzerland

Corentin Jean Dominique Fivet, Jonas Warmuth, Julius Natterer, Edisson Xavier Estrella Arcos, Benoît Pascal Kälin

The construction industry is jeopardizing Earth’s environment; current mitigation efforts do not suffice; and additional sustainable strategies are required. One such strategy consists of reusing structural building elements over multiple service lives. In ...
Curran Associates, Inc.2023

Patronage as Collaboration. Dante Bini’s Villas in Sardinia

Michela Bonomo

In 1970 on the rugged coast of Costa Paradiso on the Italian island of Sardinia, the encounter between one of the most renowned Italian film directors, Michelangelo Antonioni, and an architect with an engineering vision, Dante Bini, produced a holiday vill ...
2023
Show more