Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications

05/05/2018
by   Marco Bernardo, et al.
0

In the original paper, we showed how to enhance the expressiveness of a typical process algebraic architectural description language by including the capability of representing nonsynchronous communications. In particular, we extended the language by means of additional qualifiers enabling the designer to distinguish among synchronous, semi-synchronous, and asynchronous ports. Moreover, we showed how to modify techniques for detecting coordination mismatches such as the compatibility check for star topologies and the interoperability check for cycle topologies, in such a way that those two checks are applicable also in the presence of nonsynchronous communications. In this addendum, we generalize those results by showing that it is possible to verify in a component-oriented way an arbitrary property of a certain class (not only deadlock) over an entire architectural type having an arbitrary topology (not only stars and cycles) by considering also behavioral variations, exogenous variations, endogenous variations, and multiplicity variations, so to deal with the possible presence of nonsynchronous communications. The proofs are at the basis of some results mentioned in the book "A Process Algebraic Approach to Software Architecture Design" by Alessandro Aldini, Marco Bernardo, and Flavio Corradini, published by Springer in 2010.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/16/2019

Particle Swarm and EDAs

The Particle Swarm Optimization (PSO) algorithm is developed for solving...
research
09/12/2022

Bullshark: The Partially Synchronous Version

The purpose of this manuscript is to describe the deterministic partiall...
research
12/15/2020

On the compatibility of the topologies of parallel tasks and computing systems

Aspects of compatibility of topologies of parallel computing systems and...
research
05/26/2018

A Theory of Encodings and Expressiveness

This paper proposes a definition of what it means for one system descrip...
research
11/30/2018

A Longitudinal Study of Identifying and Paying Down Architectural Debt

Architectural debt is a form of technical debt that derives from the gap...
research
02/04/2018

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models

Early design artifacts of embedded systems, such as architectural models...
research
05/04/2019

A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping

Context-Oriented Programming (COP) is a programming paradigm to encourag...

Please sign up or login with your details

Forgot password? Click here to reset