Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models
Artem Polyvyanyy, Matthias Weidlich, Mathias Weske, A Barros, A Gal, E Kindler
BUSINESS PROCESS MANAGEMENT, BPM 2012 | SPRINGER-VERLAG BERLIN | Published : 2012
There are many use cases in business process management that require the comparison of behavioral models. For instance, verifying equivalence is the basis for assessing whether a technical workflow correctly implements a business process, or whether a process realization conforms to a reference process. This paper proposes an equivalence relation for models that describe behaviors based on the concurrency semantics of net theory and for which an alignment relation has been defined. This equivalence, called isotactics, preserves the level of concurrency of aligned operations. Furthermore, we elaborate on the conditions under which an alignment relation can be classified as an abstraction. Fin..View full abstract
Awarded by ARC Linkage Project
This research is partly funded by the ARC Linkage Project LP110100252 " Facilitating Business Process Standardisation and Reuse".