Rushikesh K. Joshi
Department of Computer
Science & Engineering
Institute of Technology Bombay
Architecture, Design, Processes,
Programming Paradigms, Formal Descriptions &
Modeling languages, Ontology
Ahana Pradhan, Rushikesh K. Joshi,
A Taxonomy of Consistency Models in Dynamic Migration of Business Processes,
IEEE Transactions on Services Computing, published 03 August 2017.
The paper develops a taxonomy of notions of consistency in the context of dynamic migration of business processes.
The classification into nine major consistency classes is derived primarily from differences arising out of the past, present and future of the post migration state.
The framework of consistency models is based on a common Petri net
formalism. Besides a notion of time, it distinguishes consistency models based on structure, trace comparators and trace representations.