{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T04:28:54Z","timestamp":1741926534074,"version":"3.38.0"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,11,12]],"date-time":"2011-11-12T00:00:00Z","timestamp":1321056000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1007\/s10115-011-0451-z","type":"journal-article","created":{"date-parts":[[2011,11,11]],"date-time":"2011-11-11T13:15:32Z","timestamp":1321017332000},"page":"629-665","source":"Crossref","is-referenced-by-count":5,"title":["Toward the use of Petri nets for the formalization of OWL-S choreographies"],"prefix":"10.1007","volume":"32","author":[{"given":"Juan C.","family":"Vidal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Lama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Bugar\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,12]]},"reference":[{"key":"451_CR1","volume-title":"Web services","author":"G Alonso","year":"2003","unstructured":"Alonso G, Casati F, Kuno H, Machiraju V (2003) Web services. Springer, Berlin"},{"key":"451_CR2","doi-asserted-by":"crossref","unstructured":"Andonoff E, Bouzguenda L, Hanachi C (2005) Specifying workflow web services using Petri nets with objects and generating of their OWL-S specifications. In: Bauknecht K, Pr\u00f6ll B, Werthner H (eds) E-commerce and web technologies. Lecture notes in computer science, vol 3590. Springer, Berlin, pp 41\u201352","DOI":"10.1007\/11545163_5"},{"key":"451_CR3","unstructured":"Andrews T, Curbera F, Dholakia H et\u00a0al (2003) Business process execution language for web services version 1.1. Technical report, OASIS Web Services Business Process Execution Language (WSBPEL) TC. OASIS standard"},{"issue":"2","key":"451_CR4","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/s10115-010-0349-1","volume":"29","author":"E Argente","year":"2011","unstructured":"Argente E, Botti V, Carrascosa C, Giret A, Julian V (2011) An abstract architecture for virtual organizations: the THOMAS approach. Knowl Inf Syst 29(2): 379\u2013403","journal-title":"Knowl Inf Syst"},{"key":"451_CR5","doi-asserted-by":"crossref","unstructured":"Bonchi F, Brogi A, Corfini S, Gadducci F (2008) Compositional specification of web services via behavioural equivalence of nets: a case study. In: Proceedings of the 29th international conference on applications and theory of Petri nets and other models of concurrency (ATPN\u201908). Springer, Berlin, pp 52\u201371","DOI":"10.1007\/978-3-540-68746-7_8"},{"key":"451_CR6","doi-asserted-by":"crossref","unstructured":"Cheng Y, Wang Z, Wang C, Tang L, Shang L (2007) Modeling and verifying composite semantic web service based on colored Petri nets. In: Proceedings of the 6th international conference on advanced language processing and web information technology (ALPIT 2007). IEEE Computer Society, Washington, DC, pp 510\u2013514","DOI":"10.1109\/ALPIT.2007.43"},{"key":"451_CR7","doi-asserted-by":"crossref","unstructured":"Chifu V, Salomie I, Manole S (2008) Fluent calculus based web service composition. In: Calvanese D, Lausen G (eds) Web reasoning and rule systems, lecture notes in computer science, vol 5341. Springer, Berlin, pp 230\u2013231","DOI":"10.1007\/978-3-540-88737-9_19"},{"key":"451_CR8","unstructured":"Christensen E, Curbera F, Meredith G, Weerawarana S (2001) Web services description language (WSDL). World Wide Web Consortium (W3C) (2001). W3C recommendation"},{"key":"451_CR9","doi-asserted-by":"crossref","unstructured":"Dang J, Huang J, Huhns MN (2007) Workflow coordination for service-oriented multiagent systems. In: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems (AAMAS\u201907). ACM Press, New York, pp 1\u20133","DOI":"10.1145\/1329125.1329426"},{"key":"451_CR10","unstructured":"Dean M, Connolly D, van Harmelen F, Hendler J, Horrocks I, McGuinness DL, Patel Schneider PF, Stein LA (2004) OWL web ontology language reference. W3C recommendation"},{"key":"451_CR11","unstructured":"De Brujin J, Bussler C, Domingue J et\u00a0al (2005) Web service modeling ontology (WSMO). World Wide Web Consortium (W3C). W3C member submission"},{"issue":"5","key":"451_CR12","first-page":"1309","volume":"24","author":"Z Ding","year":"2008","unstructured":"Ding Z, Wang J, Jiang C (2008) An approach for synthesis Petri nets for modeling and verifying composite web service. J Inf Sci Eng 24(5): 1309\u20131328","journal-title":"J Inf Sci Eng"},{"issue":"2","key":"451_CR13","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S1567-4223(02)00015-7","volume":"1","author":"D Fensel","year":"2002","unstructured":"Fensel D, Bussler C (2002) The web service modeling framework WSMF. Electron Commer Res Appl 1(2): 113\u2013137","journal-title":"Electron Commer Res Appl"},{"issue":"1","key":"451_CR14","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10115-002-0074-5","volume":"5","author":"D Fensel","year":"2003","unstructured":"Fensel D, Motta E, Benjamins VR et\u00a0al (2003) The unified problem-solving method development language UPML. Knowl Inf Syst 5(1): 83\u2013131","journal-title":"Knowl Inf Syst"},{"key":"451_CR15","unstructured":"Freytag T (2005) WoPeD: workflow Petri net designer. In: Proceedings of the 26th international conference on applications and theory of Petri nets and other models of concurrency (ATPN\u201905). Miami, USA"},{"key":"451_CR16","unstructured":"Genesereth MR, Fikes RE (1992) Knowledge interchange format, version 3.0. Technical report logic-92-1, Stanford University"},{"issue":"2","key":"451_CR17","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1109\/TII.2005.844433","volume":"1","author":"L Gomes","year":"2005","unstructured":"Gomes L, Barro JP (2005) Structuring and composability issues in Petri nets modeling. IEEE Trans Ind Inform 1(2): 112\u2013123","journal-title":"IEEE Trans Ind Inform"},{"key":"451_CR18","volume-title":"Ontological engineering. Advanced information and knowledge processing","author":"A G\u00f3mez P\u00e9rez","year":"2003","unstructured":"G\u00f3mez P\u00e9rez A, Fern\u00e1ndez L\u00f3pez M, Corcho O (2003) Ontological engineering. Advanced information and knowledge processing. Springer, Berlin"},{"key":"451_CR19","unstructured":"Gurevich Y (1994) Evolving algebras 1993: lipari guide. In: B\u00f6rger E (ed) Specification and validation methods. Oxford University Press, Oxford, pp 9\u201337"},{"key":"451_CR20","unstructured":"Horrocks I, Patel Schneider P, Boley H, Tabet S, Grosof B, Dean M (2003) SWRL: a semantic web rule language combining OWL and RuleML. W3C member submission"},{"key":"451_CR21","unstructured":"ISO\/IEC (2002) Software and systems engineering\u2014high-level Petri nets part 1: concepts, definitions and graphical notation. Final draft of the international standard ISO\/IEC 15909-1"},{"key":"451_CR22","unstructured":"ISO\/IEC (2005) Software and systems engineering\u2014high-level Petri nets part 2: transfer format. Working draft of the international standard ISO\/IEC 15909-2"},{"key":"451_CR23","unstructured":"Jensen K (2003) Coloured Petri nets: basic concepts, analysis methods and practical use, vol 1 (Monographs in theoretical computer science. An EATCS series). Springer, Berlin"},{"key":"451_CR24","unstructured":"Kavantzas N, Burdett D, Ritzinger G, Fletcher T, Lafon Y, Barreto C (2005) Web services choreography description language version 1.0. W3C proposal"},{"key":"451_CR25","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M Kiefer","year":"1995","unstructured":"Kiefer M, Lausen G, Wu J (1995) Logical foundations of object-oriented and frame-based languages. J ACM 42: 741\u2013843","journal-title":"J ACM"},{"issue":"5","key":"451_CR26","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"TB Lee","year":"2001","unstructured":"Lee TB, Hendler J, Lassila O (2001) The semantic web. Sci Am 284(5): 34\u201343","journal-title":"Sci Am"},{"issue":"3","key":"451_CR27","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/s10115-006-0052-4","volume":"13","author":"QA Liang","year":"2007","unstructured":"Liang QA, Chung JY, Miller S (2007) Modeling semantics in composite web service requests by utility elicitation. Knowl Inf Syst 13(3): 367\u2013394","journal-title":"Knowl Inf Syst"},{"key":"451_CR28","unstructured":"Martin D, Burstein M, Hobbs J et\u00a0al (2004) OWL-S: semantic markup for web services. World Wide Web Consortium (W3C). W3C member submission"},{"key":"451_CR29","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/s10115-009-0224-0","volume":"21","author":"L Maruster","year":"2009","unstructured":"Maruster L, van Beest NRTP (2009) Redesigning business processes: a methodology based on simulation and process mining techniques. Knowl Inf Syst 21: 267\u2013297","journal-title":"Knowl Inf Syst"},{"key":"451_CR30","unstructured":"McDermott DV, Dou D (2002) Representing disjunction and quantifiers in RDF. In: Proceedings of the first international semantic web conference on the semantic web (ISWC\u201902). Springer, London, pp 250\u2013263"},{"issue":"1","key":"451_CR31","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/MIS.2003.1179199","volume":"18","author":"S McIlraith","year":"2003","unstructured":"McIlraith S, Martin D (2003) Bringing semantics to web services. IEEE Intell Syst 18(1): 90\u201393","journal-title":"IEEE Intell Syst"},{"key":"451_CR32","doi-asserted-by":"crossref","unstructured":"Miao H, He T, Li L (2009) Formal semantics of OWL-S with F-logic. In: Lee R, Hu G, Miao H (eds) Computer and information science 2009, studies in computational intelligence, vol 208. Springer, Berlin, pp 105\u2013117","DOI":"10.1007\/978-3-642-01209-9_10"},{"key":"451_CR33","doi-asserted-by":"crossref","unstructured":"Miao H, He T, Qian Z (2008) Modeling and analyzing composite semantic web service using Petri nets. In: Proceedings of the 2008 IEEE international conference on e-business engineering (ICEBE \u201908). IEEE Computer Society, Washington, DC, pp 660\u2013664","DOI":"10.1109\/ICEBE.2008.51"},{"key":"451_CR34","volume-title":"A calculus of communicating systems","author":"R Milner","year":"1982","unstructured":"Milner R (1982) A calculus of communicating systems. Springer, New York"},{"key":"451_CR35","doi-asserted-by":"crossref","unstructured":"Moldt D, Ortmann J (2004) DaGen: a tool for automatic translation from DAML-S to high-level Petri nets. In: Proceedings of the 7th international conference on fundamental approaches to software engineering (FASE 2004), Lecture notes in computer science, vol 2984. Springer, Berlin, pp 209\u2013213","DOI":"10.1007\/978-3-540-24721-0_15"},{"issue":"4","key":"451_CR36","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4): 541\u2013580","journal-title":"Proc IEEE"},{"key":"451_CR37","doi-asserted-by":"crossref","unstructured":"Narayanan S, McIlraith S (2002) Simulation, verification and automated composition of web services. In: Proceedings of the 11th international world wide web conference (WWW\u201902). ACM Press, Hawaii, pp 77\u201388","DOI":"10.1145\/511446.511457"},{"key":"451_CR38","unstructured":"OMG (2008) Business process modeling notation (BPMN) specification. Technical report formal\/2008-01-17, Object Management Group. OMG available specification"},{"key":"451_CR39","doi-asserted-by":"crossref","unstructured":"Paolucci M, Ankolekar A, Srinivasan N, Sycara K (2003) The DAML-S virtual machine. In: Proceedings of the 2nd international semantic web conference (ISWC 2003). Springer, Florida, pp 290\u2013305","DOI":"10.1007\/978-3-540-39718-2_19"},{"issue":"4","key":"451_CR40","first-page":"14","volume":"19","author":"T Payne","year":"2004","unstructured":"Payne T, Lassila O (2004) Guest editors\u2019 introduction: semantic web services. IEEE Intell Syst Special Issue Semant Web Serv 19(4): 14\u201315","journal-title":"IEEE Intell Syst Special Issue Semant Web Serv"},{"issue":"10","key":"451_CR41","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C Peltz","year":"2003","unstructured":"Peltz C (2003) Web services orchestration and choreography. Computer 36(10): 46\u201352","journal-title":"Computer"},{"key":"451_CR42","unstructured":"Petri CA (1962) Kommunikation mit Automaten. PhD dissertation, Institutes f\u00fcr Instrumentelle Mathematik, Germany"},{"issue":"1","key":"451_CR43","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W Reisig","year":"1991","unstructured":"Reisig W (1991) Petri nets and algebraic specifications. Theor Comput Sci 80(1): 1\u201334","journal-title":"Theor Comput Sci"},{"issue":"1","key":"451_CR44","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1","author":"D Roman","year":"2005","unstructured":"Roman D, Keller U, Lausen H et\u00a0al (2005) Web service modeling ontology. Appl Ontol 1(1): 77\u2013106","journal-title":"Appl Ontol"},{"issue":"1","key":"451_CR45","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8(1): 21\u201366","journal-title":"J Circuits Syst Comput"},{"issue":"4","key":"451_CR46","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst WMP, Hofstede AHM (2005) YAWL: yet another workflow language. Inf Syst 30(4): 245\u2013275","journal-title":"Inf Syst"},{"issue":"3","key":"451_CR47","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"WMP Aalst van der","year":"2003","unstructured":"van der Aalst WMP, Hofstede AHM, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Database 14(3): 5\u201351","journal-title":"Distrib Parallel Database"},{"key":"451_CR48","first-page":"11","volume":"71","author":"JC Vidal","year":"2006","unstructured":"Vidal JC, Lama M, Bugar\u00edn A (2006) A high-level Petri net ontology compatible with PNML. Petri Net Newsl 71: 11\u201323","journal-title":"Petri Net Newsl"},{"issue":"9","key":"451_CR49","doi-asserted-by":"crossref","first-page":"6493","DOI":"10.1016\/j.eswa.2010.02.136","volume":"37","author":"JC Vidal","year":"2010","unstructured":"Vidal JC, Lama M, Bugar\u00edn A (2010) Openet: ontology-based engine for high-level petri nets. Expert Syst Appl 37(9): 6493\u20136509","journal-title":"Expert Syst Appl"},{"key":"451_CR50","doi-asserted-by":"crossref","unstructured":"Wang H, Payne T, Gibbins N, Saleh A (2007) Formal specification of owl-s with object-z: the dynamic aspect. In: Benatallah B, Casati F, Georgakopoulos D, Bartolini C, Sadiq W, Godart C (eds) Web information systems engineering (WISE 2007), lecture notes in computer science, vol 4831. Springer, Berlin, pp 237\u2013248","DOI":"10.1007\/978-3-540-76993-4_20"},{"key":"451_CR51","doi-asserted-by":"crossref","unstructured":"Wang Y, Bai X, Li J, Huang R (2007) Ontology-based test case generation for testing web services. In: Proceedings of the 8th international symposium on autonomous decentralized systems (ISADS\u201907). IEEE Computer Society, Washington, DC, pp 43\u201350","DOI":"10.1109\/ISADS.2007.54"},{"key":"451_CR52","unstructured":"WfMC (2005) Process definition interface\u2014XML process definition language, version 1.15. Technical reporl WFMC-TC-1025, Workflow Management Coalition. Document Status Final"},{"issue":"1","key":"451_CR53","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10115-008-0143-5","volume":"19","author":"Z Wu","year":"2009","unstructured":"Wu Z, Deng S, Li Y, Wu J (2009) Computing compatibility in dynamic service composition. Knowl Inf Syst 19(1): 107\u2013129","journal-title":"Knowl Inf Syst"},{"key":"451_CR54","unstructured":"Yang G, Kifer M, Zhao C (2003) FLORA-2: a rule-based knowledge representation and inference infrastructure for the semantic web. In: Proceedings of the 2nd international conference on ontologies, databases and applications of semantics (ODBASE 2003). Catania, Sicily, Italy, pp 671\u2013688"},{"key":"451_CR55","doi-asserted-by":"crossref","unstructured":"Yang SJH, Lan BCW, Chung JY (2005) A new approach for context aware SOA. In: Proceedings of the 2005 IEEE international conference on e-technology, e-commerce and e-service (EEE\u201905). IEEE Computer Society, Washington, DC, pp 438\u2013443","DOI":"10.1109\/EEE.2005.10"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-011-0451-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-011-0451-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-011-0451-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T00:18:39Z","timestamp":1741911519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-011-0451-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,12]]},"references-count":55,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["451"],"URL":"https:\/\/doi.org\/10.1007\/s10115-011-0451-z","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"type":"print","value":"0219-1377"},{"type":"electronic","value":"0219-3116"}],"subject":[],"published":{"date-parts":[[2011,11,12]]}}}