Automated synthesis of service choreographies

IEEE Software

Volumn 32, Issue 1, 2015, Pages 50-57

  Autili, Marco ^a   Inverardi, Paola ^a   Tivoli, Massimo ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

automated synthesis; distributed coordination; Future Internet; service choreographies; software engineering

Indexed keywords

COMPUTATION THEORY; DISTRIBUTED COMPUTER SYSTEMS; INTERNET; SOFTWARE ENGINEERING;

AUTOMATED SYNTHESIS; DISTRIBUTED COMPUTING ENVIRONMENT; DISTRIBUTED COORDINATION; FUTURE INTERNET; GLOBAL PERSPECTIVE; SERVICE CHOREOGRAPHIES; SERVICE COMPOSITIONS; SOFTWARE SERVICES;

COORDINATION REACTIONS;

EID: 84922933295     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.2014.131     Document Type: Article

References (10)

1. D. Calvanese et al., "Automatic Service Composition and Synthesis: The Roman Model," IEEE Data Eng. Bull., vol. 31, no. 3, 2008, pp. 18-22.
2. M. Trainotti et al., "ASTRO: Supporting Composition and Execution of Web Services," Service-Oriented Computing - ICSOC 2005, LNCS 3826, Springer, 2005, pp. 495-501.
3. S. Basu, T. Bultan, and M. Ouederni, "Deciding Choreography Realizability," Proc. 39th Ann. ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL 12), 2012, pp. 191-202.
4. S.T.Q. Jongmans, F. Santini, and F. Arbab, "Partially Distributed Coordination with Reo," Proc. 22nd Euromicro Int'l Conf. Parallel, Distributed and Network-Based Processing (PDP 14), 2014, pp. 697-706.
5. I. Lanese, F. Montesi, and G. Zavattaro, "Amending Choreographies," Proc. 9th Int'l Workshop Automated Specification and Verification of Web Systems (WWV 13), 2013, pp. 34-48.
6. M. Autili et al., "A Model-Based Synthesis Process for Choreography Realizability Enforcement," Fundamental Approaches to Software Engineering, LNCS 7793, Springer, 2013, pp. 37-52.
7. M. Autili, A. Di Salle, and M. Tivoli, "Synthesis of Resilient Choreographies," Software Engineering for Resilient Systems, LNCS 8166, Springer, 2013, pp. 94-108.
8. G. Hohpe and B. Woolf, Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions, Addison-Wesley, 2004.
9. X. Li et al., "A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation," Proc. 7th Working IEEE/IFIP Conf. Software Architecture (WICSA 08), 2008, pp. 137-146.
10. P. Inverardi and M. Tivoli, "Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns," Proc. 2013 Int'l Conf. Software Eng. (ICSE 13), 2013, pp. 3-12.