{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T22:40:22Z","timestamp":1737153622413,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"},{"type":"electronic","value":"9783540729822"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-72982-2_3","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"31-42","source":"Crossref","is-referenced-by-count":15,"title":["On the Semantics of Service Compositions"],"prefix":"10.1007","author":[{"given":"Harald","family":"Meyer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Burbeck, S.: The tao of e-business services. IBM developerWorks (2000)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/944217.944233","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service-oriented computing: Introduction. Communications of the ACM\u00a046, 24\u201328 (2003)","journal-title":"Communications of the ACM"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S.A. McIlraith","year":"2001","unstructured":"McIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems\u00a016, 46\u201353 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"3_CR4","first-page":"333","volume-title":"Proceedings of the First International Semantic Web Conference on The Semantic Web","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.P.: Semantic matching of web services capabilities. In: Proceedings of the First International Semantic Web Conference on The Semantic Web, London, UK, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1145\/775152.775199","volume-title":"Proceedings of the 12th International Conference on World Wide Web (WWW03)","author":"L. Li","year":"2003","unstructured":"Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. In: Proceedings of the 12th International Conference on World Wide Web (WWW03), New York, NY, USA, pp. 331\u2013339. ACM Press, New York (2003)"},{"key":"3_CR6","unstructured":"http:\/\/www.daml.org\/services\/owl-s\/1.0\/ : OWL-S 1.0 Release (2003)"},{"key":"3_CR7","unstructured":"http:\/\/wsmo.org : Web Service Modeling Ontology (2005)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_44","volume-title":"The Semantic Web: Research and Applications","author":"U. Keller","year":"2006","unstructured":"Keller, U., Lausen, H., Stollberg, M.: On the semantics of functional descriptions of web services. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, Springer, Heidelberg (2006)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Schaffner, J., Meyer, H.: Mixed initiative use cases for semi-automated service composition: A survey. In: Proceedings of the International Workshop on Service Oriented Software Engineering (2006)","DOI":"10.1145\/1138486.1138489"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Schaffner, J., Meyer, H., Tosun, C.: A semi-automated orchestration tool for service-based business processes. In: Proceedings of the 2nd International Workshop on Engineering Service-Oriented Applications: Design and Composition (2006)","DOI":"10.1007\/978-3-540-75492-3_5"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2000","author":"K. Schmidt","year":"2000","unstructured":"Schmidt, K.: LoLA: A Low Level Analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 465\u2013474. Springer, Heidelberg (2000)"},{"key":"3_CR12","unstructured":"Koschmider, A., Ried, D.: Semantische annotation von petri-netzen. In: Proceedings des 12. Workshops Algorithmen und Werkzeuge fr Petrinetze (AWPN\u201905), pp. 66\u201371 (2006)"},{"key":"3_CR13","unstructured":"Betz, S., Klink, S., Koschmider, A., Oberweis, A.: Automatic user support for business process modeling. In: Proceedings of the Workshop on Semantics for Business Process Management, pp. 1\u201312 (2006)"},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/511446.511457","volume-title":"Proceedings of the 11th International Conference on World Wide Web","author":"S. Narayanan","year":"2002","unstructured":"Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proceedings of the 11th International Conference on World Wide Web, New York, NY, USA, pp. 77\u201388. ACM Press, New York (2002)"},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1080\/1019678032000067190","volume":"13","author":"L. Zeng","year":"2003","unstructured":"Zeng, L., Benatallah, B., Lei, H., Ngu, A., Flaxer, D., Chang, H.: Flexible Composition of Enterprise Web Services. Electronic Markets \u2013 Web Services\u00a013, 141\u2013152 (2003)","journal-title":"Electronic Markets \u2013 Web Services"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Pistore, M., Barbon, F., Bertoli, P., Shaparau, D., Traverso, P.: Planning and monitoring web service composition. In: Workshop on Planning and Scheduling for Web and Grid Services held in conjunction with The 14th International Conference on Automated Planning and Scheduling, pp. 70\u201371 (2004)","DOI":"10.1007\/978-3-540-30106-6_11"},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","volume":"1","author":"E. Sirin","year":"2004","unstructured":"Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: HTN planning for web service composition using shop2. Journal of Web Semantics\u00a01, 377\u2013396 (2004)","journal-title":"Journal of Web Semantics"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/11596141_43","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D., Mecella, M.: Composition of services with nondeterministic observable behaviour. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 520\u2013526. Springer, Heidelberg (2005)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11841760_7","volume-title":"Business Process Management","author":"H. Meyer","year":"2006","unstructured":"Meyer, H., Weske, M.: Automated service composition using heuristic search. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 81\u201396. Springer, Heidelberg (2006)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T22:03:51Z","timestamp":1737151431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540729815","9783540729822"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}