Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Time Petri Nets Analysis with TINA
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
YAWL: yet another workflow language
Information Systems
Evaluating usability of a commercial electronic health record: A case study
International Journal of Human-Computer Studies
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
Reduction rules for YAWL workflows with cancellation regions and OR-joins
Information and Software Technology
A Time Management Method in Workflow Management System
GPC '09 Proceedings of the 2009 Workshops at the Grid and Pervasive Computing Conference
Controllability in Temporal Conceptual Workflow Schemata
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Guided recovery for web service applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Time and Data-Aware Analysis of Graphical Service Models in Reo
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
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
Modeling and verifying timed compensable workflows and an application to health care
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Syntactical colored petri nets reductions
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Process programming to support medical safety: a case study on blood transfusion
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
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
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
| Hi-index | 0.00 |
We present the NOVA Workflow tool-suite, a prototype for a process, information and communication management tool to guide and inform real world workflows with special attention to the needs of health services delivery. NOVA Workflow is an innovative workflow management system which integrates formal verification into the software development process. For workflow modeling the tool uses the time Compensable Workflow Modeling Language (CWMLT) which produces reliable and structured workflow models and enhances error handling. The graphical editor of the tool gives a common platform for modeling, verifying and developing software. The SOA based architecture of the workflow engine ensures compliance with industry standards. The tool includes an automated translator to a model checking tool, a monitor to facilitate run-time compliance of (health care) policy, and a user friendly browser to give clinicians a convenient way to view a patient's information without losing the context. We propose an application of the browser to process diagnosis.