Dynamic analysis for complex event processing

Özcan, Muhammet Oğuz
Analysis facilities are developed in the course of this thesis for a domain-specific real-time and rule-based language along with a supporting tool. Such analysis facilities are required due to the need for investigating the functional correctness and stringent timing properties expected to take place in the software developed through this language. An early version of this language was developed during a Ph.D. study for the domain of fault management in mission critical systems. Five program analysis facilities are proposed and tested with randomly generated numbers of events and rules. Also, discussions about static and dynamic analysis in the event processing domain are presented along with a comparison of related existing tools. The comparisons of existing tools include the two different implementations of the similar design for interpreters for the language. The different implementations involved the languages C++ and Python.


A usability evaluation framework and a case study on a supplier portal system
Babayiğit, Elif Fatma; Şen, Tayyar; Department of Industrial Engineering (2003)
The goal of this thesis is to provide a usability evaluation framework in the area of e-procurement technologies and a case study on this base. A survey of the concepts of human computer interaction, usability and usability evaluation techniques is carried out. Additionally current e-procurement technologies are explored and specifically a Company̕s Supplier Portal System which was employed in year 2003, as an e-procurement technology for the procurement of direct goods, is taken into consideration. Pointin...
Analysis and design of a compliant variable stroke mechanism
TANIK, ENGİN; Söylemez, Eres (Elsevier BV, 2010-10-01)
In this paper, analysis and design of an underactuated compliant variable stroke mechanism are presented by employing its pseudo-rigid-body model (PRBM). During the design two cases are considered: prescribed output loading and constant input torque. It is shown that this mechanism is suitable where variable stroke is required corresponding to variable output loading. It is also observed that this mechanism is capable of providing nearly constant force over a wide range of input. The analysis and design app...
Variability Extension to SparkS, a Domain Specific Scripting Language for Electronic Test Equipment
Nikoo, Mahdi Saeedi; Oğuztüzün, Mehmet Halit S. (2019-09-01)
© 2019 IEEE.Initial version of SparkS, a domain specific scripting language for calibration automation of electronic test equipment, was designed as a single-task language. As we decided to make the language more powerful over time to make it support variations in equipment models, it also became clear that we need to give language a support for variability. In this work we present our approach for handling variability in SparkS. We also show our design and development of the methodology.
Metamodeling of Reference Software Architecture and Automatic Code Generation
Turhan, Nafiye Kubra; Oğuztüzün, Mehmet Halit S. (2016-12-02)
Architectures of all application software that are developed by Sea Defense Systems Software Team in ASELSAN are created based on a predefined reference software architecture. In order to facilitate the process of transition from the software architectural design, which is created in conformance with the reference software architecture, to implementation a model driven software development approach is put forth. In this approach, based on a metamodel for the predefined reference software architecture, a dom...
A Framework for qualitative assessment of domain specific languages
Kahraman, Gökhan; Bilgen, Semih; Department of Electrical and Electronics Engineering (2013)
Domain Specific Languages (DSLs) have been proposed in the literature with the aim of providing a wide range of advantages such as better productivity and quality for stakeholders involved with many aspects of software development. The objective of this study consists of supporting the improvement of DSL maturity by providing an A Framework for Qualitative Assessment of DSLs(FQAD). A formal approach is proposed for the assessment of DSLs. Metrics for DSL success measurement and the parameters that affect th...
Citation Formats
M. O. Özcan, “Dynamic analysis for complex event processing,” M.S. - Master of Science, Middle East Technical University, 2015.