Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Dallien, J. ; Dept. of Math., Stat. & Comput. Sci., St. Francis Xavier Univ., Antigonish, NS ; MacCaull, W. ; Tien, A.

Workflows describe work processes as sequences of tasks and information regarding who performs them and their relative order. Workflows have been found useful to describe processes in a number of industries. This work focuses on workflows used in health care. Formal verification is the growing field of formalizing and verifying specifications for hardware and software systems. Many health care software systems are examples of safety critical systems and their proper function is required to protect the safety of the patients they manage. Formal verification can help assure this safety by checking workflows before they are put into action, where errors can potentially seriously affect patients. A language for expressing properties that need to be verified is developed and a model checker is implemented. The implementation of the model checker written in XSB Prolog is presented.

Published in:

Model-based Methodologies for Pervasive and Embedded Software, 2008. MOMPES 2008. 5th International Workshop on

Date of Conference:

5-5 April 2008