Detection of Semantically Equivalent Fragments for Business Process Model Change Management

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 multideveloper 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 than 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.

A condensed version of this report has appeared in: Proc. 7th IEEE 2010 Int'l Conf. on Services Computing "SCC 2010," Miami, FL (IEEE, July 2010), pp. 57-64.

By: C. Gerth, M. Luckey, J. Kuester, G. Engels

Published in: RZ3767 in 2010


This Research Report is available. This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g., payment of royalties). I have read and understand this notice and am a member of the scientific community outside or inside of IBM seeking a single copy only.


Questions about this service can be mailed to .