Team Automata is a formalism for interacting component-based systems proposed in 1997,
whereby multiple sending and receiving actions from concurrent automata can synchronise …

Early validation of requirements aims to reduce the need for the high-cost validation testing
and corrective measures at late development stages. This work introduces a systematic …

In this case study, we apply the architecture-based design approach to the control software
of the CubETH satellite. Architectures are a means for ensuring global coordination …

A strong separation of concerns is necessary in order to make the design of domain‐specific
functional components independent from cross‐cutting concerns, such as concurrent access …

Architectural design patterns capture architectural design experience and provide abstract
solutions to recurring architectural design problems. Their description is usually expressed …

In this paper, we propose a logic-based characterization of uncertainty in architectures of
parametric component-based systems, where the parameter is the number of instances of …

We study guarantees for safe communication in systems of systems composed of reactive
components that communicate through synchronised execution of common actions. Systems …

The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the
construction of systems that are correct-by-design. BIP has been effectively used for the …

Abstract Service compositions are programmed as executable business processes in
languages like WS-BPEL (or BPEL in short). In such programs, activities are nested within …

Open pNets are formal models that can express the behaviour of open systems, either
synchronous, asynchronous, or heterogeneous. They are endowed with a symbolic …