Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Managing exceptions in the medical workflow systems
Proceedings of the 28th international conference on Software engineering
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
YAWL: yet another workflow language
Information Systems
SYNASC '06 Proceedings of the Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Models in Software Engineering
Specifying and Verifying Web Transactions
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A Time Management Method in Workflow Management System
GPC '09 Proceedings of the 2009 Workshops at the Grid and Pervasive Computing Conference
Weak Time Petri Nets Strike Back!
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Controllability in Temporal Conceptual Workflow Schemata
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Scalable multi-core LTL model-checking
Proceedings of the 14th international SPIN conference on Model checking software
An automated translator for model checking time constrained workflow systems
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
On enabling data-aware compliance checking of business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Real-time model checking is really simple
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
NOVA workflow: a workflow management tool targeting health services delivery
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Model checking workflow monitors and its application to a pain management process
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
T-square: a domain specific language for rapid workflow development
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A Model Slicing Method for Workflow Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Over the years, researchers have investigated how to provide better support for hospital administration, therapy and laboratory workflows. Among these efforts, as with any other safety critical system, reliability of the workflows is a key issue. In this paper, we provide a method to enhance the reliability of real world workflows by incorporating timed compensable tasks into the workflows, and by using formal verification methods (e.g., model checking). We extend our previous work [1] with the notion of time by providing the formal semantics of Timed Compensable WorkFlow nets (CWFT -nets). We extend the graphical modeling language of Nova WorkFlow (a workflow management system currently under development) to model CWFT -nets and enhance Nova WorkFlow's automatic translator to translate a CWFT -net into DVE, the modeling language of the distributed LTL model checker DiVinE. These enhancements provide a method for rapid (re)design and verification of timed compensable workflows. We present a real world case study for Seniors' Care, developed through collaboration with the local health authority.