A verification approach for dynamics of metamodel based conceptual models of the mission space

Download

index.pdf

Date

2011

Author

Eryılmaz, Utkan

Metadata

Show full item record

Item Usage Stats

236
views

103
downloads

Conceptual models were introduced in the simulation world in order to describe the problem domain in detail before any implementation is attempted. One of the recent approaches for conceptual modeling of the military mission space is the KAMA approach which provides a process description, a UML based notation, and a supporting tool for developing conceptual models. The prominence of the approach stems from availability of guidance and applications in real life case studies. Although the credibility of a conceptual model can be leveraged through use of a structured notation and tools, the verification and validation activities must be performed to arrive at more credible conceptual models. A conceptual model includes two categories of information: static and dynamic. The dynamic information describes the changes that occur over time. In this study, the dynamic characteristics of the conceptual models described in KAMA notation are explored and a verification approach based on these is proposed. The dynamical aspects of KAMA notation and example conceptual models provide the necessary information for characterization of the dynamical properties of conceptual models. Using these characteristics as a basis, an approach is formulated that consists of formal and semiformal techniques as well as supporting tools. For description of additional properties for dynamic verification, an extended form of KAMA is developed, called the KAMA-DV notation. The approach is applied on two different real-life case studies and its effectiveness is compared with earlier verification studies.

Subject Keywords

Information storage and retrieval systems.

URI

http://etd.lib.metu.edu.tr/upload/12613144/index.pdf
https://hdl.handle.net/11511/21130

Collections

Graduate School of Informatics, Thesis

Suggestions

OpenMETU
Core

Classification of remotely sensed data by using 2D local discriminant bases Tekinay, Çağrı; Çetin, Yasemin; Department of Information Systems (2009) In this thesis, 2D Local Discriminant Bases (LDB) algorithm is used to 2D search structure to classify remotely sensed data. 2D Linear Discriminant Analysis (LDA) method is converted into an M-ary classifier by combining majority voting principle and linear distance parameters. The feature extraction algorithm extracts the relevant features by removing the irrelevant ones and/or combining the ones which do not represent supplemental information on their own. The algorithm is implemented on a remotely sensed...
A Control System Architecture for Control of Non-Affine in Control, Open-Loop Unstable Underactuated Systems Marangoz, Alp; Kutay, Ali Türker (2017-07-25) In this paper, a control system architecture for control of non-affine in control, open-loop unstable underactuated system is discussed. Passivization of the unactuated (internal) system dynamics achieved through perturbation of trajectories of the actuated states, which are calculated through adaptive dynamic inversion technique, based on Tikhonov's theorem. Performance of the controller is shown through simulation of two open-loop unstable and locally uncontrollable example problems.
Towards learning affordances : detection of relevant features and characteristics for reachability Eren, Selda; Şahin, Erol; Department of Information Systems (2006) In this thesis, we reviewed the affordance concept for autonomous robot control and proposed that invariant features of objects that support a specific affordance can be learned. We used a physics-based robot simulator to study the reachability affordance on the simulated KURT3D robot model. We proposed that, through training, the values of each feature can be split into strips, which can then be used to detect the relevant features and their characteristics. Our analysis showed that it is possible to achie...
A method for decentralized business process modeling Türetken, Oktay; Demirörs, Onur; Department of Information Systems (2007) This thesis study proposes a method for organizations to perform business process modeling in a decentralized and concurrent manner. The Plural method is based on the idea that organizations’ processes can be modeled by individuals actually performing the processes. Instead of having a central and devoted group of people to understand, analyze, model and improve processes, individuals are held responsible to model and improve their own processes concurrently. These individual models are then integrated to f...
A metrics-based approach to the testing process and testability of object-oriented software systems Yurga, Tolga; Doğru, Ali Hikmet; Department of Information Systems (2009) This dissertation investigates the factors that affect testability and testing cost of object- oriented software systems. Developing a software program which eases the testing process by increasing testability is crucial. Also, to assess whether or not the testing effort and cost consumed or planned is adequate or not is another critical matter this dissertation aims to answer by composing a new way to evaluate the links between software design parameters and testing effort via source-based metrics. An auto...

Citation Formats

U. Eryılmaz, “A verification approach for dynamics of metamodel based conceptual models of the mission space,” Ph.D. - Doctoral Program, Middle East Technical University, 2011.