Title
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 KlaperSuite environment. Hence this paper provides the first step towards automated non-functional analysis of service choreographies.
Year
DOI
Venue
2012
10.1109/PESOS.2012.6225947
PESOS@ICSE
Keywords
Field
DocType
business data processing,quality of service,service-oriented architecture,BPMN notation,KLAPERSUITE environment,Q4BPMN,QoS constraints,functional BPMN model,model driven engineering techniques,nonfunctional service choreographies analysis,pivot KLAPER notation,quality-of-service,service compositions,BPMN,KLAPER,Service Choreography,non-functional requirements
Notation,Unified Modeling Language,Service choreography,Computer science,Model-driven architecture,Quality of service,Business Process Model and Notation,Non-functional requirement,Database,Service-oriented architecture
Conference
ISBN
Citations 
PageRank 
978-1-4673-1755-9
7
0.52
References 
Authors
13
5
Name
Order
Citations
PageRank
Cesare Bartolini119816.13
Antonia Bertolino21961140.25
Guglielmo De Angelis321621.76
Andrea Ciancone4413.11
Raffaela Mirandola52557133.74