CS 770 Process
Engineering
Instructor: Rushikesh K. Joshi
PG course starting Aug 2023
Slot 13 (MONDAY evening 7pm, THURSDAY evening 7 pm, ROOM LC 001)
Evaluation Plan:
Quiz I
Midsem
Quiz II
Endsem
Classroom participation and activities involving the use of tools
(Distribution: 10+20+10+50|45+10|15)
Attendance rule will be observed.
Course Organization
The lecture sequence is as follows:
Module 2 --> Module 5 --> Module 1 --> Module 4 --> Module 3
Module numbers refer to the course content item numbers given below.
Course 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. The course involves
References
- OMG Specification, Business Process Model And Notation, Jan
2014 https://www.omg.org/spec/BPMN
- Tado Murata, Murata, Petri Nets: Properties, Analysis and
Applications, IEEE Proceedings, April 1989
- Wil M. P. van der Aalst, Process Mining: Data Science in
Action, 2016, Springer
- Selected Research Articles/Softwares.
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