Abstract: Process model merging receives data representative of a first model that models a first process and a second model that models a second process, and determines, based on the data and a predetermined plurality of basic model manipulation operations, atomic differences in the second model relative to the first model. Compound differences are determined in the second model relative to the first model. A user is informed of the atomic differences and the compound differences. The user is allowed to select a set of the plurality of basic model manipulation operations. A modified first model is obtained by applying the selected set of basic model manipulation operations to the first model.

Abstract: Migration of a business process instance derived from a business process model having compensation logic is provided. A new business process version of the business process model is modeled. The business process model is statically analyzed to create a static process control flow. A potential compensation control flow is derived based on the business process instance. Changes between the new business process version and a previous business process version of the business process model are identified. The identified changes are walked to separate and group changes related to the compensation logic and changes related to a normal control flow of the business process model into change groups. The business process instance is migrated based on migration conditions which are determined based on the change groups.

Abstract: Process model merging receives data representative of a first model that models a first process and a second model that models a second process, and determines, based on the data and a predetermined plurality of basic model manipulation operations, atomic differences in the second model relative to the first model. Compound differences are determined in the second model relative to the first model. A user is informed of the atomic differences and the compound differences. The user is allowed to select a set of the plurality of basic model manipulation operations. A modified first model is obtained by applying the selected set of basic model manipulation operations to the first model.