CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications

Autili, Marco; Salle, Amleto Di; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo

doi:10.1007/978-3-030-22397-7_6

Cited by 8 publications

(10 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Platform evaluation —The results of the conducted experiment confirm confidence in the approach, and show that the platform can be applied in practical contexts. Indeed, in Reference 66, we also evaluated the proposed approach against two other industrial use cases to understand how effective and how efficient is the platform in helping the implementation of service choreographies. The evaluation involved two IT companies, one in Italy and the other one in Sweden.…”

Section: Concluding Discussionmentioning

confidence: 99%

Highly collaborative distributed systems: Synthesis and enactment at work

Autili

Perucci

Leite

et al. 2020

Concurrency and Computation

Self Cite

View full text Add to dashboard Cite

Service choreographies support a distributed composition approach that is based on the specification of the external interaction of the participant services in terms of flows of message exchanges, given from a global perspective. When developing distributed service-based applications, different services are produced by different teams; at the same time, such choreographies can also interact with third-party services, hence leading to the reuse of black-box services. Enforcing a global coordination logic across the many in-house and third-party services to correctly realize the specified choreography is a nontrivial endeavor. Automatic support is then desirable. In this article, we present an integrated development and run-time environment for choreography-based systems, which covers all the development activities, including specification, code synthesis, automatic deployment, enactment, and monitoring on the Cloud. We focus on providing a practical solution, that is, applicable by the community and considering technological standards used in the industry. We report the results of an experiment that we conducted with a use case in the in-store marketing and sales domain. Results confirm confidence in the approach and show that the platform can be applied in practical contexts.

show abstract

Section: Concluding Discussionmentioning

confidence: 99%

Highly collaborative distributed systems: Synthesis and enactment at work

Autili

Perucci

Leite

et al. 2020

Concurrency and Computation

Self Cite

View full text Add to dashboard Cite

show abstract

“…Choreographic approaches to the modelling, analysis, and programming of message-passing applications abound. For instance, in [5,34] abstract models have been applied to verify and debug BPMN specifications. Also, behavioural types have been proposed as suitable formalisations of choreographies [29] and for the analysis of properties such as liveness or deadlock freedom (e.g., [20,45] and the survey [30] to mention but few), while other approaches have considered syntax-free models [48].…”

Section: Introductionmentioning

confidence: 99%

“…Several models based on behavioural types have been proposed to analyse properties such as liveness or deadlock-freedom (e.g., [33,18,12] and the survey [20] to mention but few) while other approaches have considered syntax-free models [35]. Abstract models have also been advocated to verify and debug choreographic specifications [23,2] using modelling languages such as BPMN [30]. At a programming level, choreographic programming has been explored in [25,28].…”

Section: Introductionmentioning

confidence: 99%

Choreography Automata

Barbanera

Lanese

Tuosto

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Automata models are well-established in many areas of computer science and are supported by a wealth of theoretical results including a wide range of algorithms and techniques to specify and analyse systems. We introduce choreography automata for the choreographic modelling of communicating systems. The projection of a choreography automaton yields a system of communicating finite-state machines. We consider both the standard asynchronous semantics of communicating systems and a synchronous variant of it. For both, the projections of well-formed automata are proved to be live as well as lock-and deadlockfree.

show abstract

“…The I/O flexibility is provided by adapters at assembly time that can solve I/O interface mismatches between service and choreography. We remark that the CHOReVOLUTION approach is at a very mature state (including tool support [2]), where however an assembly of services cannot be provided as a unit of reuse (like our composite components). Differently, our type-based approach aims at abstracting from the implementation and provides more general support for component substitution and reuse.…”

Section: Discussionmentioning

confidence: 99%

A type language for message passing component-based systems

Savanović

Galletta

Vieira

2020

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In order for the task to be fulfilled, the supporting interaction among components should follow a well-defined protocol. In this paper we address a model for message passing component-based systems where components are assembled together with the protocol itself. Components can therefore be independent from the protocol, and reactive to messages in a flexible way. Our contribution is at the level of the type language that allows to capture component behaviour so as to check its compatibility with a protocol. We show the correspondence of component and type behaviours, which entails a progress property for components.

show abstract

CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications

Cited by 8 publications

References 17 publications

Highly collaborative distributed systems: Synthesis and enactment at work

Highly collaborative distributed systems: Synthesis and enactment at work

Choreography Automata

A type language for message passing component-based systems

Contact Info

Product

Resources

About