Skip to Main content Skip to Navigation
Journal articles

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

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 MDE) but also for the more older Architectural Description Language (ADL) paradigm. In this paper we present KADL, an ADL based on the Korrigan formal language which supports the following features: integration of fully formal behaviours and data types, expressive component composition mechanisms through the use of modal logic, specification readability through graphical notations, and dedicated architectural analysis techniques. Key Words: Architectural Description Language, Component Based Software Engineering, Mixed Formal Specifications, Symbolic Transition Systems, Abstract Data Types, Modal Logic Glue, Graphical Notations, Verification.
Document type :
Journal articles
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00342156
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, February 2, 2016 - 2:17:58 PM
Last modification on : Tuesday, June 30, 2020 - 11:54:05 AM
Long-term archiving on: : Saturday, November 12, 2016 - 2:54:18 AM

File

jucs_12_12_1741_1782_poizat.pd...
Publisher files allowed on an open archive

Identifiers

Citation

Pascal Poizat, Jean-Claude Royer. A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic. Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2006, 12 (12), pp.1741-1782. ⟨10.3217/jucs-012-12-1741⟩. ⟨hal-00342156⟩

Share

Metrics

Record views

516

Files downloads

267