research-article

Aiding the realization of service-oriented distributed systems

Authors:

Amleto Di Salle,

Francesco Gallo,

Claudio Pompilio,

Massimo TivoliAuthors Info & Claims

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

Pages 1701 - 1710

https://doi.org/10.1145/3297280.3297446

Published: 08 April 2019 Publication History

Abstract

Reuse-based software engineering is becoming the main approach for developing business and commercial systems. Service choreographies support the reuse-based service-oriented philosophy in that they represent a powerful and flexible approach to realize systems by (possibly) reusing services and composing them in a fully distributed way. A key enabler for the realization of choreographies is the ability to (i) reuse existing applications and services that can play the role of choreography participants, (ii) aid developers in writing the code of those participants whose roles cannot be covered through reuse, and (iii) automatically synthesize the coordination logic required for their correct interaction. The contribution of this paper is the definition and realization of a novel approach to the synthesis of service choreographies that allows developers to just fill-in-the-blank of automatically generated code templates of single (uncovered) choreography tasks, without the need of considering all the message flows specified by the choreography and the related distributed coordination issues.

References

[1]

Robert Allen and David Garlan. 1997. A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol. 6, 3 (1997), 213--249.

Digital Library

[2]

Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, and Massimo Tivoli. 2018. Model-driven Adaptation of Service Choreographies. In 33rd Annual ACM Symp. on Applied Computing (SAC '18). ACM, New York, USA, 1441--1450.

Digital Library

[3]

Marco Autili, Amleto Di Salle, Alexander Perucci, and Massimo Tivoli. 2015. On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. In 14th Coordination Languages and Self-Adaptive Systems (FOCLASA'15). 33--47.

[4]

Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, and Massimo Tivoli. 2015. Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. In 9th Int. Conf. on Language and Automata Theory and Applications (LATA). 3--24.

[5]

Marco Autili, Paola Inverardi, and Massimo Tivoli. 2015. Automated Synthesis of Service Choreographies. IEEE Software 32, 1 (2015), 50--57.

Digital Library

[6]

Marco Autili, Paola Inverardi, and Massimo Tivoli. 2018. Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. Science of Computer Programming (2018), 3--29.

[7]

Marco Autili, Leonardo Mostarda, Alfredo Navarra, and Massimo Tivoli. 2008. Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. Journal of Systems and Software 81 (2008), 2210--2236.

Digital Library

[8]

Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, and Massimo Tivoli. 2013. A Model-Based Synthesis Process for Choreography Realizability Enforcement. In 16th Int. Conf. on Fundamental Approaches to Software Engineering (FASE'13). 37--52.

Digital Library

[9]

Marco Autili, Amleto Di Salle, and Massimo Tivoli. 2013. Synthesis of Resilient Choreographies. In 5th Int. Work, on Soft. Eng. for Resilient Systems. 94--108.

[10]

Marco Autili and Massimo Tivoli. 2015. Distributed Enforcement of Service Choreographies. In 13th Int. Work, on Foundations of Coordination Languages and Self-Adaptive Systems, (FOCLASA'14). 18--35.

[11]

Samik Basu and Tevfik Bultan. 2011. Choreography Conformance via Synchronizability. In 20th Int. Conf. on World Wide Web (WWW '11). 795--804.

Digital Library

[12]

Samik Basu, Tevfik Bultan, and Meriem Ouederni. 2012. Deciding choreography realizability. In 39th Annual ACM SIGPLAN-SIGACT Symp. on Principles of programming languages (POPL'12). ACM, 191--202.

Digital Library

[13]

Camara, Bellman, Kephart, Autili, Bencomo, Diaconescu, Giese, Gotz, Inverardi, Kounev, and Tivoli. 2017. Self-aware Computing Systems: Related Concepts and Research Areas. Springer International Publishing, 17--49.

[14]

Marco Carbone and Fabrizio Montesi. 2013. Deadlock-free dorn-by-design: multi-party asynchronous global programming. In 40th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, (POPL'13). 263--274.

Digital Library

[15]

Matthias Güdemann, Pascal Poizat, Gwen Salaün, and Lina Ye. 2016. VerChor: A Framework for the Design and Verification of Choreographies. IEEE Transaction on Services Computing 9, 4 (2016), 647--660.

[16]

Matthias Güdemann, Gwen Salaün, and Meriem Ouederni. 2012. Counterexample Guided Synthesis of Monitors for Realizability Enforcement. In Automated Technology for Verification and Analysis, Supratik Chakraborty and Madhavan Mukund (Eds.). 238--253.

Digital Library

[17]

Sylvain Hallé and Tevfik Bultan. 2010. Realizability analysis for message-based interactions using shared-state projections. In 18th ACM SIGSOFT Int. Symp. on Foundations of software engineering (FSE '10). 27--36.

Digital Library

[18]

Derek Hao Hu and Qiang Yang. 2008. CIGAR: Concurrent and Interleaving Goal and Activity Recognition. In 23rd Conf. on Art. Intelligence (AAAI'08). 1363--1368.

Digital Library

[19]

Raman Kazhamiakin and Marco Pistore. 2006. Analysis of Realizability Conditions for Web Service Choreographies. In 26th Formal Techniques for Networked and Distributed Systems (FORTE'06). 61--76.

Digital Library

[20]

Ivan Lanese, Fabrizio Montesi, and Gianluigi Zavattaro. 2015. The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. In Software, Services, and Systems. 506--521.

[21]

Gwen Salaün, Tevfik Bultan, and Nima Roohi. 2012. Realizability of Choreographies Using Process Algebra Encodings. IEEE Transaction on Services Computing 5, 3 (2012), 290--304.

Digital Library

Cited By

Filippone GPompilio CAutili MTivoli M(2022)An architectural style for scalable choreography-based microservice-oriented distributed systemsComputing10.1007/s00607-022-01139-5105:9(1933-1956)Online publication date: 10-Dec-2022
https://dl.acm.org/doi/10.1007/s00607-022-01139-5
Autili MChen LEnglund CPompilio CTivoli M(2021)Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic CoordinationIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2021.305939422:4(2088-2099)Online publication date: Apr-2021
https://doi.org/10.1109/TITS.2021.3059394
Filippone GAutili MTivoli M(2021)Synthesis of context‐aware business‐to‐business processes for location‐based services through choreographiesJournal of Software: Evolution and Process10.1002/smr.241634:10Online publication date: 13-Dec-2021
https://doi.org/10.1002/smr.2416
Show More Cited By

Index Terms

Aiding the realization of service-oriented distributed systems
1. Applied computing
  1. Enterprise computing
    1. Service-oriented architectures

Recommendations

Model-driven adaptation of service choreographies
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing

Service choreographies represent a powerful and flexible approach to compose software services in a fully distributed way. A key enabler for the actual realization of choreographies is the ability to automatically compose services, and perform exogenous ...
Towards Adaptable and Evolving Service Choreography in the Future Internet
SERVICES '14: Proceedings of the 2014 IEEE World Congress on Services

The Future Internet is becoming a reality, providing a large-scale computing environments where a virtually infinite number of available services can be discovered and composed so to fit users' needs. In order to enable this large-scale and evolvable ...
Towards automated choreography of Web services using planning in large scale service repositories

Automated composition of Web services is becoming a prominent paradigm for implementing and delivering distributed applications. A composed service can be described either by orchestration or choreography. Service orchestration has a centralized ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

April 2019

2682 pages

ISBN:9781450359337

DOI:10.1145/3297280

Conference Chairs:
Chih-Cheng Hung
Kennesaw State University, Marietta, Georgia
,
George A. Papadopoulos
University of Cyprus, Nicosia, Cyprus

Copyright © 2019 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 April 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SAC '19

Sponsor:

SIGAPP

SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing

April 8 - 12, 2019

Limassol, Cyprus

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
103
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Filippone GPompilio CAutili MTivoli M(2022)An architectural style for scalable choreography-based microservice-oriented distributed systemsComputing10.1007/s00607-022-01139-5105:9(1933-1956)Online publication date: 10-Dec-2022
https://dl.acm.org/doi/10.1007/s00607-022-01139-5
Autili MChen LEnglund CPompilio CTivoli M(2021)Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic CoordinationIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2021.305939422:4(2088-2099)Online publication date: Apr-2021
https://doi.org/10.1109/TITS.2021.3059394
Filippone GAutili MTivoli M(2021)Synthesis of context‐aware business‐to‐business processes for location‐based services through choreographiesJournal of Software: Evolution and Process10.1002/smr.241634:10Online publication date: 13-Dec-2021
https://doi.org/10.1002/smr.2416
Xi MYin JWei YZhang MDeng SLi Y(2020)A Scenario-based Modeling Method for Crossover Services2020 IEEE International Conference on Services Computing (SCC)10.1109/SCC49832.2020.00010(20-29)Online publication date: Nov-2020
https://doi.org/10.1109/SCC49832.2020.00010
Filippone GAutili MTivoli M(2020)Towards the synthesis of context-aware choreographies2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)10.1109/ISSREW51248.2020.00072(197-200)Online publication date: Oct-2020
https://doi.org/10.1109/ISSREW51248.2020.00072
Autili MDi Salle AGallo FPompilio CTivoli M(2019)A Choreography-Based and Collaborative Road Mobility System for L’Aquila CityFuture Internet10.3390/fi1106013211:6(132)Online publication date: 14-Jun-2019
https://doi.org/10.3390/fi11060132
Autili MDi Salle AGallo FPompilio CTivoli M(2019)CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed ApplicationsCoordination Models and Languages10.1007/978-3-030-22397-7_6(92-108)Online publication date: 17-Jun-2019
https://dl.acm.org/doi/10.1007/978-3-030-22397-7_6

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents