Business Process Models in ABS
Nowadays, there are several different business process modelling languages for modelling business process or workflows. Among all, BPMN  is one of the standards which aims to be understandable by all business users, including business managers and technical developers. Whereas ABS is a formal modelling language developed in Envisage project, designed to predict behaviour of resource-aware services on the cloud and their compliance with service-level contracts.
In this context, ABS is particularly well-suited for modelling business process, as it combines asynchronous communication and complex concurrent synchronisation among distributed activities with explicit models of architecture, resource requirements, and resource provisioning.
The objective of this project is to study different business process modelling languages and understand how to translate business process models written in those languages into ABS models.
 OMG, Business Process Modeling Notation (BPMN) Version 2.0. OMG Final Adopted Specification, Object Management Group, 2011.