{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:12Z","timestamp":1725490692082},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"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-74974-5_5","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T08:47:31Z","timestamp":1188377251000},"page":"56-68","source":"Crossref","is-referenced-by-count":7,"title":["Discovering Service Compositions That Feature a Desired Behaviour"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Benigni","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[]},{"given":"Sara","family":"Corfini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"10","key":"5_CR1","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. Communications of the ACM\u00a046(10), 24\u201328 (2003)","journal-title":"Communications of the ACM"},{"unstructured":"OWL-S Coalition: OWL-S: Semantic Markup for Web Service (2004), \n                      \n                        http:\/\/www.ai.sri.com\/daml\/services\/owl-s\/1.2\/overview\/","key":"5_CR2"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/11948148_48","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Corfini, S., Aldana, J., Navas, I.: Automated Discovery of Compositions of Services Described with Separate Ontologies. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 509\u2013514. Springer, Heidelberg (2006)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Fundamentals of Software Engineering","author":"F. Bonchi","year":"2007","unstructured":"Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: A behavioural congruence for Web services. In: Arbab, F., Sarjani, M. (eds.) Fundamentals of Software Engineering. LNCS, Springer, Heidelberg (2007) (to appear)"},{"doi-asserted-by":"crossref","unstructured":"Brogi, A., Corfini, S.: Behaviour-aware discovery of Web service compositions. International Journal of Web Services Research\u00a04(3) (2007) (to appear)","key":"5_CR5","DOI":"10.4018\/jwsr.2007070101"},{"unstructured":"Brogi, A., Corfini, S., Aldana, J., Navas, I.: A Prototype fot Discovering Compositions of Semantic Web Services. In: Tumarello, G., Bouquet, P., Signore, O. (eds.) Proc. of the 3\n                      rd\n                     Italian Semantic Web Workshop (2006)","key":"5_CR6"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3-540-55179-4_18","volume-title":"Computer Aided Verification","author":"J.C. Fernandez","year":"1992","unstructured":"Fernandez, J.C., Mounier, L.: \u201cOn the Fly\u201d verification of behavioural equivalences and preorders. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, pp. 181\u2013191. Springer, Heidelberg (1992)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1007\/11546924_69","volume-title":"Database and Expert Systems Applications","author":"I. Navas","year":"2005","unstructured":"Navas, I., Sanz, I., Aldana, J., Berlanga, R.: Automatic Generation of Semantic Fields for Resource Discovery in the Semantic Web. In: Andersen, K.V., Debenham, J., Wagner, R. (eds.) DEXA 2005. LNCS, vol.\u00a03588, pp. 706\u2013715. Springer, Heidelberg (2005)"},{"unstructured":"BPEL Coalition: WS-BPEL 2.0 (2006), \n                      \n                        http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf","key":"5_CR9"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/11837862_38","volume-title":"Business Process Management Workshops","author":"M.A. Aslam","year":"2006","unstructured":"Aslam, M.A., Auer, S., Shen, J., Herrmann, M.: Expressing Business Process Models as OWL-S Ontologies. In: Eder, J., Dustdar, S. (eds.) Business Process Management Workshops. LNCS, vol.\u00a04103, pp. 400\u2013415. Springer, Heidelberg (2006)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic Matchmaking of Web Services Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1145\/1160633.1160796","volume-title":"AAMAS 2006","author":"M. Klusch","year":"2006","unstructured":"Klusch, M., Fries, B., Sycara, K.: Automated semantic web service discovery with OWLS-MX. In: AAMAS 2006, pp. 915\u2013922. ACM Press, New York (2006)"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/s00778-003-0117-x","volume":"14","author":"B. Benatallah","year":"2005","unstructured":"Benatallah, B., Hacid, M.S., L\u00e9ger, A., Rey, C., Toumani, F.: On automating Web services discovery. VLDB J.\u00a014(1), 84\u201396 (2005)","journal-title":"VLDB J."},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/ICWS.2006.35","volume-title":"IEEE Int. Conference on Web Services","author":"S. Agarwal","year":"2006","unstructured":"Agarwal, S., Studer, R.: Automatic Matchmaking of Web Services. In: IEEE Int. Conference on Web Services, pp. 45\u201354. IEEE Computer Society Press, Los Alamitos (2006)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74974-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,8]],"date-time":"2019-01-08T23:39:15Z","timestamp":1546990755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74974-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540749738","9783540749745"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74974-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}