Architecture specification of parametric component-based systems

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

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/03/2019

Architecture modelling of parametric component-based systems

In this paper we are interested in the modelling of architectures of par...
research
05/14/2019

Weighted parametric systems: Modelling and architecture specification

Modern systems' design usually lies in multiple components which are con...
research
08/19/2019

Local Reasoning about Parametric and Reconfigurable Component-based Systems

We introduce a logical framework for the specification and verification ...
research
12/15/2021

Verification of Component-based Systems with Recursive Architectures

We study a sound verification method for parametric component-based syst...
research
11/05/2021

Exception Handling on Multiparty Interactions

In designing distributed and parallel systems there are several approach...
research
03/01/2023

Dynamic reconfiguration of component-based systems described by propositional configuration logic

We investigate dynamic reconfigurable component-based systems whose arch...
research
05/25/2018

Checking Deadlock-Freedom of Parametric Component-Based Systems

We propose an automated method for computing inductive invariants applie...

Please sign up or login with your details

Forgot password? Click here to reset