Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Tool Support for Model-Based Engineering of Web Service Compositions
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Symbolic model checking commitment protocols using reduction
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Model checking commitment protocols
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Communicative commitments: Model checking and complexity analysis
Knowledge-Based Systems
| Hi-index | 0.00 |
Commitment protocols have been proposed as a basis for modeling and enacting interactions among agents, such as those needed to carry out business processes. A central idea is that protocols would be developed and shared via libraries, and refined and composed to produce protocols that serve specific needs. Success in this program, therefore, presupposes that individual protocols and their compositions can be formally verified with respect to the properties of interest. This paper outlines an approach for verifying the correctness of commitment protocols and their compositions that exploits the well-known software engineering technique of model checking.