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

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.