{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T15:34:12Z","timestamp":1770478452426,"version":"3.49.0"},"reference-count":68,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[2010,8,1]],"date-time":"2010-08-01T00:00:00Z","timestamp":1280620800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2010,8,1]],"date-time":"2010-08-01T00:00:00Z","timestamp":1280620800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2014,8,1]],"date-time":"2014-08-01T00:00:00Z","timestamp":1406851200000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100003176","name":"Ministerio de Educaci\u00f3n, Cultura y Deporte","doi-asserted-by":"publisher","award":["TIN 2007-60199"],"award-info":[{"award-number":["TIN 2007-60199"]}],"id":[{"id":"10.13039\/501100003176","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003176","name":"Ministerio de Educaci\u00f3n, Cultura y Deporte","doi-asserted-by":"publisher","award":["TIN2004-08000-C03-02"],"award-info":[{"award-number":["TIN2004-08000-C03-02"]}],"id":[{"id":"10.13039\/501100003176","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003176","name":"Ministerio de Educaci\u00f3n, Cultura y Deporte","doi-asserted-by":"publisher","award":["TIN2008-05995\/TSI"],"award-info":[{"award-number":["TIN2008-05995\/TSI"]}],"id":[{"id":"10.13039\/501100003176","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1016\/j.scico.2009.05.002","type":"journal-article","created":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T04:49:34Z","timestamp":1243486174000},"page":"726-760","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":26,"title":["Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN"],"prefix":"10.1016","volume":"75","author":[{"given":"Manuel","family":"Noguera","sequence":"first","affiliation":[]},{"given":"Mar\u00eda V.","family":"Hurtado","sequence":"additional","affiliation":[]},{"given":"Mar\u00eda Luisa","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]},{"given":"Lawrence","family":"Chung","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Luis","family":"Garrido","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2009.05.002_b1","series-title":"Proceedings of 18th International Conference on Application and Theory of Petri Nets","first-page":"407","article-title":"Verification of workflow nets","volume":"vol. 1248","author":"van der Aalst","year":"1997"},{"key":"10.1016\/j.scico.2009.05.002_b2","unstructured":"W.M.P. van der Aalst, Trends in business process analysis: From validation to process mining, in: International Conference on Enterprise Information Systems, ICEIS, Funchal, Madeira, Portugal, 12\u201316 June, 2007"},{"issue":"4","key":"10.1016\/j.scico.2009.05.002_b3","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1142\/S0218843001000412","article-title":"Proclets: A framework for lightweight interacting workflow processes","volume":"10","author":"van der Aalst","year":"2001","journal-title":"International Journal of Cooperative Systems"},{"key":"10.1016\/j.scico.2009.05.002_b4","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","article-title":"YAWL: Yet another workflow language","volume":"30","author":"van der Aalst","year":"2005","journal-title":"Information Systems"},{"issue":"3","key":"10.1016\/j.scico.2009.05.002_b5","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.infsof.2006.11.004","article-title":"Translating unstructured workflow processes to readable BPEL: Theory and implementation","volume":"50","author":"van der Aalst","year":"2008","journal-title":"Information & Software Technology"},{"key":"10.1016\/j.scico.2009.05.002_b6","series-title":"The Description Logic Handbook","author":"Baader","year":"2003"},{"key":"10.1016\/j.scico.2009.05.002_b7","doi-asserted-by":"crossref","unstructured":"J. Barjis, Developing executable models of business systems, in: Proceedings of 9th International Conference on Enterprise Information Systems, ICEIS 2007, Madeira, Portugal, INSTICC, pp. 5\u201313","DOI":"10.5220\/0002369200050013"},{"issue":"1","key":"10.1016\/j.scico.2009.05.002_b8","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.scico.2008.01.002","article-title":"The importance of business process modeling in software systems design","volume":"71","author":"Barjis","year":"2008","journal-title":"Science of Computer Programming"},{"issue":"1","key":"10.1016\/j.scico.2009.05.002_b9","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.scico.2006.08.005","article-title":"A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models","volume":"65","author":"Benghazi","year":"2007","journal-title":"Science of Computer Programming"},{"issue":"1\u20132","key":"10.1016\/j.scico.2009.05.002_b10","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","article-title":"Reasoning on UML class diagrams","volume":"168","author":"Berardi","year":"2005","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.scico.2009.05.002_b11","doi-asserted-by":"crossref","unstructured":"J. de Bruijn, R. Lara, A. Polleres, D. Fensel, OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web, in: Proceedings of the 14th international Conference on World Wide Web, WWW \u201905, Chiba, Japan, 10\u201314 May, 2005, ACM, New York, NY, pp. 623\u2013632","DOI":"10.1145\/1060745.1060836"},{"key":"10.1016\/j.scico.2009.05.002_b12","unstructured":"D. Calvanese, G. De Giacomo, L. Lenzerini, Identification constraints and functional dependencies in description logics, in: Proc. of the 17th Int. Joint conf. on Artificial Intelligence, IJCAI 2001, Seattle, WA, 2001, pp. 155\u2013160"},{"key":"10.1016\/j.scico.2009.05.002_b13","series-title":"Handbook of Human Factors\/Ergonomics","first-page":"619","article-title":"Computer supported cooperative work: New challenges to systems design","author":"Carstensen","year":"2003"},{"key":"10.1016\/j.scico.2009.05.002_b14","series-title":"Proc. of 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","first-page":"450","article-title":"A sweep-line method for state space exploration","volume":"vol. 2031","author":"Christensen","year":"2001"},{"key":"10.1016\/j.scico.2009.05.002_b15","series-title":"Proc. of 22nd International Conference on Application and Theory of Petri Nets","first-page":"101","article-title":"Condensed state spaces for timed petri nets","volume":"vol. 2075","author":"Christensen","year":"2001"},{"key":"10.1016\/j.scico.2009.05.002_b16","unstructured":"CPN Tools. www.daimi.au.dk\/CPNtools\/"},{"key":"10.1016\/j.scico.2009.05.002_b17","series-title":"Lectures on Concurrency and Petri Nets","article-title":"Model validation in controller design","volume":"vol. 3098","author":"Desel","year":"2004"},{"key":"10.1016\/j.scico.2009.05.002_b18","unstructured":"Design\/CPN. http:\/\/www.daimi.au.dk\/designCPN\/"},{"issue":"1\u20132","key":"10.1016\/j.scico.2009.05.002_b19","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0004-3702(98)00009-5","article-title":"An epistemic operator for description logics","volume":"100","author":"Donini","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.scico.2009.05.002_b20","unstructured":"N. Drummond, A. Rector, R. Stevens, G. Moulton, M. Horridge, H. Wang, J. Seidenberg, Putting OWL in Order: Patterns for Sequences in OWL, in: Proceedings of the 2nd OWL Experiences and Directions Workshop, OWL-ED 2006, Athens, Georgia, USA, 2006"},{"key":"10.1016\/j.scico.2009.05.002_b21","doi-asserted-by":"crossref","unstructured":"J. Evermann, A UML and OWL description of Bunge\u2019s upper-level ontology model, Software and Systems Modeling 8 (2) 235\u2013249","DOI":"10.1007\/s10270-008-0082-3"},{"key":"10.1016\/j.scico.2009.05.002_b22","doi-asserted-by":"crossref","unstructured":"J.M. Fernandes, J.B. Jorgensen, S. Tjell, Requirements engineering for reactive systems: Coloured petri nets for an elevator controller, in: APSE\u2019C2007. doi:10.1109\/APSEC.2007.81","DOI":"10.1109\/APSEC.2007.81"},{"key":"10.1016\/j.scico.2009.05.002_b23","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.scico.2006.10.008","article-title":"Definition and use of computation independent models in an MDA-based groupware development process","volume":"66","author":"Garrido","year":"2007","journal-title":"Science of Computer Programming"},{"key":"10.1016\/j.scico.2009.05.002_b24","series-title":"Interactive Systems- Design, Specification and Verification","first-page":"16","article-title":"A coloured petri net formalisation for a UML-based notation applied to cooperative system modelling","volume":"vol. 2545","author":"Garrido","year":"2002"},{"key":"10.1016\/j.scico.2009.05.002_b25","series-title":"Requirements Engineering for Sociotechnical Systems","first-page":"226","article-title":"Requirements engineering in cooperative systems","author":"Garrido","year":"2005"},{"key":"10.1016\/j.scico.2009.05.002_b26","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/j.knosys.2005.12.003","article-title":"Petri net ontology","volume":"19","author":"Gasevic","year":"2006","journal-title":"Knowledge-Based Systems"},{"key":"10.1016\/j.scico.2009.05.002_b27","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s10009-006-0002-1","article-title":"MDA-based automatic OWL ontology development","volume":"9","author":"Gasevic","year":"2007","journal-title":"International Journal of Software Tools and Technology Transfer"},{"issue":"2","key":"10.1016\/j.scico.2009.05.002_b28","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1016\/j.datak.2006.08.004","article-title":"Candidate interoperability standards: An ontological overlap analysis","volume":"62","author":"Green","year":"2007","journal-title":"Data Knowledge Engineering"},{"key":"10.1016\/j.scico.2009.05.002_b29","unstructured":"W. Grosso, The Prot\u00e9g\u00e9 Axiom Language and Toolset, PAL, 2002 (September, 2005): http:\/\/protege.stanford.edu\/plugins\/paltabs\/paldocumentation\/index.html"},{"key":"10.1016\/j.scico.2009.05.002_b30","series-title":"Proceedings of FOIS \u201898","first-page":"3","article-title":"Formal ontology and information systems","author":"Guarino","year":"1998"},{"key":"10.1016\/j.scico.2009.05.002_b31","series-title":"Proc. of LPAR\u201999","first-page":"161","article-title":"Practical reasoning for expressive description logics","volume":"vol. 1705","author":"Horrocks","year":"1999"},{"key":"10.1016\/j.scico.2009.05.002_b32","unstructured":"I. Horrocks, U. Sattler, Ontology reasoning in the SHOQ(D) description logic, in: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence, IJCAI 2001, 2001, pp. 199\u2013204"},{"key":"10.1016\/j.scico.2009.05.002_b33","series-title":"Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning","first-page":"57","article-title":"The even more irresistible SROIQ","author":"Horrocks","year":"2006"},{"key":"10.1016\/j.scico.2009.05.002_b34","first-page":"552","article-title":"Interoperability supported by enterprise modelling","volume":"vol. 3762","author":"Jaekel","year":"2005"},{"key":"10.1016\/j.scico.2009.05.002_b35","unstructured":"Jambalaya 2.6.0 (May 17, 2007). The Jambalaya Project. More info at http:\/\/www.thechiselgroup.org\/jambalaya"},{"key":"10.1016\/j.scico.2009.05.002_b36","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured petri nets and CPN tools for modelling and validation of concurrent systems","volume":"9","author":"Jensen","year":"2007","journal-title":"STTT"},{"key":"10.1016\/j.scico.2009.05.002_b37","unstructured":"Jess: The Rule Engine for the Java Platform. Available at http:\/\/herzberg.ca.sandia.gov\/jess\/"},{"key":"10.1016\/j.scico.2009.05.002_b38","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1142\/S0218843004000985","article-title":"Concepts for modeling enterprise architectures","volume":"13","author":"Jonkers","year":"2004","journal-title":"International Journal of Cooperative Information System"},{"key":"10.1016\/j.scico.2009.05.002_b39","unstructured":"Y. Katz, B. Parsia, Towards a nonmonotonic extension to OWL, in: B.C. Grau, I. Horrocks, B. Parsia, P. Patel-Schneider (Eds), Proceedings of Workshop on OWL Experiences and Directions, Galway, Ireland, 2005"},{"key":"10.1016\/j.scico.2009.05.002_b40","first-page":"229","article-title":"The Prot\u00e9g\u00e9 OWL Plugin: An open development environment for semantic web applications","volume":"vol. 3298","author":"Knublauch","year":"2004"},{"key":"10.1016\/j.scico.2009.05.002_b41","series-title":"ACPN 2003","first-page":"626","article-title":"Application of coloured petri nets in system development","volume":"vol. 3098","author":"Kristensen","year":"2004"},{"key":"10.1016\/j.scico.2009.05.002_b42","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MS.2006.50","article-title":"In practice: UML software architecture and design description","volume":"23","author":"Lange","year":"2006","journal-title":"IEEE Software"},{"key":"10.1016\/j.scico.2009.05.002_b43","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2005.11.003","article-title":"Performance-related ontologies and semantic web applications for on-line performance assessment of intelligent systems","volume":"61","author":"Lera","year":"2006","journal-title":"Science of Computer Programming"},{"key":"10.1016\/j.scico.2009.05.002_b44","series-title":"Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop","first-page":"301","article-title":"A simple and fast algorithm to obtain all invariants of a generalised Petri net","volume":"vol. 52","author":"Martinez","year":"1982"},{"key":"10.1016\/j.scico.2009.05.002_b45","doi-asserted-by":"crossref","unstructured":"B. Motik, B. Cuenca Grau, U. Sattler, Structured objects in owl: Representation and reasoning, in: Proc. of the 17th International Conference on World Wide Web, WWW \u201908, Beijing, China, 21\u201325 April, 2008, ACM, New York, NY, pp. 555\u2013564","DOI":"10.1145\/1367497.1367573"},{"key":"10.1016\/j.scico.2009.05.002_b46","first-page":"863","article-title":"An ontology-based scheme enabling the modeling of cooperation in business processes","volume":"vol. 4277","author":"Noguera","year":"2006"},{"key":"10.1016\/j.scico.2009.05.002_b47","unstructured":"OASIS, Reference model for service oriented architecture 1.0, Committee Specification 1, 2 August 2006. http:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=soa-rm"},{"key":"10.1016\/j.scico.2009.05.002_b48","unstructured":"OASIS, Web services business process execution language version 2.0, OASIS standard, 11 April 2007. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"key":"10.1016\/j.scico.2009.05.002_b49","unstructured":"OMG, Meta Object Facility (MOF) core specification, Version 2.0. OMG Specification, formal\/06-01-01. Available at http:\/\/www.omg.org\/docs\/formal\/06-01-01.pdf"},{"key":"10.1016\/j.scico.2009.05.002_b50","unstructured":"OMG, OCL 2.0 specification, Version 2.0. OMG Available Specification (OCL 2.0 FTF convenience document), ptc\/2005-06-06. Latest version is available at http:\/\/www.omg.org\/docs\/ptc\/05-06-06.pdf"},{"key":"10.1016\/j.scico.2009.05.002_b51","unstructured":"OMG, Ontology definition metamodel, OMG adopted specification, OMG Document Number: ptc\/2007-09-09. Available at: http:\/\/www.omg.org\/docs\/ptc\/07-09-09.pdf"},{"key":"10.1016\/j.scico.2009.05.002_b52","unstructured":"OMG, Unified modeling language: Superstructure, version 2.1.1 (with change bars), formal\/2007-02-03. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/07-02-03"},{"key":"10.1016\/j.scico.2009.05.002_b53","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","article-title":"Formal semantics and analysis of control flow in WS-BPEL","volume":"67","author":"Ouyang","year":"2007","journal-title":"Science of Computer Programming"},{"key":"10.1016\/j.scico.2009.05.002_b54","unstructured":"OSOA, SCA service component architecture, Assembly Model Specification, SCA Version 1.00, March 15, 2007"},{"key":"10.1016\/j.scico.2009.05.002_b55","series-title":"Layered ontological modelling for web service-oriented model-driven architecture","first-page":"88","volume":"vol. 3748","author":"Pahl","year":"2005"},{"key":"10.1016\/j.scico.2009.05.002_b56","first-page":"95","article-title":"On the suitability of UML 2.0 activity diagrams for business process modelling","volume":"vol. 53","author":"Russell","year":"2006"},{"key":"10.1016\/j.scico.2009.05.002_b57","unstructured":"ScriptRules. Available at http:\/\/www.hansschevers.nl\/scriptRules.htm"},{"issue":"2","key":"10.1016\/j.scico.2009.05.002_b58","doi-asserted-by":"crossref","DOI":"10.1016\/j.websem.2007.03.004","article-title":"Pellet: A practical OWL-DL reasoner","volume":"5","author":"Sirin","year":"2007","journal-title":"Journal of Web Semantics"},{"key":"10.1016\/j.scico.2009.05.002_b59","unstructured":"W3C, Defining N-ary relations on the semantic web, W3C Working Group Note, 12 April 2006. http:\/\/www.w3.org\/TR\/swbp-n-aryRelations\/"},{"key":"10.1016\/j.scico.2009.05.002_b60","unstructured":"W3C, OWL web ontology language guide, W3C Recommendation, 10 February 2004. http:\/\/www.w3.org\/TR\/owl-guide\/"},{"key":"10.1016\/j.scico.2009.05.002_b61","unstructured":"W3C, OWL web ontology language semantics and abstract syntax, W3C Recommendation, 10 February 2004. http:\/\/www.w3.org\/TR\/owl-guide\/"},{"key":"10.1016\/j.scico.2009.05.002_b62","unstructured":"W3C, OWL web ontology language reference, W3C Recommendation, 10 February 2004, http:\/\/www.w3.org\/TR\/owl-ref\/#OWLDL"},{"key":"10.1016\/j.scico.2009.05.002_b63","unstructured":"W3C, OWL-S: Semantic markup for web services, W3C Member Submission, 22 November 2004. http:\/\/www.w3.org\/Submission\/OWL-S\/"},{"key":"10.1016\/j.scico.2009.05.002_b64","unstructured":"W3C, RDF vocabulary description language 1.0: RDF Schema, W3C Recommendation, 10 February 2004. http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"10.1016\/j.scico.2009.05.002_b65","unstructured":"W3C, SWRL: A semantic web rule language combining OWL and RuleML, W3C Member Submission, 21 May 2004. http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"10.1016\/j.scico.2009.05.002_b66","unstructured":"W3C, Web Services Description Language (WSDL) Version 2.0 Part 0: Primer, W3C Recommendation, 26 June 2007. http:\/\/www.w3.org\/TR\/wsdl20-primer"},{"key":"10.1016\/j.scico.2009.05.002_b67","unstructured":"W3C, XSL Transformations (XSLT) Version 1.0, W3C Recommendation, 16 November 1999. http:\/\/www.w3.org\/TR\/xslt"},{"key":"10.1016\/j.scico.2009.05.002_b68","doi-asserted-by":"crossref","unstructured":"J. Xu, J. Kuusela, Modeling execution architecture of software system using colored Petri nets, in: : Proc. First Int. Workshop on Software and Performance, WOSP\u201998, 12\u201316 October 1998, Santa Fe, NM, 1988, pp. 70\u201375","DOI":"10.1145\/287318.287332"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642309000884?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642309000884?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T22:45:44Z","timestamp":1759099544000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642309000884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8]]},"references-count":68,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["S0167642309000884"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2009.05.002","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2010,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2009.05.002","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2009 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}