Initial work in the design and development of verifiable Workflow Management Systems and some applications to health care

Jeff Dallien, Wendy MacCaull, Allen Tien

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Workflows describe workprocesses 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.

Original languageEnglish (US)
Title of host publicationProceedings of the 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2008
Pages78-91
Number of pages14
DOIs
StatePublished - 2008
Event5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2008 - Budapest, Hungary
Duration: Apr 5 2008Apr 5 2008

Other

Other5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2008
CountryHungary
CityBudapest
Period4/5/084/5/08

ASJC Scopus subject areas

  • Artificial Intelligence
  • Software

Fingerprint Dive into the research topics of 'Initial work in the design and development of verifiable Workflow Management Systems and some applications to health care'. Together they form a unique fingerprint.

  • Cite this

    Dallien, J., MacCaull, W., & Tien, A. (2008). Initial work in the design and development of verifiable Workflow Management Systems and some applications to health care. In Proceedings of the 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2008 (pp. 78-91). [4520172] https://doi.org/10.1109/MOMPES.2008.12