Non-Functional Analysis of Service Choreographies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Non-Functional Analysis of Service Choreographies


A highly important aspect in service compositions is to guarantee the established Quality-of-Service (QoS). However, the modeling of non-functional properties of service choreographies is neglected in the OMG standard BPMN notation, so that other, separate languages should be used to specify QoS constraints and then traced back to the functional BPMN model. We introduced an approach called Q4BPMN by which non-functional requirements can be directly expressed within the BPMN model. This paper leverages Model Driven Engineering (MDE) techniques to automatically handle non-functional properties expressed with Q4BPMN in order to obtain information useful both to highlight intrinsic features of the service choreography and to detect possible model criticalities. Specifically, we transform a Q4BPMN model into the pivot KLAPER notation, on which we can directly exploit the analysis tools within the KLAPER SUITE environment. Hence this paper provides the first step towards automated non-functional analysis of service choreographies.
No file

Dates and versions

hal-00867757 , version 1 (30-09-2013)



Cesare Bartolini, Antonia Bertolino, Andrea Ciancone, Guglielmo de Angelis, Raffaela Mirandola. Non-Functional Analysis of Service Choreographies. Proc. of the 4th International Workshop on Principles of Engineering Service Oriented Systems (PESOS 2012), Jun 2012, Zurich, Switzerland. pp.8-14, ⟨10.1109/PESOS.2012.6225947⟩. ⟨hal-00867757⟩


30 View
0 Download



Gmail Facebook X LinkedIn More