Transforming mission space models to executable simulation models

Download
2011
Özhan, Gürkan
This thesis presents a two step automatic transformation of Field Artillery Mission Space Conceptual Models (ACMs) into High Level Architecture (HLA) Federation Architecture Models (FAMs) into executable distributed simulation code. The approach followed in the course of this thesis adheres to the Model-Driven Engineering (MDE) philosophy. Both ACMs and FAMs are formally defined conforming to their metamodels, ACMM and FAMM, respectively. ACMM is comprised of a behavioral component, based on Live Sequence Charts (LSCs), and a data component based on UML class diagrams. Using ACMM, the Adjustment Followed by Fire For Effect (AdjFFE) mission, which serves as the source model for the model transformation case study, is constructed. The ACM to FAM transformation, which is defined over metamodel-level graph patterns, is carried out with the Graph Rewriting and Transformation (GReAT) tool. Code generation from a FAM is accomplished by employing a model interpreter that produces Java/AspectJ code. The resulting code can then be executed on an HLA Run-Time Infrastructure (RTI). Bringing a fully fledged transformation approach to conceptual modeling is a distinguishing feature of this thesis. This thesis also aims to bring the chart notations to the attention of the mission space modeling community regarding the description of military tasks, particularly their communication aspect. With the experience gained, a set of guidelines for a domainindependent transformer from any metamodel-based conceptual model to FAM is offered.

Suggestions

Data and Behavior Decomposition for the Model-Driven Development of an Executable Simulation Model
Ozhan, Gurkan; Oğuztüzün, Mehmet Halit S. (2013-04-10)
In a previous work, we have presented a two step automatic transformation of Field Artillery Conceptual Model (ACM) into High Level Architecture (HLA) Federation Architecture Model (FAM) into executable distributed simulation code. The approach followed adheres to the Model-Driven Engineering (MDE) philosophy. ACM is comprised of a data component, based on UML class diagrams, and a behavioral component, based on Live Sequence Chart (LSC). The ACM modeling and its transformation to FAM for the common Adjustm...
Supporting dynamic simulations with Simulation Modeling Architecture (SiMA): a Discrete Event System Specification-based modeling and simulation framework
Deniz, Fatih; Alpdemir, M. Nedim; Kara, Ahmet; Oğuztüzün, Mehmet Halit S. (2012-06-01)
In this paper, we present our approach to introduce dynamism support to simulation environments, which adopts a Discrete Event System Specification (DEVS)-based modeling and simulation approach and builds upon previous work on Simulation Modeling Architecture (SiMA), a DEVS-based simulation framework developed at TUBITAK UEKAE. In the relevant literature there are already proposed solutions to the dynamism support problem. One particular contribution offered in this study over previous approaches is the sys...
Transforming conceptual models of the mission space into simulation space models
Küçükyavuz, Fatih; Demirörs, Onur; Karagöz, Nuri Alpay; Department of Information Systems (2011)
Helping to abstract a valid model from real system, conceptual modeling is an essential phase in simulation development lifecycle. With the development of the KAMA framework, a new methodology was presented to develop mission space conceptual model for simulation systems. It provides metamodel elements represented by graphical diagrams to develop conceptual models of mission space. BOM (Base Object Model), developed by SISO (Simulation Interoperability Standards Organization), is another conceptual modeling...
Modeling Distributed Real-Time Systems in TIOA and UPPAAL
Schmidt, Klaus Verner; Schmidt, Şenan Ece (Association for Computing Machinery (ACM), 2016-11-01)
The mission- and life-critical properties of distributed real-time systems require concurrent modeling, analysis, and formal verification in the design stage. The timed input/output automata (TIOA) framework and the UPPAAL software package are two widely used modeling and verification tools for this purpose. To this end, we develop the algorithm TUConvert for converting distributed TIOA models to UPPAAL behavioral models and formally prove its correctness. We demonstrate the applicability of our algorithm b...
Transformation of conceptual models to executable High Level Architecture federation models
Özhan, Gürkan; Oğuztüzün, Mehmet Halit S. (Springer, 2015-01-01)
In this chapter, we present a formal, declarative, and visual model transformation methodology to map a domain conceptual model (CM) to a distributed simulation architecture model (DSAM). The approach adheres to the principles of model-driven engineering (MDE). A two-phased automatic transformation strategy is delineated to translate a field artillery conceptual model (ACM) into a high-level architecture (HLA) federation architecture model (FAM). The produced model is then compiled by the code generator to ...
Citation Formats
G. Özhan, “Transforming mission space models to executable simulation models,” Ph.D. - Doctoral Program, Middle East Technical University, 2011.