CS 770 Process Engineering
Instructor: Rushikesh K. Joshi

PG course starting July 2022
Slot 13 (Mon 7, Fri 7)
 
Content

(1) Business process Models in OMG’s BPMN ◦ business processes, tasks, gateways, pools, lanes, collaborations, public and private processes, choreographies, markers, conversations, ad-hoc models, activities, events, start/end/intermediate events, boundary events, event-driven models, exception paths,subprocesses.

(2) Formal Modeling and analytics Places and transitions, tokens and markings, classical Petri Nets, Extended petri nets, Colored petri nets, state spaces, reachability graphs, traces, properties of nets.

(3) Process Mining Traces and logs, process conformance, algorithms for process recovery

(4) Process Migration Business changes, long processes, migration of instances, change region, consistency, migration policies and algorithms.

(5) Process Patterns and Workflows Commonly found process patterns in workflows. Introduction to Workflow engines and execution of processes. The course will discuss the theoretical concepts of process engineering, and through practical relevant examples, emphasize their application to solving problems.

References
A representative list is given below:
Workflow Exception Patterns, Nick Russell, Wil van der Aalst, Arthur ter Hofstede CaiSe 2006, pp. 288-302 LNCS-4001

Workflow Mining: Discovering Process Models from Event Logs Wil van der Aalst, Ton Weijters, and Laura Maruster IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 16, NO. 9, SEPTEMBER 2004

Integration of Process Model and CIM to Represent Events and Chronology in Power Systems, Ravikumar Gelli, S.A. Khaparde, R.K. Joshi, IEEE Systems Journal, Volume 12, Issue 1, March 2018

A Taxonomy of Consistency Models in Dynamic Migration of Business Processes, Ahana Pradhan, Rushikesh K. Joshi, IEEE Transactions on Services Computing, published online 03 August 2017. Volume 11 Issue 3, May-June 2018.

Using Patterns to Design Rules in Workflows Fabio Casati,, Silvana Castano, Mariagrazia Fugini, Isabelle Mirbel, and Barbara Pernici IEEE Transactions on Software Engineering, August 2000 Exposure to a Workflow engine software Using BPMN Modeling tool