research-article

CHOReOSynt: enforcing choreography realizability in the future internet

Authors:

Marco Autili,

Davide Di Ruscio,

Amleto Di Salle,

Alexander PerucciAuthors Info & Claims

FSE 2014: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering

Pages 723 - 726

https://doi.org/10.1145/2635868.2661667

Published: 11 November 2014 Publication History

Get Access

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/

References

[1]

M. Autili, D. Di Ruscio, A. Di Salle, P. Inverardi, and M. Tivoli. A model-based synthesis process for choreography realizability enforcement. In FASE, volume 7793 of LNCS, pages 37–52. 2013.

Digital Library

Google Scholar

[2]

M. Autili, D. Di Ruscio, P. Inverardi, James Lockerbie, and M. Tivoli. A development process for requirements based service choreography. In RESS, pages 59–62, 2011.

Crossref

Google Scholar

[3]

M. Autili, A. Salle, and M. Tivoli. Synthesis of resilient choreographies. In SERENE, volume 8166 of LNCS, pages 94–108. 2013.

Google Scholar

[4]

M. Autili and M. Tivoli. Distributed enforcement of service choreographies. In FOCLASA, 2014.

Google Scholar

[5]

S. Basu, T. Bultan, and M. Ouederni. Deciding choreography realizability. In Procs. of POPL, pages 191–202. ACM, 2012.

Digital Library

Google Scholar

[6]

Samik Basu and Tevfik Bultan. Choreography conformance via synchronizability. In Proc. of WWW ’11, pages 795–804, 2011.

Digital Library

Google Scholar

[7]

Bruxelles: European Commission. Future Internet 2020: Visions of an Industry Expert Group, 2009.

Google Scholar

[8]

D. Calvanese, G. De Giacomo, M. Lenzerini, M. Mecella, and F. Patrizi. Automatic service composition and synthesis: the roman model. IEEE Data Eng. Bull., 31(3):18–22, 2008.

Google Scholar

[9]

V. Issarny, N. Georgantas, S. Hachem, A. Zarras, P. Vassiliadist, M. Autili, M.A. Gerosa, and A. Hamida. Service-oriented middleware for the future internet: state of the art and research directions. JISA Journal, 2(1):23–45, 2011.

Google Scholar

[10]

A. Di Salle M. Autili, D. Di Ruscio and P. Inverardi. Synthesizing an automata-based representation of bpmn2 choreography diagrams. In ModComp at MoDELS’14, 2014.

Google Scholar

[11]

G. De Angelis M. Autili, A. Ben Hamida and D. Silingas. Composing Services in the Future Internet: Choreography-Based Approach, volume Intelligent BPM Systems (iBPMS) Book: Impact and Opportunity, pages 163–174. 2013.

Google Scholar

[12]

Object Management Group (OMG). Business Process Model and Notation (BPMN), version 2.0, 2011.

Google Scholar

[13]

Organization for the Advancement of Structured Information Standards (OASIS). BPEL 2.0, 2007.

Google Scholar

[14]

Pascal Poizat and Gwen Salaün. Checking the Realizability of BPMN 2.0 Choreographies. In Proc. of SAC 2012, pages 1927–1934, 2012. Introduction Background CHOReOSynt Conclusions References

Digital Library

Google Scholar

Cited By

View all

Shatnawi AFaye ERima BShara ZSeriai A(2024)The State of the Art of Emergent Software SystemsIEEE Access10.1109/ACCESS.2024.336990312(31808-31823)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3369903
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
Spalazzi LSpegni FCorneli ANaticchia B(2021)Blockchain based choreographies: The construction industry case studyConcurrency and Computation: Practice and Experience10.1002/cpe.674035:16Online publication date: 8-Dec-2021
https://doi.org/10.1002/cpe.6740
Show More Cited By

Index Terms

CHOReOSynt: enforcing choreography realizability in the future internet
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

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 ...
Deciding choreography realizability
POPL '12

Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several application domains, message-based communication is used as the interaction ...
A model-based synthesis process for choreography realizability enforcement
FASE'13: Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering

The near future in service-oriented system development envisions a ubiquitous world of available services that collaborate to fit users' needs. Modern service-oriented applications are often built by reusing and assembling distributed services. This can ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

FSE 2014: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering

November 2014

856 pages

ISBN:9781450330565

DOI:10.1145/2635868

General Chair:
Shing-Chi Cheung
Hong Kong University of Science and Technology, China
,
Program Chairs:
Alessandro Orso
Georgia Institute of Technology, USA
,
Margaret-Anne Storey
University of Victoria, Canada

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 November 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SIGSOFT/FSE'14

Sponsor:

SIGSOFT

SIGSOFT/FSE'14: 22nd ACM SIGSOFT Symposium on the Foundations of Software Engineering

November 16 - 21, 2014

Hong Kong, China

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
177
Total Downloads

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

Reflects downloads up to 19 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Shatnawi AFaye ERima BShara ZSeriai A(2024)The State of the Art of Emergent Software SystemsIEEE Access10.1109/ACCESS.2024.336990312(31808-31823)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3369903
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
Spalazzi LSpegni FCorneli ANaticchia B(2021)Blockchain based choreographies: The construction industry case studyConcurrency and Computation: Practice and Experience10.1002/cpe.674035:16Online publication date: 8-Dec-2021
https://doi.org/10.1002/cpe.6740
Najem TPerucci A(2020)Mapping BPMN2 Service Choreographies to Colored Petri NetsSoftware Engineering and Formal Methods10.1007/978-3-030-57506-9_8(85-100)Online publication date: 10-Sep-2020
https://doi.org/10.1007/978-3-030-57506-9_8
Barbanera FLanese ITuosto E(2020)Choreography AutomataCoordination Models and Languages10.1007/978-3-030-50029-0_6(86-106)Online publication date: 10-Jun-2020
https://doi.org/10.1007/978-3-030-50029-0_6
Autili MDi Salle APompilio CTivoli M(2020)CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based SystemsCoordination Models and Languages10.1007/978-3-030-50029-0_1(3-19)Online publication date: 10-Jun-2020
https://doi.org/10.1007/978-3-030-50029-0_1
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: 5-Jun-2019
https://doi.org/10.1007/978-3-030-22397-7_6
Calinescu RAutili MCámara JDi Marco AGerasimou SInverardi PPerucci AJansen NKatoen JKwiatkowska MMengshoel OSpalazzese RTivoli M(2017)Synthesis and Verification of Self-aware Computing SystemsSelf-Aware Computing Systems10.1007/978-3-319-47474-8_11(337-373)Online publication date: 24-Jan-2017
https://doi.org/10.1007/978-3-319-47474-8_11
Autili MDi Salle APerucci ATivoli M(2015)On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed SystemsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.201.3201(33-47)Online publication date: 22-Dec-2015
https://doi.org/10.4204/EPTCS.201.3
Show More Cited By

View Options

Login options

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

Cited By

Index Terms

Recommendations

Towards Adaptable and Evolving Service Choreography in the Future Internet

Deciding choreography realizability

A model-based synthesis process for choreography realizability enforcement