{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:32:51Z","timestamp":1761597171002,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642049293"},{"type":"electronic","value":"9783642049309"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04930-9_38","type":"book-chapter","created":{"date-parts":[[2009,11,5]],"date-time":"2009-11-05T21:39:07Z","timestamp":1257457147000},"page":"601-617","source":"Crossref","is-referenced-by-count":12,"title":["Optimizing Web Service Composition While Enforcing Regulations"],"prefix":"10.1007","author":[{"given":"Shirin","family":"Sohrabi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila A.","family":"McIlraith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"Cheung, W.K.W., Gil, Y.: Privacy enforcement through workflow systems in e-science and beyond. In: Proceedings of the ISWC 2007 Workshop on Privacy Enforcement and Accountability with Semantics (PEAS) (2007)"},{"key":"38_CR2","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/RIDE.2004.1281707","volume-title":"Proceedings of the 14th International Workshop on Research Issues on Data Engineering: Web Services for E-Commerce and E-Government ApplicationsRIDE","author":"S.A. Chun","year":"2004","unstructured":"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\u201392. IEEE Computer Society, Los Alamitos (2004)"},{"issue":"1","key":"38_CR3","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MIS.2004.1265882","volume":"19","author":"Y. Gil","year":"2004","unstructured":"Gil, Y., Deelman, E., Blythe, J., Kesselman, C., Tangmunarunkit, H.: Artificial intelligence and grids: Workflow planning and beyond. IEEE Intelligent Systems\u00a019(1), 26\u201333 (2004)","journal-title":"IEEE Intelligent Systems"},{"key":"38_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"issue":"2","key":"38_CR5","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S. McIlraith","year":"2001","unstructured":"McIlraith, S., Son, T., Zeng, H.: Semantic Web services. IEEE Intelligent Systems. Special Issue on the Semantic Web\u00a016(2), 46\u201353 (2001)","journal-title":"IEEE Intelligent Systems. Special Issue on the Semantic Web"},{"key":"38_CR6","unstructured":"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\u2013493 (2002)"},{"key":"38_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/11926078_43","volume-title":"The Semantic Web - ISWC 2006","author":"S. Sohrabi","year":"2006","unstructured":"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.\u00a04273, pp. 597\u2013611. Springer, Heidelberg (2006)"},{"key":"38_CR8","volume-title":"Automated Planning: Theory and Practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Hierarchical Task Network Planning. In: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)"},{"issue":"4","key":"38_CR9","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","volume":"1","author":"E. Sirin","year":"2005","unstructured":"Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: HTN planning for Web service composition using SHOP2. Journal of Web Semantics\u00a01(4), 377\u2013396 (2005)","journal-title":"Journal of Web Semantics"},{"key":"38_CR10","unstructured":"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)"},{"key":"38_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/978-3-540-68234-9_46","volume-title":"The Semantic Web: Research and Applications","author":"N. Lin","year":"2008","unstructured":"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.\u00a05021, pp. 629\u2013643. Springer, Heidelberg (2008)"},{"key":"38_CR12","unstructured":"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)"},{"key":"38_CR13","unstructured":"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\u20131797 (2009)"},{"issue":"3","key":"38_CR14","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s11280-007-0033-x","volume":"10","author":"D. Martin","year":"2007","unstructured":"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\u00a010(3), 243\u2013277 (2007)","journal-title":"World Wide Web Journal"},{"issue":"1","key":"38_CR15","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P., van Harmelen, F.: From $\\mathcal{SHIQ}$ and RDF to OWL: The making of a Web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"38_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/978-3-540-39718-2_27","volume-title":"The Semantic Web - ISWC 2003","author":"G. Tonti","year":"2003","unstructured":"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.\u00a02870, pp. 419\u2013437. Springer, Heidelberg (2003)"},{"key":"38_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/11574620_34","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"V. Kolovski","year":"2005","unstructured":"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.\u00a03729, pp. 461\u2013475. Springer, Heidelberg (2005)"},{"key":"38_CR18","unstructured":"WS-Policy: Web service policy framework (WS-policy), http:\/\/www.w3.org\/Submission\/WS-Policy\/"},{"issue":"1","key":"38_CR19","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10619-005-1073-9","volume":"18","author":"S.A. Chun","year":"2005","unstructured":"Chun, S.A., Atluri, V., Adam, N.R.: Using semantics for policy-based Web service composition. Distrib. Parallel Databases\u00a018(1), 37\u201364 (2005)","journal-title":"Distrib. Parallel Databases"},{"key":"38_CR20","unstructured":"RuleML: Rule markup language (RuleML), http:\/\/ruleml.org\/"},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of theoretical computer science: formal models and semantics B, pp. 995\u20131072 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"38_CR22","doi-asserted-by":"crossref","unstructured":"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\u201318 (1995)","DOI":"10.1007\/978-0-387-34892-6_1"},{"key":"38_CR23","first-page":"123","volume":"16","author":"F. Bacchus","year":"2000","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. AI Magazine\u00a016, 123\u2013191 (2000)","journal-title":"AI Magazine"},{"key":"38_CR24","doi-asserted-by":"crossref","unstructured":"Petrie, C.J.: The Redux Server. In: Proc. Intl. Conf. on Intelligent and Cooperative Information Systems (ICICIS), pp. 134\u2013143 (1993)","DOI":"10.1109\/ICICIS.1993.291753"},{"key":"38_CR25","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","author":"D.S. Nau","year":"2003","unstructured":"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)\u00a020, 379\u2013404 (2003)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"38_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1007\/978-3-540-30475-3_27","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"P. Traverso","year":"2004","unstructured":"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.\u00a03298, pp. 380\u2013394. Springer, Heidelberg (2004)"},{"key":"38_CR27","unstructured":"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\u2013211 (2002)"},{"issue":"3","key":"38_CR28","first-page":"18","volume":"31","author":"D. Calvanese","year":"2008","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic service composition and synthesis: the Roman Model. IEEE Data Eng. Bull.\u00a031(3), 18\u201322 (2008)","journal-title":"IEEE Data Eng. Bull."},{"key":"38_CR29","doi-asserted-by":"crossref","unstructured":"Hoffmann, J., Weber, I., Governatori, G.: On compliance checking for clausal constraints in annotated process models. In: Journal Information Systems Frontiers (2009)","DOI":"10.1007\/s10796-009-9179-7"},{"key":"38_CR30","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1613\/jair.2716","volume":"35","author":"J. Hoffmann","year":"2009","unstructured":"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)\u00a035, 49\u2013117 (2009)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2009"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04930-9_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T03:03:34Z","timestamp":1739415814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04930-9_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049293","9783642049309"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04930-9_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}