1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
SEArch: an execution infrastructure for service-based software systems
Carlos G. Lopez Pombo, Pablo Montepagano, Emilio Tuosto
The shift from monolithic applications to composition of distributed software initiated in the early twentieth, is based on the vision of software-as-service. This vision, found in…
A Dynamic Temporal Logic for Quality of Service in Choreographic Models
Carlos G. Lopez Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
We propose a framework for expressing and analyzing the Quality of Service (QoS) of message-passing systems using a choreographic model that consists of g-choreographies and Commun…
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems
Carlos G. Lopez Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
We present MoCheQoS, a bounded model checker to analyse (QoS) properties of message-passing systems. Building on the dynamic temporal logic, the choreographic model, and the bounde…