Skip to main content
SpringerLink
Log in
Book cover

International Conference on Simulation Tools and Techniques

SIMUtools 2019: Simulation Tools and Techniques pp 25–42Cite as

Formalizing Model Transformations Within MDE

  • Conference paper
  • First Online:

Abstract

A recent approach to tackle the ever increasing complexity of military simulation system is model-driven engineering (MDE). However, it is used mostly to produce simulation software tools, and seldom can perform formal analysis on models, resulting in a low degree of simulation model engineering. Consequently, this raises many issues such as inefficient development as well as poor qualities of product, and falls short of non-functional requirements like extensibility, maintainability, and reuse. In general, many of the success of MDE are dependent on the descriptive power of modeling languages and how conceptual models are transformed toward final implementations. Hence, this paper presents contributions in two main aspects of MDE: customizing domain specific language by metamodeling and engineering model continuity by formalizing model transformations. A military simulation application called group fire control channel system is used as a motivating example to illustrate the whole process, transforming conceptual models into other formalisms that have precise definitions of semantics until they reach final executable simulation models.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Bryant, B.R., Gray, J., Mernik, M., Clarke, P.J., France, R.B., Karsal, G.: Challenges and directions in formalizing the semantics of modeling languages. ComSIS 8(2), 225–253 (2011). Special Issue

    Article  Google Scholar 

  2. Abdulah, M.S.: A UML profile for conceptual modeling of knowledge-based systems. Ph.D. thesis. University of York, York, England (2006)

    Google Scholar 

  3. Langer, P., Wieland, K., Wimmer, M., Cabot, J.: From UML profiles to EMF profiles and beyond. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol. 6705, pp. 52–67. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21952-8_6

    Chapter  Google Scholar 

  4. Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., et al.: The generic modeling environment. In: IEEE International Workshop on Intelligent Signal Processing, Budapest, Hungary, pp. 1–6 (2001)

    Google Scholar 

  5. Getir, S., Challenger, M., Kardas, G.: The formal semantics of a domain-specific modeling language for semantic web enabled multi-agent systems. Int. J. Coop. Inf. Syst. 23(3), 1–53 (2014)

    Article  Google Scholar 

  6. Meyers, B.: A multi-paradigm modeling approach to design and evolution of domain-specific modeling languages. Ph.D. thesis. University of Antwerpen, Antwerpen, Belgium (2016)

    Google Scholar 

  7. Schmidt, D.C.: Guest editor’s introduction: model-driven engineering. IEEE Comput. 39(2), 25–31 (2006)

    Article  Google Scholar 

  8. Sarjoughian, H.S.: Model composability. In: 38th WSC Proceedings, Monterey, CA, pp. 149–158 (2006)

    Google Scholar 

  9. Hardebolle, C., Boulanger, F.: Exploring multi-paradigm modeling techniques. Simulation 85(11–12), 688–708 (2009)

    Article  Google Scholar 

  10. Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. Simulation 80(9), 433–450 (2004)

    Article  Google Scholar 

  11. Lei, Y.L., Li, Q., Yang, F., Wang, W.P., Zhu, Y.F.: A composable modeling framework for weapon systems effectiveness simulation. Syst. Eng.-Theory Pract. 33(11), 2954–2966 (2013)

    Google Scholar 

  12. Çetinkaya, D.: Model driven development of simulation models: defining and transforming conceptual models into simulation models by using metamodels and model transformations. M.S. thesis. Middle East Technical University, geboren te Konya, Turkije (2013)

    Google Scholar 

  13. Hu, X., Zeigler, B.P.: Model continuity in the design of dynamic distributed real-time systems. IEEE Trans. Syst. Man Cybern. - Part A: Syst. Hum. 35(6), 867–878 (2005)

    Article  Google Scholar 

  14. Balci, O.: A life cycle for modeling and simulation. Simulation 8(7), 870–883 (2012)

    Article  Google Scholar 

  15. Zhu, Z., Lei, Y.L., Zhu, N., Zhu, Y.F.: Composable modeling frameworks for networked air & missile defense systems. J. Natl. Univ. Defense Technol. 36(5), 186–190 (2014)

    Google Scholar 

  16. Strembeck, M., Zdun, U.: An approach for the systematic development of domain-specific languages. Softw. Pract. Exper. 39(15), 1253–1292 (2010)

    Article  Google Scholar 

  17. Ehrig, H., Ermel, C.: Semantical correctness and completeness of model transformations using graph and rule transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 194–210. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87405-8_14

    Chapter  MATH  Google Scholar 

  18. Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electron. Notes Theoret. Comput. Sci. 152(1–2), 125–142 (2005)

    Google Scholar 

  19. Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture™: Practice and Promise. Addison-Wesley, Boston (2003)

    Google Scholar 

  20. Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems, 2nd edn. Academic Press, San Diego (2000)

    Google Scholar 

  21. Szabo, C., Teo, Y.M.: On syntactic composability and model reuse. In: 1st Asia International Proceedings on Modeling and Simulation, Phuket, Thailand, pp. 230–237 (2007)

    Google Scholar 

  22. Estanol, M., Sancho, M.R., Teniente, E.: Ensuring the semantic correctness of a BAUML artifact-centric BPM. Inf. Softw. Technol. 93, 147–162 (2018)

    Article  Google Scholar 

  23. Atkinson, C., Kuhne, T.: Model-driven development: a metamodeling foundtion. IEEE Softw. 20(5), 36–41 (2003)

    Article  Google Scholar 

  24. Nordstrom, G., Sztipanovits, J., Karsai, G., Ledeczi, A.: Metamodeling - rapid design and evolution of domain-specific modeling environments. In: IEEE Proceedings on Engineering of Computer-Based Systems, Nashville, TN, pp. 68–74 (1999)

    Google Scholar 

  25. Zhu, Z., Lei, Y.L., Zhu, Y.F., Sarjoughian, H.S.: Cognitive behaviors modeling using UML profile. IEEE Access 5, 21694–21708 (2017)

    Article  Google Scholar 

  26. De, L.J., Guerra, E., Cuadrado, J.S.: Model-driven engineering with domain-specific meta-modeling languages. Softw. Syst. Model 14(1), 429–459 (2015)

    Article  Google Scholar 

  27. Seo, K.M., Choi, C., Kim, T.G., Kim, J.H.: DEVS-based combat modeling for engagement-level simulation. Simulation 90(7), 759–781 (2014)

    Article  Google Scholar 

  28. Selic, B.: A systematic approach to domain-specific language design using UML. In: 10th IEEE International Proceedings on Object and Component-Oriented Real-Time Distributed Computing, Santorini Island, Greece, pp. 2–9 (2007)

    Google Scholar 

  29. Warmer, J., Kleppe, A.: The Object Constraint Language-Precise Modeling with UML. Addison-Wesley, Boston (1999)

    Google Scholar 

  30. Álvarez, J.M., Evans, A., Sammut, P.: Mapping between levels in the metamodel architecture. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 34–46. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45441-1_4

    Chapter  Google Scholar 

  31. Jouault, F., Allilaire, F., Bezivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1–2), 31–39 (2008)

    Article  MathSciNet  Google Scholar 

  32. Benouda, H., Essbai, R., Azizi, M., Moussaoui, M.: Modeling and code generation of Android applications using acceleo. Int. J. Softw. Eng. Appl. 10(3), 83–94 (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National University of Defense Technology, Changsha, 410073, China

    Zhi Zhu, Yongling Lei, Qun Li & Yifan Zhu

Authors
  1. Zhi Zhu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yongling Lei
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Qun Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yifan Zhu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhi Zhu .

Editor information

Editors and Affiliations

  1. Department of Electrical, Computer, Software, and Systems Engineering, Embry-Riddle Aeronautical University, Daytona Beach, FL, USA

    Houbing Song

  2. School of Astronautics Aeronautics, UESTC, Chengdu, China

    Dingde Jiang

Rights and permissions

Reprints and permissions

Copyright information

© 2019 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zhu, Z., Lei, Y., Li, Q., Zhu, Y. (2019). Formalizing Model Transformations Within MDE. In: Song, H., Jiang, D. (eds) Simulation Tools and Techniques. SIMUtools 2019. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 295. Springer, Cham. https://doi.org/10.1007/978-3-030-32216-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-32216-8_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-32215-1

  • Online ISBN: 978-3-030-32216-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation