Rushikesh K. Joshi

Department of Computer Science & Engineering
Indian Institute of Technology Bombay
Powai, Mumbai-400076, India


Research Areas

Software Architecture, Design, Processes,
Programming Paradigms, Formal Descriptions & Modeling languages, Ontology

List of Publications (Chronological) Selections from past courses and lecture notes List of Publications (Areawise)

new! 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.