Architecture specification of service-oriented systems through semantic web technologies

Download
2007
Biçer, Veli
This thesis presents a semantic-based modeling approach for describing Service-Oriented Architectures (SOA). Ontologies are utilized as a major representation mechanism for describing various elements available in the architecture. The methodology proposes an architecture specification mechanism to constuct a unified ontology that enables transition from design concerns to the modeling elements. A multi-level modeling is also achieved by employing Model-Driven Engineering (MDE) techniques to describe various models at different stages of the software architecture. This aims to organize service-oriented models within a number of architecture viewpoints in order to provide an architectural perspective for SOA. The use of ontologies for model specification also allows us to make use of ontology mapping to specify the transformation between different models. Additionally, we present a case study to demonstrate the proposed methodology on a real-world healthcare scenario.

Suggestions

Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems
Schmidt, Klaus Verner (Institute of Electrical and Electronics Engineers (IEEE), 2013-09-01)
In this paper, we study the diagnosability verification for modular discrete-event systems (DESs), i.e., DESs that are composed of multiple components. We focus on a particular modular architecture, where each fault in the system must be uniquely identified by the modular component where it occurs and solely based on event observations of that component. Hence, all diagnostic computations for faults to be detected in this architecture can be performed locally on the respective modular component, and the obt...
Genetic algorithm for personnel assignment problem with multiple objectives
Arslanoğlu, Yılmaz; Toroslu, İsmail Hakkı; Department of Computer Engineering (2006)
This thesis introduces a multi-objective variation of the personnel assignment problem, by including additional hierarchical and team constraints, which put restrictions on possible matchings of the bipartite graph. Besides maximization of summation of weights that are assigned to the edges of the graph, these additional constraints are also treated as objectives which are subject to minimization. In this work, different genetic algorithm approaches to multi-objective optimization are considered to solve th...
Vision-assisted object tracking
Özertem, Kemal Arda; Alatan, Abdullah Aydın; Department of Electrical and Electronics Engineering (2012)
In this thesis, a video tracking method is proposed that is based on both computer vision and estimation theory. For this purpose, the overall study is partitioned into four related subproblems. The first part is moving object detection; for moving object detection, two different background modeling methods are developed. The second part is feature extraction and estimation of optical flow between video frames. As the feature extraction method, a well-known corner detector algorithm is employed and this ext...
New montgomery modular multıplier architecture
Çiftçibaşı, Mehmet Emre; Yücel, Melek D; Department of Electrical and Electronics Engineering (2005)
This thesis is the real time implementation of the new, unified field, dualا radix Montgomery modular multiplier architecture presented by Savaş et al, for performance comparison with standard Montgomery multiplication algorithms. The unified field architecture operates in both GF(p) and GF(2n). The dual radix capability enables processing of two bits of the multiplier in every clock cycle in GF(2n) mode, while one bit of the multiplier is processed in GF(p) mode. The new architecture is implemented in a Xi...
Analysis of extended feature models with constraint programming
Karataş, Ahmet Serkan; Oğuztüzün, Mehmet Halit S.; Department of Computer Engineering (2010)
In this dissertation we lay the groundwork of automated analysis of extended feature models with constraint programming. Among different proposals, feature modeling has proven to be very effective for modeling and managing variability in Software Product Lines. However, industrial experiences showed that feature models often grow too large with hundreds of features and complex cross-tree relationships, which necessitates automated analysis support. To address this issue we present a mapping from extended fe...
Citation Formats
V. Biçer, “Architecture specification of service-oriented systems through semantic web technologies,” M.S. - Master of Science, Middle East Technical University, 2007.