Workflow is used to support and connect business processes (BP) in organizations.
Historically, it is used to define the control of how tasks are coordinated and executed. Its …

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 …

Multi-agent technologies have been widely applied to many applications, such as in e-
markets, cloud computing, service-oriented environments, etc. In real applications, service …

We present, a bounded to statically analyse Quality of Service () properties of message-
passing systems. We consider QoS properties on measurable application-level attributes as …

We present MoCheQoS, a tool to analyse quality of service (QoS) properties of message-
passing systems. Building on the logic and the choreographic model we defined in recently …

While there is not much discussion on the importance of formally describing and analysing
quantitative requirements in the process of software construction; in the paradigm of API …

Abstract The Service Selection problem has driven a lot of attention from the Service-
Oriented community in the past few decades. Rapidly evolving cloud computing …

While there is not much discussion on the importance of formally describing and analyzing
quantitative requirements in the process of software construction; in the paradigm of API …