A Model-Based Synthesis Process for Choreography Realizability Enforcement-Reference-Cited by-同舟云学术

A Model-Based Synthesis Process for Choreography Realizability Enforcement

Published:2013 Issue: Volume: Page:37-52
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-37057-1_4

Reference17 articles.

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 WWW 2011, 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. Lecture Notes in Computer Science;A. Brogi,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)

Cited by 30 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic Coordination;IEEE Transactions on Intelligent Transportation Systems;2021-04

2. CHOReVOLUTION: Service choreography in practice;Science of Computer Programming;2020-10

3. Highly collaborative distributed systems: Synthesis and enactment at work;Concurrency and Computation: Practice and Experience;2020-09-30

4. Mapping BPMN2 Service Choreographies to Colored Petri Nets;Software Engineering and Formal Methods;2020

5. CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems;Lecture Notes in Computer Science;2020