Skip to main content
Top

2015 | OriginalPaper | Chapter

7. Transformation of Conceptual Models to Executable High-Level Architecture Federation Models

Authors : Gürkan Özhan, Halit Oguztüzün

Published in: Concepts and Methodologies for Modeling and Simulation

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Appendix
Available only for authorised users
Literature
go back to reference Adak M, Topçu O, Oguztüzün H (2010) Model-based code generation for HLA federates. Softw Pract Exp 40(2):149–175 Adak M, Topçu O, Oguztüzün H (2010) Model-based code generation for HLA federates. Softw Pract Exp 40(2):149–175
go back to reference Agrawal A, Karsai G, Neema S, Shi F, Vizhanyo A (2006) The design of a language for model transformations. Softw Syst Model 5(3):261–288CrossRef Agrawal A, Karsai G, Neema S, Shi F, Vizhanyo A (2006) The design of a language for model transformations. Softw Syst Model 5(3):261–288CrossRef
go back to reference Bakay A, Magyari E (2004) The UDM framework. Institute for Software-Integrated Systems, Vanderbilt University, Nashville Bakay A, Magyari E (2004) The UDM framework. Institute for Software-Integrated Systems, Vanderbilt University, Nashville
go back to reference Baudry B (2009) Testing model transformations: a case for test generation from input domain models, Chapter. In: Model driven engineering for distributed real-time embedded systems. Hermes, Hoboken, NJ, USA Baudry B (2009) Testing model transformations: a case for test generation from input domain models, Chapter. In: Model driven engineering for distributed real-time embedded systems. Hermes, Hoboken, NJ, USA
go back to reference Baudry B (2013) Testing model transformations: a case for test generation from input domain models. In: Babau J-P, Blay-Fornarino M, Champeau J, Robert S, Sabetta A (eds) Model-driven engineering for distributed real-time systems: MARTE modeling, model transformations and their usages. Wiley, Hoboken. doi:10.1002/9781118558096.ch3 Baudry B (2013) Testing model transformations: a case for test generation from input domain models. In: Babau J-P, Blay-Fornarino M, Champeau J, Robert S, Sabetta A (eds) Model-driven engineering for distributed real-time systems: MARTE modeling, model transformations and their usages. Wiley, Hoboken. doi:10.​1002/​9781118558096.​ch3
go back to reference Bézivin J (2009) Advances in model driven engineering. In: Jornadas de Ingeniería del Software y Bases de Datos (JISBD), San Sebastian Bézivin J (2009) Advances in model driven engineering. In: Jornadas de Ingeniería del Software y Bases de Datos (JISBD), San Sebastian
go back to reference Bocciarelli P, D’Ambrogio A, Fabiani G (2012) A model-driven approach to build HLA-based distributed simulations from SysML models. In: 2nd international conference on modeling and simulation methodologies, technologies and applications (SIMULTECH), Rome, pp 28–31 Bocciarelli P, D’Ambrogio A, Fabiani G (2012) A model-driven approach to build HLA-based distributed simulations from SysML models. In: 2nd international conference on modeling and simulation methodologies, technologies and applications (SIMULTECH), Rome, pp 28–31
go back to reference Bontemps Y, Heymans P, Schobbens PY (2005) From live sequence charts to state machines and back: a guided tour. IEEE Trans Softw Eng 31(12):999–1014CrossRef Bontemps Y, Heymans P, Schobbens PY (2005) From live sequence charts to state machines and back: a guided tour. IEEE Trans Softw Eng 31(12):999–1014CrossRef
go back to reference Cuadrado JS, Molina JG (2009) Modularization of model transformations through a phasing mechanism. Softw Syst Model (SoSyM) 8(3):325–345CrossRef Cuadrado JS, Molina JG (2009) Modularization of model transformations through a phasing mechanism. Softw Syst Model (SoSyM) 8(3):325–345CrossRef
go back to reference Damm W, Harel D (2001) LSCs: breathing life into message sequence charts. Formal Methods Syst Des 19(1):45–80CrossRefMATH Damm W, Harel D (2001) LSCs: breathing life into message sequence charts. Formal Methods Syst Des 19(1):45–80CrossRefMATH
go back to reference Elrad T, Akşit M, Kiczales G, Lieberherr K, Ossher H (2001) Discussing aspects of AOP. Commun ACM 44(10):33–38CrossRef Elrad T, Akşit M, Kiczales G, Lieberherr K, Ossher H (2001) Discussing aspects of AOP. Commun ACM 44(10):33–38CrossRef
go back to reference FM 6–30 (1991) Tactics, techniques, and procedures for observed fire. Headquarters, Department of the Army FM 6–30 (1991) Tactics, techniques, and procedures for observed fire. Headquarters, Department of the Army
go back to reference FM 6–40 (1996) Tactics, techniques, and procedures for Field Artillery Manual Cannon Gunnery. Headquarters, Department of the Army FM 6–40 (1996) Tactics, techniques, and procedures for Field Artillery Manual Cannon Gunnery. Headquarters, Department of the Army
go back to reference Garcia JJ, Tolk A (2013) Executable architectures in executable context enabling fit-for-purpose and portfolio assessment. J Def Model Simul Appl Methodol Tech (JDMS), Online First Version of Record – Jun 24 Garcia JJ, Tolk A (2013) Executable architectures in executable context enabling fit-for-purpose and portfolio assessment. J Def Model Simul Appl Methodol Tech (JDMS), Online First Version of Record – Jun 24
go back to reference ITU-T (2004) Recommendation ITU-T Z.120, message sequence chart (MSC). New York, NY, USA. ITU-T (2004) Recommendation ITU-T Z.120, message sequence chart (MSC). New York, NY, USA.
go back to reference JC3IEDM (2007) The joint command, control and consultation information exchange data model, JC3IEDM – UK – DMWG Edition 3.1a, Greding JC3IEDM (2007) The joint command, control and consultation information exchange data model, JC3IEDM – UK – DMWG Edition 3.1a, Greding
go back to reference Kewley RH, Tolk A (2009) A systems engineering process for development of federated simulations. In: Spring simulation multiconference (SpringSim), San Diego Kewley RH, Tolk A (2009) A systems engineering process for development of federated simulations. In: Spring simulation multiconference (SpringSim), San Diego
go back to reference Kiczales G, Hilsdale E, Hugunin J, Kersten M, Palm J, Griswold W (2001) Getting started with ASPECTJ. Commun ACM 44(10):59–65CrossRef Kiczales G, Hilsdale E, Hugunin J, Kersten M, Palm J, Griswold W (2001) Getting started with ASPECTJ. Commun ACM 44(10):59–65CrossRef
go back to reference Kleppe A (2006) MCC: a model transformation environment. In: 2nd European conference on model driven architecture, LNSC, pp 173–187 Kleppe A (2006) MCC: a model transformation environment. In: 2nd European conference on model driven architecture, LNSC, pp 173–187
go back to reference Ledeczi A et al (2001a) Composing domain-specific design environments. IEEE Comput 34(11):44–51CrossRef Ledeczi A et al (2001a) Composing domain-specific design environments. IEEE Comput 34(11):44–51CrossRef
go back to reference Ledeczi A et al (2001b) The generic modeling environment. In: IEEE international Workshop on Intelligent Signal Processing (WISP), Budapest Ledeczi A et al (2001b) The generic modeling environment. In: IEEE international Workshop on Intelligent Signal Processing (WISP), Budapest
go back to reference Maoz S, Harel D (2006) From multi-model scenarios to code: compiling LSCs into AspectJ. In: ACM SIGSOFT Int. symposium on foundations of software engineering, Portland, pp 219–230 Maoz S, Harel D (2006) From multi-model scenarios to code: compiling LSCs into AspectJ. In: ACM SIGSOFT Int. symposium on foundations of software engineering, Portland, pp 219–230
go back to reference Narayanan A, Karsai G (2008a) Verifying model transformation by structural correspondence, Electronic Communications of the EASST, 10:15–29 Narayanan A, Karsai G (2008a) Verifying model transformation by structural correspondence, Electronic Communications of the EASST, 10:15–29
go back to reference Narayanan A, Karsai G (2008b) Towards verifying model transformations. Electron Notes Theor Comput Sci (ENTCS) 10:191–200CrossRef Narayanan A, Karsai G (2008b) Towards verifying model transformations. Electron Notes Theor Comput Sci (ENTCS) 10:191–200CrossRef
go back to reference OMG 2006 (2006) Meta object facility (MOF) core specification. Version 2.0, Available Specification formal/2006-01-01 OMG 2006 (2006) Meta object facility (MOF) core specification. Version 2.0, Available Specification formal/2006-01-01
go back to reference OMG 2007 (2007) Unified modeling language: infrastructure. Version 2.3, Technical Report formal/2010-05-03 OMG 2007 (2007) Unified modeling language: infrastructure. Version 2.3, Technical Report formal/2010-05-03
go back to reference OMG 2011 (2011) Meta object facility (MOF) 2.0 query/view/transformation specification. Version 1.1 OMG 2011 (2011) Meta object facility (MOF) 2.0 query/view/transformation specification. Version 1.1
go back to reference Ören TI (1984) Model-based activities: a paradigm shift. In: Ören TI, Zeigler BP, Elzas MS (eds) Simulation and model-based methodologies: an integrative view, vol 10, NATO ASI Series. Springer, Berlin/Heidelberg, pp 3–40CrossRef Ören TI (1984) Model-based activities: a paradigm shift. In: Ören TI, Zeigler BP, Elzas MS (eds) Simulation and model-based methodologies: an integrative view, vol 10, NATO ASI Series. Springer, Berlin/Heidelberg, pp 3–40CrossRef
go back to reference Ören TI (2009) Modeling and simulation: a comprehensive and integrative view. In: Yilmaz L, Ören TI (eds) Agent-directed simulation and systems engineering. Wiley-VCH, Weinheim, pp 3–36 Ören TI (2009) Modeling and simulation: a comprehensive and integrative view. In: Yilmaz L, Ören TI (eds) Agent-directed simulation and systems engineering. Wiley-VCH, Weinheim, pp 3–36
go back to reference Ören TI (2002) Future of modelling and simulation: some development areas. In: Wallace J, Celano J (eds) 2002 summer computer simulation conference, San Diego, CA, USA, pp 3–8 Ören TI (2002) Future of modelling and simulation: some development areas. In: Wallace J, Celano J (eds) 2002 summer computer simulation conference, San Diego, CA, USA, pp 3–8
go back to reference Ören TI, Zeigler BP (1979) Concepts for advanced simulation methodologies. Simulation 32(3):69–82CrossRef Ören TI, Zeigler BP (1979) Concepts for advanced simulation methodologies. Simulation 32(3):69–82CrossRef
go back to reference Özhan G, Oguztüzün H (2011) Generating simulation code from federation models: a field artillery case study. In: European simulation interoperability workshop (EuroSIW), 11E-SIW-007, The Hague Özhan G, Oguztüzün H (2011) Generating simulation code from federation models: a field artillery case study. In: European simulation interoperability workshop (EuroSIW), 11E-SIW-007, The Hague
go back to reference Özhan G, Oguztüzün H (2013) Data and behavior decomposition for the model-driven development of an executable simulation model. In: Symposium on theory of modeling & simulation (TMS/DEVS 13), San Diego Özhan G, Oguztüzün H (2013) Data and behavior decomposition for the model-driven development of an executable simulation model. In: Symposium on theory of modeling & simulation (TMS/DEVS 13), San Diego
go back to reference Özhan G, Dinç AC, Oguztüzün H (2010) Model-integrated development of field artillery federation object model. In: 2nd international conference on advances in system simulation (SIMUL), Nice, pp 109–114 Özhan G, Dinç AC, Oguztüzün H (2010) Model-integrated development of field artillery federation object model. In: 2nd international conference on advances in system simulation (SIMUL), Nice, pp 109–114
go back to reference Özhan G, Oguztüzün H, Evrensel P (2008) Modeling of field artillery tasks with live sequence charts. J Def Model Simul Appl Methodol Tech (JDMS) 5(4):219–252 Özhan G, Oguztüzün H, Evrensel P (2008) Modeling of field artillery tasks with live sequence charts. J Def Model Simul Appl Methodol Tech (JDMS) 5(4):219–252
go back to reference Sendall S, Kozaczynski W (2003) Model transformation: the heart and soul of model-driven software development. IEEE Softw 20(5):42–45CrossRef Sendall S, Kozaczynski W (2003) Model transformation: the heart and soul of model-driven software development. IEEE Softw 20(5):42–45CrossRef
go back to reference Topçu O, Adak M, Oğuztüzün H (2008) A metamodel for federation architectures. ACM Trans Model Comput Simul (TOMACS) 18(3):10 Topçu O, Adak M, Oğuztüzün H (2008) A metamodel for federation architectures. ACM Trans Model Comput Simul (TOMACS) 18(3):10
go back to reference van Wijngaardeen JV, Visser E (2003) Program transformation mechanics: a classification of mechanisms for program transformation with a survey of existing transformation systems. Technical Report, Utrecht University van Wijngaardeen JV, Visser E (2003) Program transformation mechanics: a classification of mechanisms for program transformation with a survey of existing transformation systems. Technical Report, Utrecht University
Metadata
Title
Transformation of Conceptual Models to Executable High-Level Architecture Federation Models
Authors
Gürkan Özhan
Halit Oguztüzün
Copyright Year
2015
DOI
https://doi.org/10.1007/978-3-319-15096-3_7

Premium Partner