Formalization of workflows and correctness issues in the presence of concurrency

Arpinar, IB
Halıcı, Uğur
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:


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...
Verification and transformation of complex and uncertain conceptual schemas
Yazıcı, Adnan (World Scientific Pub Co Pte Lt, 1997-12-01)
In database environment it is necessary to represent complex and uncertain information at conceptual level and then transform the conceptual schema into the logical one for ultimate implementation. It is also important to verify the conceptual schema with respect to the constraints imposed on the schema definition. In this paper we primarily focus on the verification and transformation of the conceptual schema For the purpose of verification of the conceptual schema represented by the ExIFO data model (the ...
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: