A StFX graduate student was in Singapore last month to present a paper on his research at the 4th IEEE International Conference on Secure Software Integration and Reliability Improvement.
Fazle Rabbi, a member of StFX’s Centre for Logic and Information, presented his paper, YAWL2DVE An Automated Translator for Workflow Verification at the June conference. The paper is coauthored by Post Doc, Hao Wang, PhD, and Rabbi’s supervisor, Centre director and StFX mathematics, statistics and computer science professor Dr. Wendy MacCaull.
At the conference, Rabbi presented an automated translator (YAWL2DVE) which can convert a graphical workflow model into DVE, the input language of the model checker DiVinE and showed the effectiveness of this translator with a case study on a real world health care workflow model.
“Rabbi’s paper is an example of the new, applied research we are developing out of our collaborative efforts here at the centre,” Dr. MacCaull said.
“There are two difficult problems in determining the correctness of workflow models. One is the size and complexity of the models. This problem is effectively dealt with by using the High Performance Computing facility offered through the ACEnet consortium. The other problem is translating a workflow diagram into computer code for a model checker, which allows us to quickly determine the correctness of the workflow,” she says.
“I am delighted that Rabbi was able to demonstrate his ideas and demonstrate the quality of our graduate students at StFX at this international venue.”
Rabbi began his graduate studies at StFX in September 2009 under the supervision of Dr. MacCaull, who is also the principle investigator of the six-year ACOA Atlantic Innovation Fund sponsored project, Building Decision-support through Dynamic Workflow for Health Care being carried out at the StFX Centre for Logic and Information.
This project involves a multi-disciplinary team of academic researchers; an industry collaborator, Palomino System Innovations Inc.; and healthcare professionals from GASHA, the local health authority.
They are working together to research the conceptual, scientific and technological problems for the design and development of dynamic careflow software systems for applications to healthcare to ultimately be deployed in GASHA.