{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:13:12Z","timestamp":1725570792266},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45005-1_41","type":"book-chapter","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T09:53:14Z","timestamp":1385545994000},"page":"515-523","source":"Crossref","is-referenced-by-count":0,"title":["Process Refinement Validation and Explanation with Ontology Reasoning"],"prefix":"10.1007","author":[{"given":"Yuan","family":"Ren","sequence":"first","affiliation":[]},{"given":"Gerd","family":"Gr\u00f6ner","sequence":"additional","affiliation":[]},{"given":"Jens","family":"Lemcke","sequence":"additional","affiliation":[]},{"given":"Tirdad","family":"Rahmani","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Friesen","sequence":"additional","affiliation":[]},{"given":"Yuting","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Jeff Z.","family":"Pan","sequence":"additional","affiliation":[]},{"given":"Steffen","family":"Staab","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"Wyner, G.M., Lee, J.: Defining specialization for process models. In: Organizing Business Knowledge: The MIT Process Handbook, pp. 131\u2013174. MIT Press (2003)"},{"key":"41_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-03848-8_19","volume-title":"Business Process Management","author":"D. Fahland","year":"2009","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous Soundness Checking of Industrial Business Process Models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 278\u2013293. Springer, Heidelberg (2009)"},{"key":"41_CR3","unstructured":"Curran, T.A., Ladd, T., Ladd, A.: SAP R\/3 Business Blueprint: Understanding Enterprise Supply Chain Management, 2nd edn. Prentice Hall International (1999)"},{"key":"41_CR4","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.datak.2007.06.006","volume":"64","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting WS-BPEL Processes using Flexible Model Generation. DKE\u00a064, 38\u201354 (2008)","journal-title":"DKE"},{"key":"41_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-540-85758-7_20","volume-title":"Business Process Management","author":"R. Dijkman","year":"2008","unstructured":"Dijkman, R.: Diagnosing differences between business process models. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 261\u2013277. Springer, Heidelberg (2008)"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Gerth, C., Luckey, M., K\u00fcster, J.M., Engels, G.: Detection of Semantically Equivalent Fragments for Business Process Model Change Management. In: IEEE Interational Conference on Services Computing, pp. 57\u201364 (2010)","DOI":"10.1109\/SCC.2010.38"},{"issue":"5","key":"41_CR7","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S. Sadiq","year":"2005","unstructured":"Sadiq, S., Orlowska, M., Sadiq, W.: Specification and Validation of Process Constraints for Flexible Workflows. Information Systems\u00a030(5), 349\u2013378 (2005)","journal-title":"Information Systems"},{"issue":"3","key":"41_CR8","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1109\/TSE.2010.96","volume":"37","author":"M. Weidlich","year":"2011","unstructured":"Weidlich, M., Mendling, J., Weske, M.: Efficient Consistency Measurement Based on Behavioral Profiles of Process Models. IEEE Trans. Software Eng.\u00a037(3), 410\u2013429 (2011)","journal-title":"IEEE Trans. Software Eng."},{"issue":"7","key":"41_CR9","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1016\/j.is.2011.04.002","volume":"36","author":"M. Weidlich","year":"2011","unstructured":"Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J., Weske, M.: Process Compliance Analysis based on Behavioural Profiles. Inf. Syst.\u00a036(7), 1009\u20131025 (2011)","journal-title":"Inf. Syst."},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"Smirnov, S., Reijers, H., Weske, M., Nugteren, T.: Business Process Model Abstraction: A Definition, Catalog, and Survey. Distributed and Parallel Databases, 1\u201337 (2012)","DOI":"10.1007\/s10619-011-7088-5"},{"issue":"2","key":"41_CR11","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1016\/j.datak.2007.07.003","volume":"64","author":"R. Eshuis","year":"2008","unstructured":"Eshuis, R., Grefen, P.: Constructing Customized Process Views. Data & Knowledge Engineering\u00a064(2), 419\u2013438 (2008)","journal-title":"Data & Knowledge Engineering"},{"issue":"6","key":"41_CR12","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1016\/S0306-4379(02)00028-5","volume":"28","author":"D. Liu","year":"2003","unstructured":"Liu, D., Shen, M.: Workflow Modeling for Virtual Processes: An Order-preserving Process-view Approach. Information Systems\u00a028(6), 505\u2013532 (2003)","journal-title":"Information Systems"},{"issue":"4\/5","key":"41_CR13","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R., Goltz, U.: Refinement of Actions and Equivalence notions for Concurrent Systems. Acta Inf.\u00a037(4\/5), 229\u2013327 (2001)","journal-title":"Acta Inf."},{"key":"41_CR14","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s11761-009-0048-5","volume":"3","author":"V. Lam","year":"2009","unstructured":"Lam, V.: Equivalences of BPMN Processes. Service Oriented Computing and Applications\u00a03, 189\u2013204 (2009)","journal-title":"Service Oriented Computing and Applications"},{"key":"41_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/11841760_10","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., de Medeiros, A.K.A., Weijters, A.J.M.M.: Process Equivalence: Comparing Two Process Models Based on Observed Behavior. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 129\u2013144. Springer, Heidelberg (2006)"},{"key":"41_CR16","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall (1989)"},{"key":"41_CR17","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1006\/inco.1996.0096","volume":"131","author":"D. Sangiorgi","year":"1996","unstructured":"Sangiorgi, D.: Bisimulation for Higher-Order Process Calculi. Information and Computation\u00a0131, 141\u2013178 (1996)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45005-1_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T21:45:25Z","timestamp":1558734325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45005-1_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642173578","9783642173585"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45005-1_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}