loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software
Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care
April 05-April 05
ISBN: 978-0-7695-3104-5
ASCII Text
x 
 
Jeff Dallien, Wendy MacCaull, Allen Tien, "Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care," Model-Based Methodologies for Pervasive and Embedded Software, International Workshop on, pp. 78-91, 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2008.
 
 
BibTex
x
 
@article{ 10.1109/MOMPES.2008.12,
author = {Jeff Dallien and Wendy MacCaull and Allen Tien},
title = {Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care},
journal ={Model-Based Methodologies for Pervasive and Embedded Software, International Workshop on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3104-5},
pages = {78-91},
doi = {http://doi.ieeecomputersociety.org/10.1109/MOMPES.2008.12},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Model-Based Methodologies for Pervasive and Embedded Software, International Workshop on
TI - Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care
SN - 978-0-7695-3104-5
SP78
EP91
A1 - Jeff Dallien,
A1 - Wendy MacCaull,
A1 - Allen Tien,
PY - 2008
KW - workflow
KW - verification
KW - tableau
KW - health care
KW - description logic
KW - temporal logic
VL - 0
JA - Model-Based Methodologies for Pervasive and Embedded Software, International Workshop on
ER -
 
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.
Index Terms:
workflow, verification, tableau, health care, description logic, temporal logic
Citation:
Jeff Dallien, Wendy MacCaull, Allen Tien, "Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care," mompes, pp.78-91, 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2008
Usage of this product signifies your acceptance of the Terms of Use.