Loading...
Please wait, while we are loading the content...
Similar Documents
A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints (2002)
| Content Provider | CiteSeerX |
|---|---|
| Author | Senkul, Pinar Kifer, Michael Toroslu, Ismail H. |
| Description | A workflow consists of a collection of coordinated tasks designed to carry out a welldefined 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. In VLDB |
| File Format | |
| Language | English |
| Publisher Date | 2002-01-01 |
| Access Restriction | Open |
| Subject Keyword | Workflow Modeling Important Class Welldefined Complex Process Resource Allocation Constraint Workflow Execution Workflow Scheduling Resource Allocation Coordinated Task Concurrent Constraint Transaction Logic New Logical Formalism Trip Planning Little Attention Catalog Ordering Workflow Task Concurrent Transaction Logic Constraint Logic Programming Temporal Constraint Business Logic Logical Framework Business Process Correct Execution Sequence Correct Ordering |
| Content Type | Text |
| Resource Type | Article |
