A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic

Pascal Poizat (IBISC FRE 2873 CNRS - Université d'Évry Val d'Essonne and ARLES team - INRIA, France)

Jean-Claude Royer (Ecole des Mines de Nantes - INRIA, LINA, France)

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: abstract data types, architectural description language, component basedsoftware engineering, graphical notations, mixed formal specifications, symbolic transitionsystem, temporal logic glue

Categories: D.2, D.2.1, D.2.10, D.2.11, D.2.13, D.2.2