Paper Info
Title
CHOReOSynt: enforcing choreography realizability in the future internet
Abstract
Choreographies are an emergent Service Engineering (SE) approach to compose together and coordinate services in a distributed way. A choreography formalizes the way business participants coordinate their interactions. The focus is not on orchestrations of the work performed within them, but rather on the exchange of messages between these participants. The problems usually addressed when considering a choreography-based specification of the system to be realized are realizability check, and conformance check. In this paper we describe the CHOReOSynt tool, which has been conceived to deal with an additional problem, namely, automated choreography enforcement. That is, when the goal is to actually realize a service choreography by reusing third-party services, their uncontrolled (or wrongly coordinated) composite behavior may show undesired interactions that preclude the choreography realization. CHOReOSynt solves this problem by automatically synthesizing additional software entities that, when interposed among the services, allow for preventing undesired interactions. Screencast: http://choreos.disim.univaq.it/downloads/
Year
DOI
Venue
2014
10.1145/2635868.2661667
SIGSOFT FSE
Keywords
Field
DocType
choreography synthesis,design tools and techniques,distributed coordination
World Wide Web,Service engineering,Computer science,Service choreography,Reuse,Real-time computing,Choreography,Software,Enforcement,Realizability,The Internet
Conference
Citations 
PageRank 
References 
4
0.40
10
Authors
4
Name
Order
Citations
PageRank
Marco Autili141734.01
Davide Di Ruscio274468.81
Amleto Di Salle38612.20
Alexander Perucci4103.53