Non-Functional Analysis of Service Choreographies - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Non-Functional Analysis of Service Choreographies

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩

Collections

CHOREOS
30 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More