{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:43:08Z","timestamp":1743126188854,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","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-540-93851-4_41","type":"book-chapter","created":{"date-parts":[[2009,1,13]],"date-time":"2009-01-13T02:18:17Z","timestamp":1231813097000},"page":"427-438","source":"Crossref","is-referenced-by-count":5,"title":["From OWL-S Descriptions to Petri Nets"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Sara","family":"Corfini","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Iardella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"10","key":"41_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"},{"key":"41_CR2","unstructured":"WSDL Coaltion: Web Service Description Language (WSDL) version 2.0 (2007), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl20\/"},{"key":"41_CR3","unstructured":"OWL-S Coalition: OWL-S: Semantic Markup for Web Service (2006), \n                    \n                      http:\/\/www.ai.sri.com\/daml\/services\/owl-s\/1.2\/overview\/"},{"key":"41_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/11431053_6","volume-title":"The Semantic Web: Research and Applications","author":"D. Elenius","year":"2005","unstructured":"Elenius, D., Denker, G., Martin, D., Gilham, F., Khouri, J., Sadaati, S., Senanayake, R.: The OWL-S Editor - A Development Tool for Semantic Web Services. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 78\u201392. Springer, Heidelberg (2005)"},{"key":"41_CR5","unstructured":"Jaeger, M., et al.: OWLSM (2004), \n                    \n                      http:\/\/owlsm.projects.semwebcentral.org\/"},{"key":"41_CR6","unstructured":"(Petri nets World), \n                    \n                      http:\/\/www.informatik.uni-hamburg.de\/TGI\/PetriNets\/"},{"key":"41_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"41_CR8","unstructured":"The WoPeD Team: Workflow Petri Net Designer (2007), \n                    \n                      http:\/\/www.woped.org\/"},{"key":"41_CR9","unstructured":"Research Group Petri Net Technology: Petri Net Kernel (2002), \n                    \n                      http:\/\/www2.informatik.hu-berlin.de\/top\/pnk\/"},{"key":"41_CR10","unstructured":"BPEL Coalition: WS-BPEL 2.0 (2006), \n                    \n                      http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"key":"41_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/11596141_37","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"C. Ouyang","year":"2005","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A.: WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 484\u2013489. Springer, Heidelberg (2005)"},{"key":"41_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.: On the Fly 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":"41_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-75698-9_16","volume-title":"International Symposium on 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., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 240\u2013256. Springer, Heidelberg (2007)"},{"key":"41_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-74974-5_5","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"F. Benigni","year":"2007","unstructured":"Benigni, F., Brogi, A., Corfini, S.: Discovering Service Compositions That Feature a Desired Behaviour. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 56\u201368. Springer, Heidelberg (2007)"},{"key":"41_CR15","unstructured":"Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: Compositional Specification of Web Services via Behavioural Equivalence: A Case Study. Technical Report TR-08-01, Computer Science Department, University of Pisa (2008) , \n                    \n                      http:\/\/compass2.di.unipi.it\/TR\/Files\/TR-08-01.pdf.gz"},{"issue":"1","key":"41_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"3","key":"41_CR17","first-page":"35","volume":"1","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the SOA. Annals of Mathematics, Computing & Teleinformatics\u00a01(3), 35\u201343 (2005)","journal-title":"Annals of Mathematics, Computing & Teleinformatics"},{"key":"41_CR18","first-page":"77","volume-title":"WWW 2002","author":"S. Narayanan","year":"2002","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW 2002, pp. 77\u201388. ACM Press, New York (2002)"},{"key":"41_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-24721-0_15","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Moldt","year":"2004","unstructured":"Moldt, D., Ortmann, J.: DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 209\u2013213. Springer, Heidelberg (2004)"}],"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-93851-4_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T17:12:37Z","timestamp":1551719557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93851-4_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93851-4_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}