Skip to Main content Skip to Navigation
Conference papers

Architecture Modelling of Parametric Component-Based Systems

Abstract : We study formal modelling of architectures applied on parametric component-based systems consisting of an unknown number of instances of each component. Architecture modelling is achieved by means of logics. We introduce an extended propositional interaction logic and investigate its first-order level which serves as a formal language for the interactions of parametric systems. Our logic effectively describes the execution order of interactions which is a main feature in several important architectures. We state the decidability of equivalence, satisfiability, and validity of first-order extended interaction logic formulas, and provide several examples of formulas describing well-known architectures.
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, June 29, 2021 - 4:13:23 PM
Last modification on : Tuesday, June 29, 2021 - 4:30:34 PM
Long-term archiving on: : Thursday, September 30, 2021 - 7:14:49 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



Maria Pittou, George Rahonis. Architecture Modelling of Parametric Component-Based Systems. 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.281-300, ⟨10.1007/978-3-030-50029-0_18⟩. ⟨hal-03273997⟩



Record views