Architecture modelling of parametric component-based systems
In this paper we are interested in the modelling of architectures of parametric component-based systems. The topology of parametric systems is described by architectures which characterize the permissible interactions among their components. We introduce a first-order extended interaction logic which serves as a modelling language for architectures of parametric component-based systems. In comparison to other logical characterizations of parametric systems, studied so far, our logic effectively describes the order of execution of interactions which is a main feature in several important architectures. We state complexity and decidability results for first-order extended interaction logic formulas, and provide several examples of formulas describing well-known architectures.
READ FULL TEXT