Architecture modelling of parametric component-based systems

04/03/2019
by   Maria Pittou, et al.
0

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

Please sign up or login with your details

Forgot password? Click here to reset