Semantic web service composition via model checking techniques

International Journal of Web and Grid Services

Volumn 9, Issue 4, 2013, Pages 339-350

  Kil, Hyunyoung ^a   Nam, Wonhong ^b  

^a Korea University   (South Korea)

^b Konkuk University   (South Korea)

Author keywords

Abstraction and refinement; Model checking; SAT; Semantic web; Symbolic model checking; Web service composition

Indexed keywords

ABSTRACTING; MODEL CHECKING; QUALITY OF SERVICE; SEMANTIC WEB; SEMANTICS; WEBSITES;

ABSTRACTION AND REFINEMENT; BOOLEAN SATISFIABILITY; REFINEMENT TECHNIQUES; SEMANTIC RELATIONSHIPS; SEMANTIC WEB SERVICE COMPOSITIONS; SYMBOLIC MODEL CHECKING; WEB SERVICE COMPOSITION; WEB SERVICE DESCRIPTION;

WEB SERVICES;

EID: 84887933360     PISSN: 17411106     EISSN: 17411114     Source Type: Journal    
DOI: 10.1504/IJWGS.2013.057466     Document Type: Article

References (17)

1. Aggarwal, R., Verma, K., Miller, J.A. and Milnor, W. (2004) 'Constraint driven web service composition in METEOR-S', IEEE International Conference on Services Computing, pp.23-30.
2. Bryant, R. (1986) 'Graph-based algorithms for Boolean-function manipulation', IEEE Transactions on Computers, Vol. 35, No. 8.
3. Clarke, E., Grumberg, O. and Peled, D. (2000) Model Checking, MIT Press.
4. Clarke, E., Grumberg, O., Jha, S., Lu, Y. and Veith, H. (2000) 'Counterexample-guided abstraction refinement', Proceedings of International Conference on Computer Aided Verification (CAV'00), pp.154-169.
5. Kil, H. and Nam, W. (2011) 'Anytime algorithm for QoS-aware web service composition', Proceedings of the 20th International World Wide Web Conference (WWW'11 poster), pp.71-72.
6. Kil, H., Nam, W. and Lee, D. (2009) 'Efficient abstraction and refinement for behavioral description based web service composition', International Joint Conference on Artificial Intelligence (IJCAI-09), pp.1740-1745.
7. Kil, H., Oh, S-C., Elmacioglu, E., Nam, W. and Lee, D. (2009) 'Graph theoretic topological analysis of web service networks', World Wide Web, Vol. 12, No. 3, pp.321-343.
8. Kona, S., Bansal, A., Blake, M.B., Bleul, S. and Weise, T. (2009) 'WSC-2009: A quality of service-oriented web services challenge', IEEE Conference on Commerce and Enterprise Computing, pp.487-490.
9. McIlraith, S.A. and Son, T.C. (2002) 'Adapting golog for composition of semantic web services', Proc. Int. Conf. on the Principles of Knowledge Representation and Reasoning (KRR'02), pp.482-496.
10. Nam, W., Kil, H. and Lee, D. (2011) 'On the computational complexity of behavioral descriptionbased web service composition', Theoretical Computer Science, Vol. 412, No. 48, pp.6736-6749.
11. Paolucci, M., Kawamura, T., Payne, T. and Sycara, K. (2002) 'Semantic matching of web services capabilities', Proceedings of the 1st International Semantic Web Conference, pp.348-363.
12. Russell, S. and Norvig, P. (2003) Artificial Intelligence: A Modern Approach, 2nd ed., Prentice-Hall.
13. Sirin, E., Parsia, B. and Hendler, J.A. (2004) 'Filtering and selecting semantic web services with interactive composition techniques', IEEE Intelligent Systems, Vol. 19, No. 4, pp.42-49.
14. Sirin, E., Parsia, B., Wu, D., Hendler, J. and Nau, D. (2004) 'Htn planning for web service composition using shop2', Journal of Web Semantics, Vol. 1, No. 4, pp.377-396.
15. Traverso, P. and Pistore, M. (2004) 'Automated composition of semantic web services into executable processes', Proceedings of International Semantic Web Conference (ISWC'04), pp.380-394.
16. Zhang, L. and Malik, S. (2002) 'The quest for efficient Boolean satisfiability solvers', 14th International Conference on Computer Aided Verification, LNCS 2404, pp.17-36.
17. Zhang, R., Arpinar, I.B. and Aleman-Meza, B. (2003) 'Automatic composition of semantic web services', Proceedings of the 10th International Conference on Web Services, pp.38-41.