{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T21:18:04Z","timestamp":1770585484787,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540749738","type":"print"},{"value":"9783540749745","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89652-4_13","type":"book-chapter","created":{"date-parts":[[2008,11,20]],"date-time":"2008-11-20T02:04:36Z","timestamp":1227146676000},"page":"132-146","source":"Crossref","is-referenced-by-count":37,"title":["Reasoning on Semantically Annotated Processes"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Di Francescomarino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Rospocher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Jasco: an aspect-oriented approach tailored for component based software development. In: AOSD, pp. 21\u201329 (2003)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Aspect-oriented programming for dynamic web service monitoring and selection. In: Zhang, L.-J. (ed.) ECOWS, LNCS. vol. 3250, pp. 15\u201329. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-30209-4_2"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-30209-4_13","volume-title":"Web Services","author":"M. Mezini","year":"2004","unstructured":"Mezini, M., Charfi, A.: Aspect-oriented web service composition with AO4BPEL. In (LJ) Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol.\u00a03250, pp. 168\u2013182. Springer, Heidelberg (2004)"},{"key":"13_CR4","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"13_CR5","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: VLDB 2006, pp. 343\u2013354 (2006)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11841760_9","volume-title":"Business Process Management","author":"M. Braem","year":"2006","unstructured":"Braem, M., Verlaenen, K., Joncheere, N., Vanderperren, W., Van Der Straeten, R., Truyen, E., Joosen, W., Jonckers, V.: Isolating process-level concerns using padus. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 113\u2013128. Springer, Heidelberg (2006)"},{"key":"13_CR7","unstructured":"Business Process Management Initiative (BPMI). Business process modeling notation: Specification (2006), http:\/\/www.bpmn.org"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/1062455.1062484","volume-title":"ICSE 2005: Proc. of the 27th international conference on Software engineering","author":"C. Courbis","year":"2005","unstructured":"Courbis, C., Finkelstein, A.: Towards aspect weaving applications. In: ICSE 2005: Proc. of the 27th international conference on Software engineering, pp. 69\u201377. ACM, New York (2005)"},{"key":"13_CR9","unstructured":"Curbera, F., Goland, Y., Klein, Y., Leymann, F., Roller, D., Weerawarana, S.: Business process execution language for web services. Web page. Version 1.0 (July 31, 2002)"},{"key":"13_CR10","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of bpmn process models (2007), http:\/\/eprints.qut.edu.au\/archive\/00005969\/"},{"key":"13_CR11","unstructured":"Dimitrov, M., Simov, A., Stein, S., Konstantinov, M.: A bpmo based semantic business process modelling environment. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management at the ESWC, CEUR-WS, vol.\u00a0251 (2007)"},{"key":"13_CR12","unstructured":"Wetzstein, B., et al.: Semantic business process management: A lifecycle based requirements analysis. In: Proc. of the Workshop on Semantic Business Process and Product Lifecycle Management, CEUR Workshop Proceedings, vol.\u00a0251 (2007)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Reasoning on semantically annotated processes. Technical report, FBK-irst (2008), http:\/\/se.fbk.eu","DOI":"10.1007\/978-3-540-89652-4_13"},{"key":"13_CR14","unstructured":"Ghidini, C., Rospocher, M., Serafini, L.: A formalisation of BPMN in description logics. Technical Report TR 2008-06-004, FBK-irst (2008)"},{"key":"13_CR15","unstructured":"Happel, H.-J., Stojanovic, L.: Ontoprocess \u2013 a prototype for semantic business process verification using swrl rules. In: Proc. of the 3rd European Semantic Web Conference (2006)"},{"key":"13_CR16","first-page":"535","volume-title":"ICEBE 2005: Proceedings of the IEEE International Conference on e-Business Engineering","author":"M. Hepp","year":"2005","unstructured":"Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic business process management: A vision towards using semantic web services for business process management. In: ICEBE 2005: Proceedings of the IEEE International Conference on e-Business Engineering, pp. 535\u2013540. IEEE Computer Society, Los Alamitos (2005)"},{"key":"13_CR17","unstructured":"Hornung, T., Koschmider, A., Oberweis, A.: A recommender system for business process models. In: 17th Annual Workshop on Information Technologies and Systems, Decemeber (2007)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","first-page":"321","volume-title":"Proceedings of the CAiSE 2005 Workshops","author":"A. Koschmider","year":"2005","unstructured":"Koschmider, A., Oberweis, A.: Ontology based business process description. In: Proceedings of the CAiSE 2005 Workshops. LNCS, pp. 321\u2013333. Springer, Heidelberg (2005)"},{"key":"13_CR19","unstructured":"De Nicola, A., Lezoche, M., Missikoff, M.: An ontological approach to business process modeling. In: Proceedings of the 3rd Indian International Conference on Artificial Intelligence (IICAI), December 2007, pp. 1794\u20131813 (2007)"},{"key":"13_CR20","unstructured":"Fellmann, M., Thomas, O.: Semantic epc: Enhancing process modeling using ontology languages. In: Proc. of the Workshop on Semantic Business Process and Product Lifecycle Management at the ESWC, CEUR-WS, vol. 251 (2007)"},{"key":"13_CR21","unstructured":"OMG. Business process modeling notation, v1.1, http:\/\/www.omg.org\/spec\/BPMN-\/1.1\/PDF"},{"key":"13_CR22","unstructured":"Seaborne, A., Prud\u2019hommeaux, E.: SPARQL query language for RDF. W3C recommendation, W3C (January 2008), http:\/\/www.w3.org\/TR\/2008\/REC-rdf-sparql-query-20080115\/"},{"key":"13_CR23","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/302405.302457","volume-title":"Proc. of the International Conference on Software Engineering (ICSE)","author":"P.L. Tarr","year":"1999","unstructured":"Tarr, P.L., Ossher, H., Harrison, W.H., Sutton Jr., S.M.: N degrees of separation: Multi-dimensional separation of concerns. In: Proc. of the International Conference on Software Engineering (ICSE), Los Angeles, CA, USA, pp. 107\u2013119. ACM press, New York (1999)"},{"key":"13_CR24","unstructured":"Thomas, O., Fellmann, M.: Semantic epc: Enhancing process modeling using ontology languages. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM), June 2007, pp. 64\u201375 (2007)"},{"key":"13_CR25","unstructured":"Tonella, P., Di Francescomarino, C.: Business process concern documentation and evolution. Technical report, FBK-irst (2008), http:\/\/se.fbk.eu"},{"key":"13_CR26","unstructured":"Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM) (June 2008)"},{"key":"13_CR27","unstructured":"Wong, P., Gibbons, J.: A Relative Timed Semantics for BPMN (submitted, 2008), Extended version http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/peter.wong\/pub\/bpmntime.pdf"}],"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-89652-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,3]],"date-time":"2025-02-03T00:56:49Z","timestamp":1738544209000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89652-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540749738","9783540749745"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89652-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}