{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T05:47:37Z","timestamp":1761630457028,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72982-2_6","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"73-87","source":"Crossref","is-referenced-by-count":9,"title":["Web Services Discovery and Constraints Composition"],"prefix":"10.1007","author":[{"given":"Debmalya","family":"Biswas","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"6_CR1","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","volume":"1","author":"D. Wu","year":"2004","unstructured":"Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: HTN planning for Web service composition using SHOP2. Web Semantics\u00a01(4), 377\u2013396 (2004)","journal-title":"Web Semantics"},{"key":"6_CR2","unstructured":"Business Process Execution Language for Web Services (BPELFWS) Specification v1.1, http:\/\/www-128.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., Shan, M.-C.: Adaptive and Dynamic Service Composition in eFlow. HP Technical Report, HPL-2000-39 (March 2000)","DOI":"10.1007\/3-540-45140-4_3"},{"key":"6_CR4","unstructured":"Universal Description: Discovery and Integration (UDDI) Specification, http:\/\/www.uddi.org"},{"key":"6_CR5","unstructured":"Web Ontology Language for Services (OWL-S) Specification, http:\/\/www.daml.org\/services\/owl-s\/"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Bonifati, A., Cobena, G., Manolescu, I., Milo, T.: Dynamic XML Documents with Distribution and Replication. In: Proceedings of 2003 ACM SIGMOD International Conference on Management of Data, pp. 527\u2013538","DOI":"10.1145\/872757.872821"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Singh, M.P., Yolum, P.: Commitment Machines. In: Revised Papers from the 8th International Workshop on Intelligent Agents VIII, pp. 235\u2013247 (2001)","DOI":"10.1007\/3-540-45448-9_17"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: Eservices: A look behind the curtain. In: Proceedings of the 22nd ACM Symposium on Principles of Database Systems (PODS), pp. 1\u201314 (2003)","DOI":"10.1145\/773153.773154"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Garg, V.K., Waldecker, B.: Detection of Strong Unstable Predicates in Distributed Programs. IEEE Transactions on Parallel and Distributed Systems, pp. 1323\u20131333 (Decemder 1996)","DOI":"10.1109\/71.553309"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Cooper, R., Marzullo, K.: Consistent detection of global predicates. ACM SIGPLAN Notices 26(12), pp. 163\u2013173","DOI":"10.1145\/127695.122774"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Garg, V.K., Waldecker, B.: Detection of Weak Unstable Predicates in Distributed Programs. IEEE Transactions on Parallel and Distributed Systems, pp. 299\u2013307 (1994)","DOI":"10.1109\/71.277788"},{"issue":"1","key":"6_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jwsr.2005010101","volume":"2","author":"P. Doshi","year":"2005","unstructured":"Doshi, P., Goodwin, R., Akkiraju, R., Verma, K.: Dynamic Workflow Composition: Using Markov Decision Processes. Intl. Journal of Web. Services Research\u00a02(1), 1\u201317 (2005)","journal-title":"Intl. Journal of Web. Services Research"},{"key":"6_CR13","unstructured":"Benjelloun, O.: Active XML: A data centric perspective on Web services. INRIA PhD dissertation (2004), http:\/\/www.activexml.net\/reports\/omar-thesis.ps"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Grosof, B., Labrou, Y., Chan, H.: A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In: Proceedings of the 1st ACM International Conference on Electronic Commerce (EC), pp. 68\u201377 (1999)","DOI":"10.1145\/336992.337010"},{"key":"6_CR15","unstructured":"Chung, L., Nixon, B., Yu, E.: Using Non-Functional Requirements to Systematically Select Among Alternatives in Architectural Design. In: Proc. of the 1st International Workshop on Architectures for Software Systems, pp. 31\u201343 (1995)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"O\u2019Sullivan, J., Edmond, D., Hofstede, A.: What\u2019s in a Service? Towards Accurate Description of Non-Functional Service Properties. The Journal of Distributed and Parallel Databases, 12(2\/3) (2002)","DOI":"10.1023\/A:1016547000822"},{"key":"6_CR17","unstructured":"W3C Position Paper. Constraints and capabilities of Web services agents. In: Proc. of the W3C Constraints and Capabilities Workshop (2004), http:\/\/www.w3.org\/2004\/07\/ 12-hh-ccw"},{"key":"6_CR18","unstructured":"OWL-S Coalition: OWL-S Technology for Representing Constraints and Capabilities of Web Services. In: Proc. of the W3C Constraints and Capabilities Workshop (2004), http:\/\/www.w3.org\/2004\/08\/ws-cc\/dmowls-20040904"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Aiello, M., Papzoglou, M., Yang, J., Carman, M., Pistore, M., Serafini, L., Traverso, P.: A Request Language for Web-Services based on Planning and Constraint Satisfaction. In: Proc. of the 3rd VLDB Workshop on Technologies for E-Services (TES), pp. 76\u201385 (2002)","DOI":"10.1007\/3-540-46121-3_10"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/11581062_20","volume-title":"Web Information Systems Engineering \u2013 WISE 2005","author":"K. Vidyasankar","year":"2005","unstructured":"Vidyasankar, K., Ananthanarayana, V.S.: Binding and Execution of Web Service Compositions. In: Ngu, A.H.H., Kitsuregawa, M., Neuhold, E.J., Chung, J.-Y., Sheng, Q.Z. (eds.) WISE 2005. LNCS, vol.\u00a03806, pp. 258\u2013272. Springer, Heidelberg (2005)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Narayanan, S., Mcllraith, S.A.: Simulation, Verification and Automated Composition of Web Services. In: Proceedings of the 11th ACM International Conference on the World Wide Web (WWW), pp. 77\u201388 (2002)","DOI":"10.1145\/511446.511457"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Rao, J., Kungas, P., Matskin, M.: Logic Based Web Services Composition: From Service Description to Process Model. In: Proceedings of the 2nd IEEE International Conference on Web Services (ICWS), pp. 446\u2013453 (2004)","DOI":"10.1109\/ICWS.2004.1314769"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T22:04:00Z","timestamp":1737151440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_6","relation":{},"subject":[]}}