Nirmit Desai
Munindar P. Singh
ABSTRACT
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.
- N. Desai, A. U. Mallya, A. K. Chopra, and M. P. Singh. Interaction protocols as design abstractions for business processes. IEEE Transactions on Software Engineering, 31(12):1015--1027, 2005. Google Scholar
Digital Library
- R. M. V. Eijk, F. S. D. Boer, W. V. D. Hoek, and J.-J. C. Meyer. A verification framework for agent communication. Autonomous Agents and Multiagent Systems, 6(2):185--219, March 2003. Google ScholarDigital Library
- H. Foster, S. Uchitel, J. Magee, and J. Kramer. Tool support for model-based engineering of web service compositions. In Proceedings of the IEEE International Conference on Web Services, pages 95--102, 2005. Google ScholarDigital Library
- X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proceedings of the 13th International World Wide Web Conference, pages 621--630, 2004. Google ScholarDigital Library
- S. Narayanan and S. A. McIlraith. Simulation, verification and automated composition of web services. In Proceedings of the 11th World Wide Web Conference, pages 77--88, 2002. Google ScholarDigital Library
- M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. Automated synthesis of composite BPEL4WS web services. In Proceedings of the International Conference on Web Services, pages 295--301, 2005. Google ScholarDigital Library
- M. Venkatraman and M. P. Singh. Verifying compliance with commitment protocols: Enabling open Web-based multiagent systems. Autonomous Agents and Multi-Agent Systems, 2(3):217--236, Sept. 1999. Google ScholarDigital Library
- M. Wooldridge and S. Parsons. Languages for negotiation. In Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI), pages 393--397, Aug. 2000.Google Scholar
Recommendations
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols
ICWS '14: Proceedings of the 2014 IEEE International Conference on Web ServicesThe ability to compose web services from available services is one of the most crucial problems in the service-oriented computing paradigm. Conventional software engineering approaches and even standard languages compose web services as workflow models ...
Verifying conformance of multi-agent commitment-based protocols
Although several approaches have been proposed to specify multi-agent commitment-based protocols that capture flexible and rich interactions among autonomous and heterogeneous agents, very few of them synthesize their formal specification and automatic ...
Comments