Architecture specification of parametric component-based systems

Abstract

In this paper we are interested in the modelling of parametric component-based systems, and more precisely in the specification of their architectures. The topology of parametric systems is described by architectures which characterize the permissible interactions among their components. We introduce an extended first-order interaction logic which serves as a specification 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 extended first-order interaction logic formulas, and provide several examples of formulas describing well-known architectures.