A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments-Reference-Cited by-同舟云学术

A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments

Published:2006 Issue: Volume: Page:339-351
ISSN:0302-9743
Container-title:Service-Oriented Computing – ICSOC 2007
language:
Short-container-title:

Author:

Baldoni Matteo,Baroglio Cristina,Martelli Alberto,Patti Viviana

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11948148_28

Reference24 articles.

1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M.: An abductive framework for a-priori verification of web services. In: Principles and Practice of Declarative Programming, PPDP 2006. ACM Press, New York (2006)

2. Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: ACM SAC 2004, pp. 72–78. ACM, New York (2004)

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

4. Arnold, A.: Finite Transition Systems. Pearson Education, London (1994)

5. Lecture Notes in Artificial Intelligence;M. Baldoni,2006

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

1. Protocol-Based Engineering of Microservices;Engineering Multi-Agent Systems;2023

2. Foundations of Collaborative $$\textsf{DECLARE}$$;Lecture Notes in Business Information Processing;2023

3. Fault Tolerance in Multiagent Systems;Engineering Multi-Agent Systems;2020

4. Type checking for protocol role enactments via commitments;Autonomous Agents and Multi-Agent Systems;2018-01-31

5. Typing Multi-Agent Systems via Commitments;Engineering Multi-Agent Systems;2014