A Model-Based Synthesis Process for Choreography Realizability Enforcement

Autili, Marco; Ruscio, Davide Di; Salle, Amleto Di; Inverardi, Paola; Tivoli, Massimo

doi:10.1007/978-3-642-37057-1_4

Cited by 31 publications

(30 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work described in this paper represents an advance also with respect to our previous work in [11,12]. In fact, although the synthesis process described there treats most of the BPMN2 constructs, it considers a simplified version of their actual semantics.…”

Section: State Of the Art And Beyondmentioning

confidence: 94%

See 1 more Smart Citation

Automated Synthesis of Service Choreographies

2015

Self Cite

View full text Add to dashboard Cite

The Future Internet promotes the production of a distributed computing environment that will be increasingly surrounded by a virtually infinite number of software services, which can be composed to meet user needs. Services will be increasingly active entities that, communicating in a peer-to-peer style, can proactively take decisions and autonomously engage in tasks. Service choreography is a form of decentralized service composition that describes peer-to-peer message exchanges occurring among participant services from a global perspective. In a distributed setting, obtaining the coordination logic required to realize a choreography is a non-trivial and error prone task. Automatic support to the realization of actual choreographies is then needed. To this purpose, we have developed a synthesis tool for the automatic realization of service choreographies.The Future Internet (FI) era represents an age of unprecedented opportunities for social, economic, and business growth. FI promotes the existence of a distributed computing environment that will be increasingly surrounded by a virtually infinite number of software services. This enables the growth of innovative and revolutionary everyday-life scenarios within smart cities, and related software ecosystems, that ease human daily activities and give support to new markets and employment opportunities. A key enabler for this vision is the ability to automatically compose and dynamically coordinate software services.Today's service composition mechanisms are mostly based on service orchestration [2,8], which is a centralized approach to composing multiple services into a larger application. By analogy with music, orchestration can be seen as the process in which musicians play instruments following an orchestrator that represents a single point of control. Orchestration works well in rather static environments where services are predefined and environment changes are minimal. These assumptions are inadequate in the FI vision where a large number of diverse service providers and consumers keep changing and cannot be coordinated by using a centralized approach.Differently, service choreography is a decentralized approach, which provides a looser way to design service composition by specifying participants and message protocols between them. By analogy with dance, choreography can be seen as a set of dancers that autonomously dance following a pre-established global scenario without a single point of control. The need for service choreography was recognized in BPMN2 (www.omg.org/spec/BPMN/2.0), which introduces choreography modeling constructs. Specifically, service choreographies model peer-to-peer communication by defining a multi-party protocol that, when put in place by the cooperating parties, permits to reach the overall choreography objectives in a fully distributed way. In this sense, service choreographies are significantly different from service orchestrations in which a single stakeholder centrally plans and decides how an objective should be reached through...

show abstract

Section: State Of the Art And Beyondmentioning

confidence: 94%

“…Essentially, the developed ATL transformations consist of a number of rules each devoted to the management of specific BPMN2 modeling constructs. The current implementation of these transformations within CHOReOSynt (available at choreos.disim.univaq.it) extends and advances their preliminary version in [11,12].…”

Section: Figure 2 Process Overviewmentioning

confidence: 96%

Automated Synthesis of Service Choreographies

2015

Self Cite

View full text Add to dashboard Cite

show abstract

“…Further research problems have been identified and investigated for distributed choreographies, for instance realizability [22,23,18,24], conformance [25,26,27,28], or enforcement [29]. Our work departs from the existing literature in that we does not require to start from a global description of the interactions.…”

Section: On Choreography and Orchestration: Related Workmentioning

confidence: 99%

Relating two automata-based models of orchestration and choreography

Basile

Degano

Ferrari

et al. 2016

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

We investigate the relations between two automata-based models for describing and studying distributed services, called contract automata and communicating machines. In the first model, distributed services are abstracted away as automata -oblivious of their partners -that coordinate with each other through an orchestrator. The second one is concerned with the interactions occurring between distributed services, that are represented by channel-based asynchronous communications; then services are coordinated through choreography.We define a notion of strong agreement on contract automata; exhibit a natural mapping from this model to communicating machines with a synchronous semantics; and give conditions to ensure that strong agreement corresponds to well-formed choreography. Then these results are extended to a more liberal notion of agreement and to a fully asynchronous semantics of communicating machines.

show abstract

“…Note that, although for each choreography participant a suitable third-party service may have been discovered (and hence, its interaction protocol fits the behavior of the participant in isolation), the uncontrolled (or wrongly coordinated) composite behavior of all the discovered services may show undesired interactions that prevent the choreography realization. For a detailed and formal description of the notion of undesired interaction, refer to [4,6,9].…”

Section: Choreosynt: Automated Synthesis Of Service Choreographiesmentioning

confidence: 99%

“…The research we described in this paper is an advance over our previous research [4,6]. Although the synthesis process described in our previous research treated most BPMN2 constructs, it considered a simplified version of their actual semantics.…”

Section: Related Workmentioning

confidence: 99%

Automated Integration of Service-Oriented Software Systems

Autili

Inverardi

Tivoli

2015

Fundamentals of Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. In the near future we will be surrounded by a virtually infinite number of software applications that provide services in the digital space. This situation radically changes the way software will be produced and used: (i) software is increasingly produced according to specific goals and by integrating existing software; (ii) the focus of software production will be shifted towards reuse of third-parties software, typically blackbox, that is often provided without a machine readable documentation. The evidence underlying this scenario is that the price to pay for this software availability is a lack of knowledge on the software itself, notably on its interaction behaviour. A producer will operate with software artefacts that are not completely known in terms of their functional and non-functional characteristics. The general problem is therefore directed to the ability of interacting with the artefacts to the extent the goal is reached. This is not a trivial problem given the virtually infinite interaction protocols that can be defined at application level. Different software artefacts with heterogeneous interaction protocols may need to interoperate in order to reach the goal. In this paper we focus on techniques and tools for integration code synthesis, which are able to deal with partial knowledge and automatically produce correct-by-construction serviceoriented systems with respect to functional goals. The research approach we propose builds around two phases: elicit and integrate. The first concerns observation theories and techniques to elicit functional behavioural models of the interaction protocol of black-box services. The second deals with compositional theories and techniques to automatically synthesize appropriate integration means to compose the services together in order to realize a service choreography that satisfies the goal.

show abstract

A Model-Based Synthesis Process for Choreography Realizability Enforcement

Cited by 31 publications

References 13 publications

Automated Synthesis of Service Choreographies

Automated Synthesis of Service Choreographies

Relating two automata-based models of orchestration and choreography

Automated Integration of Service-Oriented Software Systems

Contact Info

Product

Resources

About