Conference Proceedings

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

Abstract

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

Grants

Awarded by ARC Linkage Project


Funding Acknowledgements

This research is partly funded by the ARC Linkage Project LP110100252 " Facilitating Business Process Standardisation and Reuse".