Artificial Intelligence - Special issue on knowledge representation
Temporal Granularity: Completing the Puzzle
Journal of Intelligent Information Systems
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
Time Constraints in Workflow Systems
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Conceptual Modelling of WorkFlows
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Temporal Modeling of Workflows with Conditional Execution Paths
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Conceptual Modeling of Temporal Clinical Workflows
TIME '07 Proceedings of the 14th International Symposium on Temporal Representation and Reasoning
Temporal dynamic controllability revisited
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
A structural characterization of temporal dynamic controllability
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Structuring acyclic process models
BPM'10 Proceedings of the 8th international conference on Business process management
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
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
Conceptual framework for business processes compositional verification
Information and Software Technology
Modelling temporal, data-centric medical processes
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Structuring acyclic process models
Information Systems
Drake: an efficient executive for temporal plans with choice
Journal of Artificial Intelligence Research
On the complexity of temporal controllabilities for workflow schemata
Proceedings of the 27th Annual ACM Symposium on Applied Computing
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
| Hi-index | 0.00 |
Workflow technology has emerged as one of the leading technologies in modelling, redesigning, and executing business processes. Currently available workflow management systems (WfMS ) and research prototypes offer a very limited support for the definition, detection, and management of temporal constraints over business processes. In this paper, we propose a new advanced workflow conceptual model for expressing time constraints in business processes and, in particular, we introduce and discuss the concept of controllability for workflow schemata and its evaluation at process design time. Controllability refers to the capability of executing a workflow for any possible duration of tasks. Since in several situations durations of tasks cannot be decided by WfMSs , even tough the minimum and the maximum durations for each task are known, checking controllability is stronger than verifying the consistency of the workflow temporal constraints.