Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step-Reference-Cited by-同舟云学术

Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step

Published:2005 Issue: Volume: Page:257-271
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Baldoni M.,Baroglio C.,Martelli A.,Patti V.,Schifanella C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11549970_19.pdf

Reference18 articles.

1. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. In: Proc. of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, the Netherlands, vol. 85(2). Elsevier, Amsterdam (2003)

2. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)

3. Lecture Notes in Artificial Intelligence;M. Baldoni,2005

4. Barros, A., Dumas, M., Oaks, P.: A critical overview of the web services choreography description language(ws-cdl). Business Process Trends (2005), http://www.bptrends.com

5. Lecture Notes in Computer Science;D. Berardi,2003

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

1. The Erlang Model for a Fragment of SDN Architecture;Lecture Notes in Electrical Engineering;2021

2. Recovery within long-running transactions;ACM Computing Surveys;2013-06

3. Discrete Event Models for Web Service Processes;Business Enterprise, Process, and Technology Management;2012

4. Conformance Verification of Privacy Policies;Lecture Notes in Computer Science;2011

5. Declarative specification and verification of service choreographiess;ACM Transactions on the Web;2010-01