JUCS - Journal of Universal Computer Science 12(12): 1741-1782, doi: 10.3217/jucs-012-12-1741
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic
expand article infoPascal Poizat‡, Jean-Claude Royer§
‡ IBISC FRE 2873 CNRS - Université d'Évry Val d'Essonne and ARLES team - INRIA, France§ Ecole des Mines de Nantes - INRIA, LINA, France

Corresponding author: Pascal Poizat ( poizat@lami.univ-evry.fr )

© Pascal Poizat, Jean-Claude Royer.
This article is freely available under the J.UCS Open Content License.
Citation: Poizat P, Royer J-C (2006) A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic. JUCS - Journal of Universal Computer Science 12(12): 1741-1782. https://doi.org/10.3217/jucs-012-12-1741
Open Access
Abstract
Component Based Software Engineering has now emerged as a discipline for system development. After years of battle between component platforms, the need for means to abstract away from specific implementation details is now recognized. This paves the way for model driven approaches (such as the OMG MDA) but also for the more older Architectural Description Language (ADL) paradigm. In this paper we present Korrigan, a true ADL (in the [MT00] sense), which provides interesting features: fully formal behaviours and data types, expressive component gluing mechanisms through the use of temporal logic, yet ensuring the specification readability thanks to graphical notations.
Keywords
architectural description language, component based software engineering, mixed formal specifications, symbolic transition system, temporal logic glue, abstract data types, graphical notations