Design and Verification of Information Systems
Prof. Dr hab. inz. Boleslaw Mikolajczak
Final Examination
Guidelines
It is comprehensive, i.e. it covers material of the whole course.
It is worth 50 points.
It is open textbook but not open notebook.
Read all homework assignments and project assignments to refresh your memory concerning different issues studied during the whole semester.
Study and understand all important concepts from workflows and workflow-related Petri net fundamentals such as: four basic workflow operations: sequential, concurrent, choice, and iteration; liveness, boundedness, soundness, reversibility, place invariants, transition invariants, connectedness, reachability graphs, relations to be enabled, to be fired, process of a Petri net, several process-based architectures for IOWFs, synchronous and asynchronous communication of workflows, workflow correctness, consistency of MSC and IOWFs, deadlock, Petri net morphisms, abstraction and refinement transformations for Petri nets, partial order relation, elements of performance evaluation (Little's law), bisimilarity of Petri nets, etc.
Be able to design a simple workflow and/or simple inter-organizational workflow based on a specification presented in plain English.
Meaning of a design level concepts such as: interoperability, WFMC reference model, resource classification, meaning of inheritance for workflows, etc.
Functions and Architecture of Workflow Systems (chapter 5).
Mechanisms of workflow system development (chapter 6).