A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic
Дата
Авторы
Poizat,Pascal
Royer,Jean-Claude
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
architectural description language , component based software engineering , mixed formal specifications , symbolic transition system , temporal logic glue , abstract data types , graphical notations