Formalizing workflows using the event calculus

Download
093050.pdf
2000
Yıldırım, Yakup
Show full item record
78
views
0
downloads
https://hdl.handle.net/11511/2737
Graduate School of Natural and Applied Sciences, Thesis

Suggestions

Formalizing the specification and execution of workflows using the event calculus
Çiçekli, Fehime Nihan (Elsevier BV, 2006-08-03)
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper proposes the event calculus as a logic-based methodology for the specification and execution of workflows. 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. The...
Formalization of workflows and correctness issues in the presence of concurrency
Arpınar, İsmailcem Budak; Doğaç, Asuman; Halıcı, Uğur; Department of Computer Engineering (1998)
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:
Formalization of core-competency processes for integration of value-add chains.
Manzer, Ayesha; Doğru, Ali Hikmet; Department of Computer Engineering (2002)
Process Models for the core-competency processes of enterprises are represented in task systems. For a virtual enterprise that is formed by an integration of the individual organizations' processes over the Internet, the preservation of some attributes is investigated. With the aid of task systems as a formalism that is borrowed from the operating systems theory, processes and attributes are modeled. The anticipated utilization is in the form of a tool that will aid the formation of virtual enterprises over...
Visualizing data with formal concept analysis
Diner, Çağrı; Tiefenbach, Andreas; Department of Mathematics (2003)
In this thesis, we wanted to stress the tendency to the geometry of data. This should be applicable in almost every branch of science, where data are of great importance, and also in every kind of industry, economy, medicine etc. Since machine's hard-disk capacities which is used for storing datas and the amount of data you can reach through internet is increasing day by day, there should be a need to turn this information into knowledge. This is one of the reasons for studying formal concept analysis. We w...
Citation Formats
Y. Yıldırım, “Formalizing workflows using the event calculus,” Middle East Technical University, 2000.
METU IIS - Integrated Information Service open@metu.edu.tr