Transformation of conceptual models to executable High Level Architecture federation models

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 generate source code that can be executed on a distributed simulation runtime infrastructure. The presented mechanism is generic because the proposed abstract CM template can be extended and specialized into a domain-specific CM and transformed by adjusting the domain-specific components of the transformation rules. Generalizing from the ACM-to-FAM transformation case study, we propose a set of key design principles and an implementation framework as a step forward in achieving generic conceptual model (CM) transformations for publish/subscribe (P/S)-based distributed simulation infrastructures.


Tool support for transformation from an OWL ontology to an HLA Object Model
ÖZDİKİŞ, Özer; DURAK, Umut; Oğuztüzün, Mehmet Halit S. (2010-03-15)
Designing simulation architectures based on domain models is a promising approach. Tools to support transformation of formalized domain models to design models are essential. Ontology languages offer a way of formally specifying the domain knowledge. We adopt a user-guided approach to model transformation, where the source is an OWL ontology and the target is an HLA Object Model, in particular, a federation object model (FOM). This paper presents a flexible transformation tool that enables the user to defin...
A fuzzy database and knowledge base environment for intelligent retrieval
Koyuncu, M; Yazıcı, Adnan (2001-07-28)
We discuss an environment that permits flexible modeling and fuzzy querying of complex data and knowledge including uncertainty. With such an environment, one can have intelligent retrieval of information from knowledge- intensive applications. In this study, we specifically describe the details (the model, inference mechanism, etc,) of the fuzzy knowledge base system (coupled with a fuzzy object-oriented database system, namely FOOD) of this environment.
Implementation of concurrent constraint transaction logic and its user interface
Altunyuva, Fethi; Karagöz, Pınar; Department of Computer Engineering (2006)
This thesis implements a logical formalism framework called Concurrent Constraint Transaction Logic (abbr.,CCTR) which was defined for modeling and scheduling of workflows under resource allocation and cost constraints and develops an extensible and flexible graphical user interface for the framework. CCTR extends Concurrent Transaction Logic and integrates with Constraint Logic Programming to find the correct scheduling of tasks that involves resource and cost constraints. The developed system, which integ...
Utilization of feature modeling in axiomatic design
Üçtepe, Orhan; Doğru, Ali Hikmet; Department of Computer Engineering (2008)
This thesis provides an approach to use feature modeling with a set of guidelines for requirements definition and decomposition activities of the axiomatic design methodology. A tool that supports the development of feature models and modeling of the Axiomatic Design activities is implemented to be utilized for guiding the designer. Axiomatic Design suggested four domains of information in the transformation of the problem definition to the solution, and provided mechanisms for supporting the mapping among ...
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...
Citation Formats
G. Özhan and M. H. S. Oğuztüzün, Transformation of conceptual models to executable High Level Architecture federation models. 2015, p. 173.