Developed with understanding of compensable transaction and formal verification, NOVA WorkFlow is an inovative workflow  modeling framework based on the Compensetable Workflow Modeling Language (CWML), a formal graphical language proposed by CLI. The framework consists of a graphical editor, a translator and a workflow engine.

The graphical editor aids visual modeling of workflow which ensures correctness by construction. The editor is developed as an Eclipse RCP plug-in, so you can make use of many UI features provided by Eclipse and install the editor on different OS platforms.

The translator can automatically translate a workflow model to the input language of a model checker. After building a model using our editor, you only need to click on an action button to obtain a translated model for there simulation and verification in the model checker. Workflow models are often huge and complicated, resulting with unacceptably long verification times. The translator incorporates a reduction algorithm which, upon input of a property outputs a reduced model with the same verification result.

The workflow engine lets you execute the verified workflow model built using the editor. The engine was developed using popular Spring and Hibernate frameworks and current J2EE architecture. The workflow engine can run on a variety of platforms with various database and web application servers.



This is a short video demo of our software (Version 0.1).


A task specification editor has been incorporated in NOVA WorkFlow version 2.0 which allows writing T(T-Square) code in eclipse editor. T is a domain specific language for workflow development. It incorporates following features: a) a simple syntax for i) writing procedural statements, ii) querying and manipulating ontologies, iii) designing a rich user interface (UI), iv) specifying access control policy, v) dynamically scheduling tasks; b) abstraction of communication details.  

We apply transformation methods, based on Xtend ( ), to generate executable software from the abstract task specifications written in T. Ensuring the correct transformation of T code to a software system gives us the confidence that the generated software components will produce correct workflows, a very essential feature for safety critical systems such as health care.  This approach will help the customization of workflows by dramatically reducing the number of lines of code. The workflow engine let you execute the workflow model built using the editor.

This is a short video demo of NOVA Workflow (Version 2.0)