Formalization of workflows and correctness issues in the presence of concurrency

1999-04-01
Arpinar, IB
Halıcı, Uğur
ARPINAR, SENA
DOGAC, ASUMAN
Show full item record
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
171
views
243
downloads
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:
Workflow management system, Workflow, Activity, Basic constraint, Inter-activity constraint, Time intervals, Correctness, Concurrency control
https://hdl.handle.net/11511/38640
DISTRIBUTED AND PARALLEL DATABASES
Department of Electrical and Electronics Engineering, Article

Suggestions

Hybrid wavelet-neural network models for time series data
Kılıç, Deniz Kenan; Uğur, Ömür; Department of Financial Mathematics (2021-3-3)
The thesis aims to combine wavelet theory with nonlinear models, particularly neural networks, to find an appropriate time series model structure. Data like financial time series are nonstationary, noisy, and chaotic. Therefore using wavelet analysis helps better modeling in the sense of both frequency and time. S&P500 (∧GSPC) and NASDAQ (∧ IXIC) data are divided into several components by using multiresolution analysis (MRA). Subsequently, each part is modeled by using a suitable neural network structure. ...
Hierarchical and decentralized multitasking control of discrete event systems
Schmidt, Klaus Verner; Cury, José E. R. (2007-12-01)
In this paper, a hierarchical and decentralized approach for composite discrete-event systems (DES) that have to fulfill multiple tasks is elaborated. Colored marking generators that can distinguish classes of tasks are used as the system model, and a colored abstraction procedure as well as sufficient conditions for nonblocking and hierarchically consistent control are developed. It is shown that the computational complexity for supervisor computation is reduced. A flexible manufacturing system example dem...
Component Oriented design based on Axiomatic Design Theory and COSEML
toğay, Cengiz; Doğru, Ali Hikmet (2006-11-03)
A Component Oriented software development method is proposed that uses collaboration diagrams for the definitions of dependencies among the Functional Requirements and Design Parameters according to Axiomatic Design Theory. COSEML is a component oriented graphical modeling language utilizing a single hierarchy diagram to construct systems. Axiomatic design theory provides a systematic approach to application design where developers can see all the determined dependencies among functional requirements and so...
Expectation propagation for state estimation with discrete-valued hidden random variables
Sarıtaş, Elif; Orguner, Umut; Department of Electrical and Electronics Engineering (2023-2-21)
In this thesis, the expectation propagation (EP) approach of Minka is considered for the estimation problems in dynamical systems with discrete hidden random variables where optimal posteriors are usually intractable. The concept of context adjustment is introduced to avoid/alleviate indefinite covariance problems encountered in standard EP implementations in a systematic way. Additionally, the moment projection (Mprojection) problem involving pseudo-Gaussian likelihoods as factors is solved to be used in t...
Computational fluid dynamics analysis of store seperation
Demir, H. Özgür; Alemdaroğlu, Hüseyin Nafiz; Department of Aerospace Engineering (2004)
In this thesis, store separation from two different configurations are solved using computational methods. Two different commercially available CFD codes; CFD-FASTRAN, an implicit Euler solver, and an unsteady panel method solver USAERO, coupled with integral boundary layer solution procedure are used for the present computations. The computational trajectory results are validated against the available experimental data of a generic wing-pylon-store configuration at Mach 0.95. Major trends of the separation...
Citation Formats
I. Arpinar, U. Halıcı, S. ARPINAR, and A. DOGAC, “Formalization of workflows and correctness issues in the presence of concurrency,” DISTRIBUTED AND PARALLEL DATABASES, pp. 199–248, 1999, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/38640.
METU IIS - Integrated Information Service open@metu.edu.tr