Abstract
In this paper, we apply automatic tools to the verification of interaction protocols of Web services described in OWL-S. Specifically, we propose a modeling procedure that preserves the control flow and the data flow of OWL-S Process Models. The result of our work provides complete modeling and verification of OWL-S Process Models.
This research was funded by the Defense Advanced Research Projects Agency as part of the DARPA Agent Markup Language (DAML) program under Air Force Research Laboratory contract F30601-00-2-0592 to Carnegie Mellon University.
Chapter PDF
Similar content being viewed by others
Keywords
- Atomic Process
- Business Process Execution Language
- Interaction Protocol
- Composite Process
- Symbolic Model Check
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Specification: Business process execution language for web services version 1.1 (2003), http://www.ibm.com/developerworks/library/ws-bpel/
Ankolekar, A., Paolucci, M., Sycara, K.: Spinning the OWL-S Process Model–Towards the verification of the OWL-S Process Models. Presented at the Semantic Web Services: Preparing to Meet the World of Business Applications workshop at the International Semantic Web Conference (ISWC 2004), Hiroshima, Japan (2004)
Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: Nusmv 2: An opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, p. 359. Springer, Heidelberg (2002)
Cimatti, A., Roveri, M.: Conformant Planning via Symbolic Model Checking. Journal of Artificial Intelligence Research 31, 305–338 (2000)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)
Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: Proceedings of the 13th International World Wide Web Conference (WWW 2004). ACM Press, New York (2004)
Foster, H., Uchitel, S., Kramer, J., Magee, J.: Model-based verification of web service compositions. In: Proceedings of the Automated Software Engineering (ASE) Conference 2003, Montreal, Canada (October 2003)
Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)
Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proceedings of the Eleventh International World Wide Web Conference, WWW-11 (May 2002)
Paolucci, M., Ankolekar, A., Srinivasan, M., Sycara, K.: The DAML-S virtual machine. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 290–305. Springer, Heidelberg (2003)
Schmidt, K., Stahl, C.: A petri net semantic for bpel4ws - validation and application. In: Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN 2004), Paderborn (2004)
Walton, C.: Model checking multi-agent web services. In: Proceedings of the 2004 Spring Symposium on Semantic Web Services, Stanford, CA, USA (March 2004)
Bultan, T., Fu, X., Su, J.: Wsat: A tool for formal analysis of web services. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 510–514. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ankolekar, A., Paolucci, M., Sycara, K. (2005). Towards a Formal Verification of OWL-S Process Models. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds) The Semantic Web – ISWC 2005. ISWC 2005. Lecture Notes in Computer Science, vol 3729. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11574620_6
Download citation
DOI: https://doi.org/10.1007/11574620_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29754-3
Online ISBN: 978-3-540-32082-1
eBook Packages: Computer ScienceComputer Science (R0)