Specification and scheduling of workflows under resource allocation constraints

Karagöz Şenkul, Pınar
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


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 ...
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...
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...
Deriving User Requirements from Business Process Models for Automation: A Case Study
Aysolmaz, Banu; Demirrs, Onur (2014-08-25)
The knowledge captured in business process models is essential to identify user requirements of the process aware information system to execute the processes. Frequently, relations between the models and requirements are either not established or only partially available. This results in increased effort, broken traceability, completeness and consistency problems for user requirements. We proposed a unified business process modeling method, UPROM, to analyze and develop models for business processes and use...
Citation Formats
P. Karagöz Şenkul, “Specification and scheduling of workflows under resource allocation constraints,” Ph.D. - Doctoral Program, Middle East Technical University, 2003.