%0 Conference Proceedings
%T Architecture Modelling of Parametric Component-Based Systems
%+ Aristotle University of Thessaloniki
%+ Department of Mathematics
%A Pittou, Maria
%A Rahonis, George
%Z Part 8: Modelling
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 22th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Simon Bliudze
%Y Laura Bocchi
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12134
%P 281-300
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50029-0_18
%K Architecture modelling
%K Parametric component-based systems
%K First-order extended interaction logic
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03273997/document
%2 https://inria.hal.science/hal-03273997/file/495623_1_En_18_Chapter.pdf
%L hal-03273997
%U https://inria.hal.science/hal-03273997
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12134