Abstract
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. In large scale applications, composed of hundreds of services, different services are produced by different teams; at the same time, such choreographies can also interact with third-party services. Enforcing a global coordination logic across the many in-house and third-party services to correctly realize the specified choreography is a non-trivial endeavor. Automatic support is then desirable. In this paper, 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, i.e., 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.
Contributors
Marco Autili
is assistant professor - University of L'Aquila's Department of Information Engineering, Computer Science, and Mathematics. His research focuses on automated synthesis for composing distributed systems, formal specification and checking of temporal properties, context-oriented programming, and resource-oriented analysis of adaptable (mobile) applications. Autili received a PhD in computer science from the University of L'Aquila.
Fabio Kon
is full professor - University of São Paulo, Computer Science. His research focuses on Distributed Systems, Smart Cities, Agile Methods, Open Source, and Entrepreneurship. Prof. Kon is an ACM Distinguished Scientist and a vibraphonist.
Alexander Perucci
is postdoctoral researcher - University of L'Aquila's Department of Information Engineering, Computer Science, and Mathematics. His research focuses on automatic synthesis and composition of software artifacts to build Choreography-Based Service- IoT-Oriented Systems. Perucci received a PhD in computer science from the University of L'Aquila.
Massimo Tivoli
is associate professor - University of L'Aquila's Department of Information Engineering, Computer Science, and Mathematics. His research focuses on component adaptation and coordination, connector synthesis, software model elicitation, and choreography synthesis. Tivoli received a PhD in computer science from the University of L'Aquila.
Amleto Di Salle
is research fellow - University of L'Aquila's Department of Information Engineering, Computer Science, and Mathematics. His research focuses on application of software engineering methods and (practical) formalisms to the modeling, verification, analysis and automatic synthesis of component-based and service-oriented distributed systems. Di Salle received a PhD in computer science from the University of L'Aquila.
Leonardo Leite
earned a master's degree - University of São Paulo, Department of Computer Science. His dissertation focused on enabling the automated deployment of large-scale service compositions.
