Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool-Reference-Cited by-同舟云学术

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool

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

Author:

Alberti Marco,Chesani Federico,Gavanelli Marco,Lamma Evelina,Mello Paola,Montali Marco,Storari Sergio,Torroni Paolo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11841197_4.pdf

Reference27 articles.

1. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services version 1.1 (2003), Available at: http://www-128.ibm.com/developerworks/library/specification/ws-bpel/

2. W3C (Web services choreography description language version 1.0), Home Page: http://www.w3.org/TR/ws-cdl-10/

3. Barros, A., Dumas, M., Oaks, P.: A critical overview of the web services choreography description language (WS-CDL), BPTrends (2005)

4. Lecture Notes in Computer Science;W. Aalst van der,2005

5. Lecture Notes in Computer Science;M. Baldoni,2005

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

1. Accountable Protocols in Abductive Logic Programming;ACM Transactions on Internet Technology;2018-11-30

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

3. Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus;Subject-Oriented Business Process Management;2011

4. Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance;Model Checking Software;2010

5. Achieving Life-Cycle Compliance of Service-Oriented Architectures: Open Issues and Challenges;Data Privacy Management and Autonomous Spontaneous Security;2010