A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic
Jean-Claude Royer, Pascal Poizat · HAL (Le Centre pour la Communication Scientifique Directe) · 2020
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.