Student research opportunities
Fitzroy: BPMN Front-end
Project Code: CECS_1162
This project is available at the following levels:
Honours, Summer Scholar, Masters
Keywords:
BPMN, Model Checking
Supervisor:
Dr Peter BaumgartnerOutline:
Fitzroy is a model-checker for the logic CTL* over fragments of first-order logic. Unlike most other systems, it supports modelling of states with a rich structure using lists, arrays and records and first-order logic. Fitzroy is implemented in Scala.
Goals of this project
BPMN (Business Process Modelling Notation) is a widely used graphical language for formulating business processes. The task is to develop a front-end that translates BPMN models into Fitzroy models. This is not trivial and involves encoding e.g. certain constructs that require synchronization. As the modelling language of Fitzroy is very expressive, this enables enhancing BPMN with a richer language to talk about data and carry out some interesting case studies.
Requirements/Prerequisites
Working knowledge of Scala or Java
Student Gain
Becoming aquainted with automated reasoning techniques and how to use them for busines processes
