{"year":"2010","_id":"8219","language":[{"iso":"eng"}],"author":[{"full_name":"Gerth, Christian","last_name":"Gerth","first_name":"Christian"},{"last_name":"Luckey","full_name":"Luckey, Markus","first_name":"Markus"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"},{"full_name":"Engels, Gregor","last_name":"Engels","id":"107","first_name":"Gregor"}],"status":"public","date_updated":"2022-01-06T07:03:52Z","date_created":"2019-03-03T16:13:18Z","title":"Detection of Semantically Equivalent Fragments for Business Process Model Change Management","report_number":"3767","type":"report","user_id":"52534","publisher":"IBM Research","citation":{"apa":"Gerth, C., Luckey, M., Küster, J., &#38; Engels, G. (2010). <i>Detection of Semantically Equivalent Fragments for Business Process Model Change Management</i>. Zurich: IBM Research.","ieee":"C. Gerth, M. Luckey, J. Küster, and G. Engels, <i>Detection of Semantically Equivalent Fragments for Business Process Model Change Management</i>. Zurich: IBM Research, 2010.","mla":"Gerth, Christian, et al. <i>Detection of Semantically Equivalent Fragments for Business Process Model Change Management</i>. IBM Research, 2010.","bibtex":"@book{Gerth_Luckey_Küster_Engels_2010, place={Zurich}, series={IBM Research Report}, title={Detection of Semantically Equivalent Fragments for Business Process Model Change Management}, publisher={IBM Research}, author={Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels, Gregor}, year={2010}, collection={IBM Research Report} }","chicago":"Gerth, Christian, Markus Luckey, Jochen Küster, and Gregor Engels. <i>Detection of Semantically Equivalent Fragments for Business Process Model Change Management</i>. IBM Research Report. Zurich: IBM Research, 2010.","ama":"Gerth C, Luckey M, Küster J, Engels G. <i>Detection of Semantically Equivalent Fragments for Business Process Model Change Management</i>. Zurich: IBM Research; 2010.","short":"C. Gerth, M. Luckey, J. Küster, G. Engels, Detection of Semantically Equivalent Fragments for Business Process Model Change Management, IBM Research, Zurich, 2010."},"place":"Zurich","department":[{"_id":"66"}],"series_title":"IBM Research Report","abstract":[{"text":"Modern business process modeling environments support distributed development by means of model version control, i.e., comparison and merging of two different model versions. This is a challenging task since most modeling languages support an almost arbitrary creation of process models. Thus, in multi-developer environments, process models or parts of them are often syntactically very different but semantically equivalent. Hence, the comparison of business process models must be performed on a semantic level rather then on a syntactic level. For the domain of business process modeling, this problem is yet unsolved. This paper describes an approach that allows the semantic comparison of different business process models using a normal form. For that purpose, the process models are fully automatically translated into process model terms and normalized using a term rewriting system. The resulting normal forms can be efficiently compared. Our approach enables the semantic comparison of business process models ignoring syntactic redundancies.","lang":"eng"}]}