Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 257-271
- https://doi.org/10.1007/11549970_19
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Verifying Protocol Conformance for Logic-Based Communicating AgentsPublished by Springer Nature ,2005
- Logic-Based Agent Communication ProtocolsPublished by Springer Nature ,2004
- Interaction Protocol EngineeringPublished by Springer Nature ,2003
- Verification and Compliance TestingPublished by Springer Nature ,2003
- Conversation specificationPublished by Association for Computing Machinery (ACM) ,2003
- Automatic Composition of E-services That Export Their BehaviorPublished by Springer Nature ,2003
- Concurrent regular expressions and their relationship to Petri netsTheoretical Computer Science, 1992