Realizing the specifiation and execution of workflows through the event calculus

Yılmaz, Hüseyin
Workflow management promises a solution to an age-old problem: controlling,monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. In the light of this support, many researchers developed different approaches to model new systems with different capabilities to solve this age-old problem. One of the approaches is using logicbased methodology for the specification and execution of workflows. Here, the event calculus, a logic programming formalism for representing events and their effects especially in database applications, is used for this approach. It is shown that the control flow graph of a workflow specification can be expressed as a set of logical formulas and the event calculus can be used to specify the role of a workflow manager through a set of rules for the execution dependencies of activities. Constructed workflow formalization through Event Calculus is realized by using recent technologies, and the resulting product is named as EventFlow,including some administrative interfaces to manage system and workflow engine. The thesis describes the architecture and implementation details of EventFlow, an editor developed for graphical representation of control flow graph, and technologies used in the implementation. And an example application is built to show the usability and execution of the implemented system.


A method for product defectiveness prediction by using process enactment data in a small software organization
Sivrioğlu, Damla; Demirörs, Onur; Tarhan, Ayça; Department of Information Systems (2012)
As a part of the quality management, product defectiveness prediction is vital for small software organizations as for instutional ones. Although for defect prediction there have been conducted a lot of studies, process enactment data cannot be used because of the difficulty of collection. Additionally, there is no proposed approach known in general for the analysis of process enactment data in software engineering. In this study, we developed a method to show the applicability of process enactment data for...
Managing business lifecycle using ebIOP
Tambag, Y; Coşar, Ahmet (Wiley, 2003-11-10)
In this paper, we describe how ebIOP (an ebXML compliant B2B interoperability platform) manages the business lifecycle by providing an example scenario. ebIOP provides a common storage for ebIOP components (ebXML applications). ebIOP defines an ebIOP component to be a software implementation of one or more ebXML specifications which is a solution of an e-commerce pattern (description of an e-commerce problem). ebIOP contains a server that listens to a port over the TCP/IP protocol for client requests and pr...
An automated tool for quality manual generation from business process models
Aydın, Elif; Demirörs, Onur; Department of Information Systems (2010)
The majority of organizations make their business processes explicit to improve them. Defining business processes manually and modeling them are two alternatives utilized for this purpose. Meanwhile, organizations have quality management systems which are frequently shaped by frameworks. The most commonly used process improvement frameworks in the IT sector are ITIL, Cobit, CMMI and ISO 9001. These frameworks indicate the necessity of process documentation and ISO 9001 addresses the name “Quality Manual” fo...
Merging multi-view feature models
Atılgan Aydın, Elçin; Oğuztüzün, Mehmet Halit S.; Doğru, Ali Hikmet; Department of Computer Engineering (2011)
Feature models are used for variability management in software product lines. Instead of developing a single feature model, merging small models can be an effective solution to obtain a unified view. Since each stakeholder views the product family from a different perspective, conflicts may occur during merging. In this research, merging of feature models arising from different viewpoints is considered. A normative procedure is proposed to merge feature models by applying local rules. This procedure can mer...
Management tool support for software aquisition and information systems outsourcing projects for Turkish land forces command
Pınar, Adem; Bilgen, Semih; Department of Information Systems (2004)
This thesis reviews the software acquisition models and management tools used for managing, tracking and planning the acquisition projects all around the world. Then the requirements of Turkish Land Forces Command (TLFC) for a project management tool are considered. Features of a project management tool that is suitable for TLFC are determined through the ideas of TLFC personnel of IS department. After evaluation of selected tools through the requirements of TLFC the best one is presented. Then an interface...
Citation Formats
H. Yılmaz, “Realizing the specifiation and execution of workflows through the event calculus,” M.S. - Master of Science, Middle East Technical University, 2006.