Paper Info
Title
A model-based synthesis process for choreography realizability enforcement
Abstract
The near future in service-oriented system development envisions a ubiquitous world of available services that collaborate to fit users' needs. Modern service-oriented applications are often built by reusing and assembling distributed services. This can be done by considering a global specification of the interactions between the participant services, namely the choreography. In this paper, we propose a synthesis approach to automatically synthesize a choreography out of a specification of it and a set of services discovered as suitable participants. The synthesis is model-based in the sense that it works by assuming a finite state model of the services's protocol and a BPMN model for the choreography specification. The result of the synthesis is a set of distributed components, called coordination delegates, that coordinate the services' interaction in order to realize the specified choreography. The work advances the state-of-the-art in two directions: (i) we provide a solution to the problem of choreography realizability enforcement, and (ii) we provide a model-based tool chain to support the development of choreography-based systems.
Year
DOI
Venue
2013
10.1007/978-3-642-37057-1_4
FASE
Keywords
Field
DocType
model-based tool chain,global specification,service-oriented system development,choreography specification,modern service-oriented application,specified choreography,bpmn model,choreography realizability enforcement,finite state model,synthesis approach,model-based synthesis process,model driven engineering,service oriented architectures
Programming language,Software engineering,Reuse,Computer science,Model-driven architecture,Choreography,Enforcement,Service-oriented architecture,Realizability,Business Process Model and Notation,Distributed services,Distributed computing
Conference
Volume
ISSN
Citations 
7793
0302-9743
10
PageRank 
References 
Authors
0.55
15
5
Name
Order
Citations
PageRank
Marco Autili141734.01
Davide Di Ruscio274468.81
Amleto Di Salle38612.20
Paola Inverardi43155228.92
Massimo Tivoli5125663.22