SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Model checking
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
On the invariants of coloured Petri nets
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Comparing two approaches to compensable flow composition
CONCUR 2005 - Concurrency Theory
YAWL: yet another workflow language
Information Systems
Looking into Compensable Transactions
SEW '07 Proceedings of the 31st IEEE Software Engineering Workshop
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
Algebraic semantics for compensable transactions
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Formal methods and hybrid real-time systems
YAWL2DVE: An Automated Translator for Workflow Verification
SSIRI '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement
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
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Proceedings of the 1st ACM International Health Informatics Symposium
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
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
A framework for reliable execution of transactional composite web services
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
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
Towards cost-aware service recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
A Model Slicing Method for Workflow Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Reliable Composite Web Services Execution: Towards a Dynamic Recovery Decision
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In recent years, Workflow Management Systems (WfMSs) have been studied and developed to provide automated support for defining and controlling various activities associated with business processes. The automated support reduces costs and overall execution time for business processes, by improving the robustness of the process and increasing productivity and quality of service. As business organizations continue to become more dependant on computarized systems, the demand for reliability has increased. The language t-calculus [8] was developed to aid in the creation and verification of compensable systems. Motivated by this we define Compensable WorkFlow nets (CWF-nets) and introduce a graphical modeling language Compensable Workflow Modeling Language (CWML). We present a case study, using CWML to model a real world scenario, translate the resulting CWF-net into DVE (the input language of the DiVinE model checker) and verify properties of interest.