{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:18:29Z","timestamp":1742912309049,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642230905"},{"type":"electronic","value":"9783642230912"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23091-2_25","type":"book-chapter","created":{"date-parts":[[2011,8,10]],"date-time":"2011-08-10T04:52:27Z","timestamp":1312951947000},"page":"294-302","source":"Crossref","is-referenced-by-count":7,"title":["Querying Semantically Enriched Business Processes"],"prefix":"10.1007","author":[{"given":"Michele","family":"Missikoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Proietti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03121-2","volume-title":"Modern Business Process Automation: YAWL and its Support Environment","author":"A.H.M. Hofstede ter","year":"2010","unstructured":"ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N.: Modern Business Process Automation: YAWL and its Support Environment. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Hepp, M., et al.: Semantic business process management: A vision towards using semantic web services for business process management. In: Proc. ICEBE (2005)","key":"25_CR2","DOI":"10.1109\/ICEBE.2005.110"},{"issue":"2","key":"25_CR3","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.is.2008.07.002","volume":"34","author":"A. Nicola De","year":"2009","unstructured":"De Nicola, A., Missikoff, M., Navigli, R.: A software engineering approach to ontology building. Information Systems\u00a034(2), 258\u2013275 (2009)","journal-title":"Information Systems"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-15364-8_6","volume-title":"Database and Expert Systems Applications","author":"A. Nicola De","year":"2010","unstructured":"De Nicola, A., Missikoff, M., Proietti, M., Smith, F.: An Open Platform for Business Process Modeling and Verification. In: Bringas, P.G., Hameurlain, A., Quirchmayr, G. (eds.) DEXA 2010. LNCS, vol.\u00a06261, pp. 76\u201390. Springer, Heidelberg (2010)"},{"key":"25_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)","edition":"2"},{"unstructured":"OMG: Business Process Model and Notation, \n                    \n                      http:\/\/www.omg.org\/spec\/BPMN\/2.0","key":"25_CR6"},{"unstructured":"XPDL 2.1 Complete Specification, \n                    \n                      http:\/\/www.wfmc.org\/xpdl.html","key":"25_CR7"},{"unstructured":"OWL 2: Profiles, \n                    \n                      http:\/\/www.w3.org\/TR\/owl2-profiles","key":"25_CR8"},{"doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE 1999, pp. 411\u2013420 (1999)","key":"25_CR9","DOI":"10.1145\/302405.302672"},{"unstructured":"Missikoff, M., Proietti, M., Smith, F.: Querying semantically annotated business processes. In: IASI-CNR, R, pp. 10\u201322 (2010)","key":"25_CR10"},{"key":"25_CR11","series-title":"LNBIP","first-page":"189","volume-title":"Proc. BIS 2008","author":"I. Markovic","year":"2008","unstructured":"Markovic, I.: Advanced Querying and Reasoning on Business Process Models. In: Proc. BIS 2008. LNBIP, pp. 189\u2013200. Springer, Heidelberg (2008)"},{"key":"25_CR12","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-00328-8_3","volume-title":"Business Process Management Workshops","author":"C. Francescomarino Di","year":"2009","unstructured":"Di Francescomarino, C., Tonella, P.: Crosscutting concern documentation by visual query of business processes. In: Ardagna, D., Mecella, M., Yang, J. (eds.) Business Process Management Workshops. Lecture Notes in Business Information Processing, vol.\u00a017, pp. 18\u201331. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Haller, A., Gaaloul, W., Marmolowski, M.: Towards an XPDL Compliant Process Ontology. In: SERVICES I 2008, pp. 83\u201386 (2008)","key":"25_CR13","DOI":"10.1109\/SERVICES-1.2008.71"},{"key":"25_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-85758-7_24","volume-title":"Business Process Management","author":"A. Awad","year":"2008","unstructured":"Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 326\u2013341. Springer, Heidelberg (2008)"},{"issue":"6","key":"25_CR15","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/j.is.2008.02.005","volume":"33","author":"C. Beeri","year":"2008","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes with BP-QL. Information Systems\u00a033(6), 477\u2013507 (2008)","journal-title":"Information Systems"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23091-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T05:14:53Z","timestamp":1554009293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23091-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642230905","9783642230912"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23091-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}