POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Improved CLP scheduling with task intervals
Proceedings of the eleventh international conference on Logic programming
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Scheduling computer and manufacturing processes
Scheduling computer and manufacturing processes
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ADEPT: an agent-based approach to business process management
ACM SIGMOD Record
CPlan: a constraint programming approach to planning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Scheduling Algorithms
Advanced Transaction Models in Workflow Contexts
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Synthesizing Distributed Constrained Events from Transactional Workflow
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Formalizing (and Reasoning About) the Specifications of Workflows
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
Enterprise Workflow Resource Management
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
Policies in a Resource Manager of Work ow Systems: Modeling, Enforcement and Management
ICDE '99 Proceedings of the 15th International Conference on Data Engineering
Oz Scheduler: A Workbench for Scheduling Problems
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
Proceedings of the 13th international conference on World Wide Web
Mining and Reasoning on Workflows
IEEE Transactions on Knowledge and Data Engineering
An architecture for workflow scheduling under resource allocation constraints
Information Systems
Data management research at the Middle East Technical University
ACM SIGMOD Record
Rule-based workflow management for bioinformatics
The VLDB Journal — The International Journal on Very Large Data Bases
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
YAWL: yet another workflow language
Information Systems
A Workflow-Based Web Service Composition System
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Deadline-based escalation in process-aware information systems
Decision Support Systems
Reasoning about the behavior of Semantic Web services with concurrent transaction logic
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Adaptive workflow scheduling under resource allocation constraints and network dynamics
Proceedings of the VLDB Endowment
Semantic Web Service Choreography: Contracting and Enactment
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Composing semantic Web services under constraints
Expert Systems with Applications: An International Journal
A prolog-based language for workflow programming
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
WSMO choreography: from abstract state machines to concurrent transaction logic
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
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
Computing degree of parallelism for BPMN processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Nested dynamic condition response graphs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Hi-index | 0.00 |
A workflow consists of a collection of coordinated tasks designed to carry out a well-defined complex process, such as catalog ordering, trip planning, or a business process in an enterprise. Scheduling of workflows is a problem of finding a correct execution sequence for the workflow tasks, i.e., execution that obeys the constraints that embody the business logic of the workflow. Research on workflow scheduling has largely concentrated on temporal constraints, which specify correct ordering of tasks. Another important class of constraints -- those that arise from resource allocation -- has received relatively little attention in workflow modeling. Since typically resources are not limitless and cannot be shared, scheduling of a workflow execution involves decisions as to which resources to use and when. In this work, we present a framework for workflows whose correctness is given by a set of resource allocation constraints and develop techniques for scheduling such systems. Our framework integrates Concurrent Transaction Logic (CTR) with constraint logic programming (CLP), yielding a new logical formalism, which we call Concurrent Constraint Transaction Logic, or CCTR.