A model-based synthesis process for choreography realizability enforcement

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7793 LNCS, Issue , 2013, Pages 37-52

  Autili, Marco ^a   Di Ruscio, Davide ^a   Di Salle, Amleto ^a   Inverardi, Paola ^a   Tivoli, Massimo ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Choreography Realizability Enforcement; Model Driven Engineering; Service Choreographies; Service Oriented Architectures

Indexed keywords

DISTRIBUTED COMPONENTS; DISTRIBUTED SERVICE; FINITE-STATE MODELS; MODEL-BASED SYNTHESIS; MODEL-BASED TOOLS; MODEL-DRIVEN ENGINEERING; REALIZABILITY; SERVICE CHOREOGRAPHIES; SERVICE ORIENTED SYSTEMS; SERVICE-ORIENTED APPLICATIONS; TWO DIRECTIONS;

COORDINATION REACTIONS; INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA); SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 84874355205     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-37057-1_4     Document Type: Conference Paper

References (17)

1. Autili, M., Mostarda, L., Navarra, A., Tivoli, M.: Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. Journal of Systems and Software 81(12), 2210-2236 (2008)
2. Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: Proceedings of WWW2011, pp. 795-804 (2011)
3. Bisztray, D., Heckel, R.: Rule-Level Verification of Business Process Transformations using CSP. In: Proceedings of GT-VMT 2007 (2007)
4. Brogi, A., Popescu, R.: Automated Generation of BPEL Adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 27-39. Springer, Heidelberg (2006)
5. Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic service composition and synthesis: the roman model. IEEE Data Eng. Bull. 31(3), 18-22 (2008)
6. CHOReOS Consortium. CHOReOS dynamic development model definition - Public Project deliverable D2.1 (September 2011)
7. ERCIM News. Special Theme: Future Internet Technology. Number 77 (April 2009)
8. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72(1-2), 31-39 (2008)
9. Lamport, L.: Time clocks, and the ordering of events in a distributed system. Commun. ACM 21, 558-565 (1978)
10. Marconi, A., Pistore, M., Traverso, P.: Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. 31(3), 23-26 (2008)
11. Poizat, P., Salaün, G.: Checking the Realizability of BPMN 2.0 Choreographies. In: Proceedings of SAC 2012, pp. 1927-1934 (2012)
12. Passerone, R., De Alfaro, L., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.: Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. In: ICCAD (2002)
13. Salaün, G.: Generation of service wrapper protocols from choreography specifications. In: Proceedings of SEFM (2008)
14. Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proceedings of ICSE 2004 (2004)
15. Simmonds, J., Gan, Y., Chechik, M., Nejati, S., O'Farrell, B., Litani, E., Waterhouse, J.: Runtime monitoring of web service conversations. IEEE T. Services Computing 2(3) (2009)
16. Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a Theory of Web Service Choreographies. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 1-16. Springer, Heidelberg (2008) (Pubitemid 351641713)
17. Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1) (2003)