Specification and scheduling of workflows under resource allocation constraints

Download

index.pdf

Date

2003

Author

Karagöz Şenkul, Pınar

Metadata

Show full item record

Item Usage Stats

47
views

0
downloads

Workflow is a collection of tasks organized to accomplish some business process. It also defines the order of task invocation or conditions under which task must be invoked, task synchronization, and information flow. Before the execution of the workflow, a correct execution schema, in other words, the schedule of the workflow, must be determined. Workflow scheduling is finding an execution sequence of tasks that obeys the business logic of workflow. Research on specification and scheduling of workflows has concentrated on temporal and causality constraints, which specify existence and order dependencies among tasks. However, another set of constraints that specify resource allocation is also equally important. The resources in a workflow environment are agents such as person, machine, software, etc. that execute the task. Execution of a task has a cost and this may vary depending on the resources allocated in order to execute that task. Resource allocation constraints define restrictions on how to allocate resources, and scheduling under resource allocation constraints provide proper resource allocation to tasks. In this thesis, we present two approaches to specify and schedule workflows under resource allocation constraints as well as temporal and causality constraints. In the first approach, we present an architecture whose core and novel parts are a specifi- cation language with the ability to express resources and resource allocation constraints and a scheduler module that contains a constraint solver in order to find correct resource assignments. In the second approach, we developed a new logical formalism, called Concurrent Constraint Transaction Logic (CCTR) which integrates constraint logic programming (CLP) and Concurrent Transaction Logic, and a logic-based work- flow scheduler that is based on this new formalism. CCTR has the constructs to specify resource

Subject Keywords

Workflow, Management

URI

http://etd.lib.metu.edu.tr/upload/739193/index.pdf
https://hdl.handle.net/11511/13909

Collections

Graduate School of Natural and Applied Sciences, Thesis

Suggestions

OpenMETU
Core

Acquiring innovative software systems: Experiences from the field Demirörs, Onur; Karagoz, N. Alpay; Gencel, Cigdem (2007-08-31) Managing acquisition of software projects, containing innovative components, brings many challenges to acquirer organizations. Innovative software projects usually have unclear requirements and scope. They require stakeholders such as research institutes, software development organizations and the domain experts who work. together and need a flexible budget and time frame to be successful. As a result, the acquisition management activities such as estimation of the product size and the required development ...
Formalization of workflows and correctness issues in the presence of concurrency Arpinar, IB; Halıcı, Uğur; ARPINAR, SENA; DOGAC, ASUMAN (1999-04-01) In this paper, main components of a workflow system that are relevant to the correctness in the presence of concurrency are formalized based on set theory and graph theory. The formalization which constitutes the theoretical basis of the correctness criterion provided can be summarized as follows:
A service oriented collaborative supply chain planning process definition and execution platform Olduz, Mehmet; Doğaç, Asuman; Department of Computer Engineering (2008) Currently, there are many software applications handling planning, scheduling, material management, invoicing, workflow management within an organization. However, companies need to plan across a wider span of activities and need to collaborate with their partners to optimize the ''overall'' profitability. This requires collaborative planning within a supply chain and exchange of planning data. Collaborative Planning, Forecast and Replenishment (CPFR) is one of the most prominent initiatives on Collaborativ...
Time-based workflow mining Cantürk, Deniz; Çiçekli, Fehime Nihan; Department of Computer Engineering (2005) Contemporary workflow management systems are driven by explicit process models, i.e., a completely specified workflow design is required in order to enact a given workflow process. Creating a workflow design is a complicated time-consuming process and typically there are discrepancies between the actual workflow processes and the processes as perceived by the management. Therefore, new techniques for discovering workflow models have been required. Starting point for such techniques are so-called أworkflow l...
MULTIECHELON VS SINGLE-ECHELON INVENTORY CONTROL POLICIES FOR LOW-DEMAND ITEMS HAUSMAN, WH; ERKIP, NK (Institute for Operations Research and the Management Sciences (INFORMS), 1994-05-01) Multi-echelon inventory systems are often controlled as a network of single-echelon inventory systems for simplicity of managerial authority, organizational control, and performance monitoring. This paper explores the amount of suboptimization in such a situation, using an actual demand data set provided by other researchers. We consider low-demand, high-cost items controlled on an (S - 1, S) basis, with all warehouse stockouts met on an emergency-ordering basis. We demonstrate that the suboptimality penalt...

Citation Formats

P. Karagöz Şenkul, “Specification and scheduling of workflows under resource allocation constraints,” Ph.D. - Doctoral Program, Middle East Technical University, 2003.