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.
Type de document :
Communication dans un congrès
Proc. of the 4th International Workshop on Principles of Engineering Service Oriented Systems (PESOS 2012), Jun 2012, Zurich, Switzerland. IEEE Computer Society, pp.8-14, 2012, 〈10.1109/PESOS.2012.6225947〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00867757
Contributeur : Guglielmo De Angelis <>
Soumis le : lundi 30 septembre 2013 - 14:53:53
Dernière modification le : mardi 31 juillet 2018 - 16:58:01

Identifiants

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. IEEE Computer Society, pp.8-14, 2012, 〈10.1109/PESOS.2012.6225947〉. 〈hal-00867757〉

Partager

Métriques

Consultations de la notice

42