Skip to Main content Skip to Navigation
Conference papers

Non-Functional Analysis of Service Choreographies

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00867757
Contributor : Guglielmo de Angelis <>
Submitted on : Monday, September 30, 2013 - 2:53:53 PM
Last modification on : Tuesday, July 31, 2018 - 4:58:01 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

105