Optimizing Web service composition while enforcing regulations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5823 LNCS, Issue , 2009, Pages 601-617

  Sohrabi, Shirin ^a   McIlraith, Sheila A ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC ALGORITHMS; LAWS AND LEGISLATION; OPTIMIZATION; QUALITY OF SERVICE; SCAFFOLDS; SEMANTIC WEB; WEBSITES;

AUTOMATED WEB SERVICE COMPOSITION; BRANCH AND BOUND SEARCH ALGORITHMS; CORPORATE POLICIES; ENFORCEMENT OF REGULATIONS; GOVERNMENT REGULATION; HIERARCHICAL TASK NETWORKS; WEB SERVICE COMPOSITION; WEB SERVICE SELECTION;

WEB SERVICES;

EID: 77955045349     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04930-9_38     Document Type: Conference Paper

References (30)

1. Cheung, W.K.W., Gil, Y.: Privacy enforcement through workflow systems in escience and beyond. In: Proceedings of the ISWC 2007 Workshop on Privacy Enforcement and Accountability with Semantics (PEAS) (2007).
2. Chun, S.A., Atluri, V., Adam, N.R.: Policy-based Web service composition. In: Proceedings of the 14th International Workshop on Research Issues on Data Engineering: Web Services for E-Commerce and E-Government ApplicationsRIDE, pp. 85-92. IEEE Computer Society, Los Alamitos (2004).
3. Gil, Y., Deelman, E., Blythe, J., Kesselman, C., Tangmunarunkit, H.: Artificial intelligence and grids: Workflow planning and beyond. IEEE Intelligent Systems 19(1), 26-33 (2004).
4. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001).
5. McIlraith, S., Son, T., Zeng, H.: Semantic Web services. IEEE Intelligent Systems. Special Issue on the Semantic Web 16(2), 46-53 (2001).
6. McIlraith, S., Son, T.: Adapting Golog for composition of semantic Web services. In: Proceedings of the 8th International Conference on Knowledge Representation and Reasoning (KR), pp. 482-493 (2002).
7. Sohrabi, S., Prokoshyna, N., McIlraith, S.A.: Web service composition via generic procedures and customizing user preferences. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 597-611. Springer, Heidelberg (2006).
8. Ghallab, M., Nau, D., Traverso, P.: Hierarchical Task Network Planning. In: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004).
9. Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: HTN planning for Web service composition using SHOP2. Journal of Web Semantics 1(4), 377-396 (2005).
10. Sirin, E., Parsia, B., Hendler, J.: Template-based composition of semantic Web services. In: AAAI 2005 Fall Symposium on Agents and the Semantic Web (2005).
11. Lin, N., Kuter, U., Sirin, E.: Web service composition with user preferences. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 629-643. Springer, Heidelberg (2008).
12. Gerevini, A., Long, D.: Plan constraints and preferences for PDDL3. Technical Report 2005-08-07, Department of Electronics for Automation, University of Brescia, Brescia, Italy (2005).
13. Sohrabi, S., Baier, J.A., McIlraith, S.A.: HTN planning with preferences. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence( IJCAI), pp. 1790-1797 (2009).
14. Martin, D., Burstein, M., McDermott, D., McIlraith, S., Paolucci, M., Sycara, K., McGuinness, D., Sirin, E., Srinivasan, N.: Bringing semantics to Web services with OWL-S. World Wide Web Journal 10(3), 243-277 (2007).
15. Horrocks, I., Patel-Schneider, P., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a Web ontology language. Journal of Web Semantics 1(1), 7-26 (2003).
16. Tonti, G., Bradshaw, J.M., Jeffers, R., Montanari, R., Suri, N., Uszok, A.: Semantic Web languages for policy representation and reasoning: A comparison of KAoS, Rei, and Ponder. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 419-437. Springer, Heidelberg (2003).
17. Kolovski, V., Parsia, B., Katz, Y., Hendler, J.A.: Representing Web service policies in OWL-DL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 461-475. Springer, Heidelberg (2005).
18. WS-Policy: Web service policy framework (WS-policy), http://www.w3.org/ Submission/WS-Policy/.
19. Chun, S.A., Atluri, V., Adam, N.R.: Using semantics for policy-based Web service composition. Distrib. Parallel Databases 18(1), 37-64 (2005).
20. RuleML: Rule markup language (RuleML), http://ruleml.org/.
21. Emerson, E.A.: Temporal and modal logic. In: Handbook of theoretical computer science: formal models and semantics B, pp. 995-1072 (1990).
22. Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Proceedings of the 15th International Symposium on Protocol Specification, Testing and Verification (PSTV), pp. 3-18 (1995).
23. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. AI Magazine 16, 123-191 (2000).
24. Petrie, C.J.: The Redux Server. In: Proc. Intl. Conf. on Intelligent and Cooperative Information Systems (ICICIS), pp. 134-143 (1993).
25. Nau, D.S., Au, T.C., Ilghami, O., Kuter, U., Murdock, J.W., Wu, D., Yaman, F.: SHOP2: An HTN planning system. Journal of Artificial Intelligence Research (JAIR) 20, 379-404 (2003).
26. Traverso, P., Pistore, M.: Automatic composition of semantic Web services into executable processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 380-394. Springer, Heidelberg (2004).
27. McDermott, D.V.: Estimated-regression planning for interactions with Web services. In: Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS), pp. 204-211 (2002).
28. Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic service composition and synthesis: the Roman Model. IEEE Data Eng. Bull. 31(3), 18-22 (2008).
29. Hoffmann, J., Weber, I., Governatori, G.: On compliance checking for clausal constraints in annotated process models. In: Journal Information Systems Frontiers (2009).
30. Hoffmann, J., Bertoli, P., Helmert, M., Pistore, M.: Message-based Web service composition, integrity constraints, and planning under uncertainty: A new connection. Journal of Artificial Intelligence Research (JAIR) 35, 49-117 (2009).