Verification of Choreographies During Execution Using the Reactive Event Calculus-Reference-Cited by-同舟云学术

Verification of Choreographies During Execution Using the Reactive Event Calculus

Published:2009 Issue: Volume: Page:55-72
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Chesani Federico,Mello Paola,Montali Marco,Torroni Paolo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-01364-5_4

Reference20 articles.

1. Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web services choreography description language. W3C Working Draft 17-12-04 (2004), http://www.w3.org/TR/ws-cdl-10/

2. Lecture Notes in Computer Science;M. Baldoni,2006

3. Li, J., Zhu, H., Pu, G.: Conformance validation between choreography and orchestration. In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, Shanghai, China, pp. 473–482. IEEE Computer Society Press, Los Alamitos (2007)

4. Zaha, J., Dumas, M., Hofstede, A., Barros, A., Dekker, G.: Service Interaction Modeling: Bridging Global and Local Views. QUT ePrints 4032, Faculty of Information Technology, Queensland University of Technology (2006)

5. Lecture Notes in Computer Science;G. Decker,2007

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

1. Monitoring norms: a multi-disciplinary perspective;The Knowledge Engineering Review;2018

2. Do activity lifecycles affect the validity of a business rule in a business process?;Information Systems;2016-12

3. Efficient discovery of Target-Branched Declare constraints;Information Systems;2016-03

4. Design-Time Compliance of Service Compositions in Dynamic Service Environments;2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA);2015-10

5. Run-Time Verification of MSMAS Norms Using Event Calculus;2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops;2014-09