• Publications
  • Influence
Architecting families of software systems with process algebras
TLDR
This article develops a process algebra-based architectural description language called PADL, which deals with deadlock-related architectural mismatches arising from three different causes: incomp compatibility between two components due to a single interaction, incompatibility between two component due to the combination of several interactions, and lack of interoperability among a set of components forming a cyclic topology.
Extended Markovian Process Algebra
TLDR
This work derives a functional semantic model (a transition system labeled on action types only and a performance semantic model) and a Markov chain to analyze an EMPA term and shows that an integrated analysis is not only convenient but also necessary to achieve compositionality.
A Process Algebraic Approach to Software Architecture Design
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems
TLDR
TwoTowers is presented, a tool for analyzing functional and performance properties of concurrent systems expressed as terms in the stochastically timed reward process algebra EMPAr, which describes the application of TwoTowers to the Lehmann-Rabin randomized distributed algorithm for the dining philosopher problem.
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
TLDR
New versions of probabilistic trace and testing equivalences are presented for nondeterministic and Probabilistic processes that resolve the two anomalies and are shown to match all the resolutions on the basis of the success probabilities of their identically labeled computations.
Non-bisimulation-based Markovian behavioral equivalences
  • M. Bernardo
  • Mathematics
    J. Log. Algebraic Methods Program.
  • 1 May 2007
Combining stochastic process algebras and queueing networks for software architecture analysis
We propose an integrated approach to the functional and performance analysis of Software Architectures (SAs) based on Stochastic Process Algebras (SPAs) and Queueing Networks (QNs), in order to
...
...