Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
Introduction to algorithms
Artificial Intelligence - Special issue on knowledge representation
A closed-form evaluation for Datalog queries with integer (gap)-order constraints
ICDT Selected papers of the 4th international conference on Database theory
Experiences with workflow management: issues for the next generation
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Database Support for Workflow Management: The Wide Project
Database Support for Workflow Management: The Wide Project
Time Granularities in Databases, Data Mining and Temporal Reasoning
Time Granularities in Databases, Data Mining and Temporal Reasoning
A general framework for time granularity and its application to temporal reasoning
Annals of Mathematics and Artificial Intelligence
Symbolic representation of user-defined time granularities
Annals of Mathematics and Artificial Intelligence
Temporal Reasoning for Automated Workflow in Health Care Enterprises
Proceedings of the Workshop at NIST on Electronic Commerce, Current Research Issues and Applications
Solving multi-granularity temporal constraint networks
Artificial Intelligence
Deriving Abstract Views of Multi-granularity Temporal Constraint Networks
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Quality driven web services composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Artificial Intelligence in Medicine
Dynamic batch processing in workflows: Model and implementation
Future Generation Computer Systems
The representation, analysis and verification of business processes: a metagraph-based approach
Information Technology and Management
Process-oriented organisation modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
A QoS-based service retrieval methodology for digital ecosystems
International Journal of Web and Grid Services
Controllability in Temporal Conceptual Workflow Schemata
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Supporting temporal reasoning by mapping calendar expressions to minimal periodic sets
Journal of Artificial Intelligence Research
Dynamic checking of temporal constraints for concurrent workflows
Electronic Commerce Research and Applications
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Schedule-aware workflow management systems
Transactions on Petri nets and other models of concurrency IV
Consolidating the access control of composite applications and workflows
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
Optimized workflow authorization in service oriented architectures
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
Modelling temporal, data-centric medical processes
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Accelerating workflows with fixed date constraints
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Modeling the behavior of dispatching rules in workflow systems: a statistical approach
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Conceptual modeling of flexible temporal workflows
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
On the complexity of temporal controllabilities for workflow schemata
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A knowledge-based formalization of UBL processes using hybrid programs
Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies
Incremental service level agreements violation handling with time impact analysis
Journal of Systems and Software
Using motivation and choreography to model distributed workflow
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
Hi-index | 0.00 |
In a workflow system, autonomous agents perform various activities cooperatively to complete a common task. Successful completion of the task often depends on correct synchronization and scheduling of agents' activities. It would greatly enhance the capabilities of current workflow systems if quantitative temporal constraints on the duration of activities and their synchronization requirements can be specified and reasoned about. This paper investigates such requirements and related reasoning algorithms. In particular, the paper studies the consistency, prediction and enactment services in a workflow system, and provides corresponding algorithms. The consistency service is to ensure that the specification of the temporal constraints is possible to satisfy; the prediction service is to foretell the time frame for the involved activities; and the enactment service is to schedule the activities so that, as long as each agent starts and finishes its task within the specified time period, the overall constraints will always be satisfied. For the enactment service, the paper identifies two practically interesting families of enactment schedules for autonomous agents, namely “free schedules” and “restricted due-time schedules”. In a free schedule, an agent may use any amount of time to finish the task as long as it is between the minimum and maximum time declared by the agent when the workflow is designed. A restricted due-time schedule is a more restrictive one in which the maximum amount of time that an agent may use is limited to a smaller number than the declared maximum. The paper presents efficient algorithms to find free and restricted due-time schedules. The paper also provides algorithms for the above services when multiple time granularities are involved in the temporal constraint specification.