Skip to main content
SpringerLink
Log in

Exploring MDE techniques for engineering simulation models

  • Published:
Wireless Networks Aims and scope Submit manuscript

Abstract

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

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

References

  1. Bryant, B. R., Gray, J., Mernik, M., Clarke, P. J., France, R. B., & Karsal, G. (2011). Challenges and directions in formalizing the semantics of modeling languages. Computer Science and Information Systems, 8(2), 225–253. https://doi.org/10.2298/CSIS110114012B.

    Article  Google Scholar 

  2. Abdulah, M. S. (2006). A UML profile for conceptual modeling of knowledge-based systems. Dissertation, University of York.

  3. Langer, P., Wieland, K., Wimmer, M., & Cabot, J. (2011). From UML profiles to EMF profiles and beyond. In Proceedings of the 49th international conference on objects, models, components, patterns, Zurich, Switzerland (pp 52–67). https://doi.org/10.1007/978-3-642-21952-8_6.

  4. Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., et al. (2001). The generic modeling environment. In Proceedings of the IEEE international workshop on intelligent signal processing (WISP), Budapest, Hungary (pp. 1–6).

  5. Getir, S., Challenger, M., & Kardas, G. (2014). The formal semantics of a domain-specific modeing language for semantic web enabled multi-agent systems. International Journal of Cooperative Information Systems, 23(3), 1–53. https://doi.org/10.1142/s0218843014500051.

    Article  Google Scholar 

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

  7. Balci, O. (2012). A life cycle for modeling and simulation. Simulation, 88(7), 870–883. https://doi.org/10.1177/0037549712438469.

    Article  Google Scholar 

  8. Schmidt, D. C. (2006). Guest editor’s introduction: Model-driven engineering. IEEE Computer, 39(2), 25–31. https://doi.org/10.1109/MC.2006.58.

    Article  Google Scholar 

  9. Sarjoughian, H. S. (2006). Model composability. In Proceedings of the 38th WSC, Monterey, CA (pp. 149–158). https://doi.org/10.1145/1218112.1218144.

  10. Feng, T. H., Lee, E. A., & Schruben, L. W. (2010). Ptera: An event-oriented model of computation for heterogeneous systems. In Proceedings of the 10th ACM international conference on embedded software, Scottsdale, AZ (pp. 219–228). https://doi.org/10.1145/1879021.1879050.

  11. Lee, E. A., & Sangiovanni-Vincentelli, A. L. (1998). A framework for comparing models of computation. IEEE Transitions on Computer-Aided Design of Integrated Circuits and Systems, 17(12), 1217–1229. https://doi.org/10.1109/43.736561.

    Article  Google Scholar 

  12. Lee, E. A., & Messerschmitt, D. G. (2009). Static scheduling of synchronous data flow programs for digital signal processing. IEEE Transactions on Computers, 36(1), 24–35. https://doi.org/10.1109/TC.1987.5009446.

    Article  Google Scholar 

  13. Hardebolle, C., & Boulanger, F. (2009). Exploring multi-paradigm modeling techniques. Simulation, 85(11–12), 688–708. https://doi.org/10.1177/0037549709105240.

    Article  Google Scholar 

  14. Mosterman, P. J., & Vangheluwe, H. (2004). Computer automated multi-paradigm modeling: An introduction. Simulation, 80(9), 433–450. https://doi.org/10.1177/0037549704050532.

    Article  Google Scholar 

  15. Çetinkaya, D. (2013). Model driven development of simulation models: Defining and transforming conceptual models into simulation models by using metamodels and model transformations. Dissertation, Middle East Technical University.

  16. Hu, X., & Zeigler, B. P. (2005). Model continuity in the design of dynamic distributed real-time systems. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 35(6), 867–878. https://doi.org/10.1109/TSMCA.2005.851283.

    Article  Google Scholar 

  17. Strembeck, M., & Zdun, U. (2010). An approach for the systematic development of domain-specific languages. Software Practice & Experience, 39(15), 1253–1292. https://doi.org/10.1002/spe.936.

    Article  Google Scholar 

  18. Ehrig, H., & Ermel, C. (2008). Semantical correctness and completeness of model transformations using graph and rule transformation. In Proceedings of the 4th international conference on graph transformations, Leicester, UK (pp. 194–210). https://doi.org/10.1007/978-3-540-87405-8_14.

  19. Jiang, D., Huo, L., & Song, H. (2018). Rethinking behaviors and activities of base stations in mobile cellular networks based on big data analysis. IEEE Transactions on Network Science and Engineering, 1(1), 1–12.

    MathSciNet  Google Scholar 

  20. Jiang, D., Wang, Y., Lv, Z., et al. (2019). Big data analysis-based network behavior insight of cellular networks for industry 4.0 applications. IEEE Transactions on Industrial Informatics. https://doi.org/10.1109/TII.2019.2930226.

    Article  Google Scholar 

  21. Mens, T., & Gorp, P. V. (2005). A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science, 152, 125–142. https://doi.org/10.1016/j.entcs.2005.10.021.

    Article  Google Scholar 

  22. Kleppe, A., Warmer, J., & Bast, W. (2003). MDA explained: The model driven architecture™: Practice and promise. Boston: Addison-Wesley.

    Google Scholar 

  23. Zeigler, B. P., Praehofer, H., & Kim, T. G. (2000). Theory of modeling and simulation: Integrating discrete event and continuous complex dynamic systems (2nd ed.). San Diego, CA: Academic Press.

    Google Scholar 

  24. Wang, F., Jiang, D., Wen, H., et al. (2019). Adaboost-based security level classification of mobile intelligent terminals. The Journal of Supercomputing, 75(11), 1–19. https://doi.org/10.1007/s11227-019-02954-y.

    Article  Google Scholar 

  25. Jiang, D., Huo, L., & Li, Y. (2018). Fine-granularity inference and estimations to network traffic for SDN. PLoS ONE, 13(5), 1–23. https://doi.org/10.1371/journal.pone.0194302.

    Article  Google Scholar 

  26. Szabo, C., & Teo, Y. M. (2007). On syntactic composability and model reuse. In Proceedings of 1st Asia international conference on modeling and simulation (pp. 230–237). https://doi.org/10.1109/AMS.2007.74.

  27. Estanol, M., Sancho, M. R., & Teniente, E. (2018). Ensuring the semantic correctness of a BAUML artifact-centric BPM. Information and Software Technology, 93, 147–162. https://doi.org/10.1016/j.infsof.2017.09.003.

    Article  Google Scholar 

  28. Jiang, D., Li, W., & Lv, H. (2017). An energy-efficient cooperative multicast routing in multi-hop wireless networks for smart medical applications. Neurocomputing, 220(2017), 160–169. https://doi.org/10.1016/j.neucom.2016.07.056.

    Article  Google Scholar 

  29. Jiang, D., Zhang, P., Lv, Z., & Song, H. (2016). Energy-efficient multi-constraint routing algorithm with load balancing for smart city applications. IEEE Internet of Things Journal, 3(6), 1437–1447. https://doi.org/10.1109/JIOT.2016.2613111.

    Article  Google Scholar 

  30. Atkinson, C., & Kuhne, T. (2003). Model-driven development: A metamodeling foundtion. IEEE Software, 20(5), 36–41. https://doi.org/10.1109/ms.2003.1231149.

    Article  Google Scholar 

  31. Nordstrom, G., Sztipanovits, J., Karsai, G., & Ledeczi, A. (1999) Metamodeling—Rapid design and evolution of domain-specific modeling environments. In Proceedings of IEEE conference on engineering of computer-based systems (pp. 68–74). https://doi.org/10.1109/ECBS.1999.755863.

  32. Zhu, Z., Lei, Y. L., Zhu, Y. F., & Sarjoughian, H. S. (2017). Cognitive behaviors modeling using UML profile. IEEE Access, 5, 21694–21708. https://doi.org/10.1109/ACCESS.2017.2760060.

    Article  Google Scholar 

  33. De, L. J., Guerra, E., & Cuadrado, J. S. (2015). Model-driven engineering with domain-specific meta-modeling languages. Software and System Model, 14(1), 429–459. https://doi.org/10.1007/s10270-013-0367-z.

    Article  Google Scholar 

  34. Seo, K. M., Choi, C., Kim, T. G., & Kim, J. H. (2014). DEVS-based combat modeling for engagement-level simulation. Simulation, 90(7), 759–781. https://doi.org/10.1177/0037549714532960.

    Article  Google Scholar 

  35. Zhu, Z., Lei, Y. L., Sarjoughian, H. S., Li, X. B., & Zhu, Y. F. (2018). UML-based combat effectiveness simulation system modeling within MDE. Journal of Systems Engineering and Electronics, 29(6), 1180–1196. https://doi.org/10.21629/JSEE.2018.06.07.

    Article  Google Scholar 

  36. Zhu, Z., Lei, Y. L., Alshareef, A., Sarjoughian, H. S., & Zhu, Y. F. (2018). Domain specific metamodeling for deep semantic composability. IEEE Access, 6, 18276–18289. https://doi.org/10.1109/access.2018.2822661.

    Article  Google Scholar 

  37. Selic, B. (2007). A systematic approach to domain-specific language design using UML. In Proceedings of 10th IEEE international symposium on object and component-oriented real-time distributed computing (pp. 2–9). https://doi.org/10.1109/ISORC.2007.10.

  38. Warmer, J., & Kleppe, A. (1999). The object constraint language—Precise modeling with UML. Boston: Addison-Wesley.

    Google Scholar 

  39. Huo, L., Jiang, D., Zhu, X., et al. (2019). An SDN-based fine-grained measurement and modeling approach to vehicular communication network traffic. International Journal of Communication Systems, 8(1), 1–12. https://doi.org/10.1002/dac.4092.

    Article  Google Scholar 

  40. Huo, L., & Jiang, D. (2019). Stackelberg game-based energy-efficient resource allocation for 5G cellular networks. Telecommunication System, 23(4), 1–11. https://doi.org/10.1007/s11235-019-00564-w.

    Article  Google Scholar 

  41. Wang, F., Jiang, D., & Qi, S. (2019). An adaptive routing algorithm for integrated information networks. China Communications, 7(1), 196–207.

    Google Scholar 

  42. Jouault, F., Allilaire, F., Bezivin, J., & Kurtev, I. (2008). ATL: A model transformation tool. Science of Computer Programming, 72(1–2), 31–39. https://doi.org/10.1016/j.scico.2007.08.002.

    Article  MathSciNet  MATH  Google Scholar 

  43. Benouda, H., Essbai, R., Azizi, M., & Moussaoui, M. (2013). Modeling and code generation of android applications using Acceleo. International Journal of Software Engineering and Its Applications, 10(3), 83–94. https://doi.org/10.14257/ijseia.2016.10.3.08.

    Article  Google Scholar 

  44. Lei, Y. L., Zhu, Z., Li, Q., Yang, F., & Zhu, Y. F. (2017). WESS: A generic combat effectiveness simulation system. In Proceedings of the 17th Asia simulation conference (pp. 272–283). https://doi.org/10.1007/978-981-10-6502-6_24.

  45. Zhu, Z., Lei, Y. L., Zhu, N., & Zhu, Y. F. (2014). Domain specific metamodeling for deep semantic composability. NUDT Transactions, 36(5), 186–190. https://doi.org/10.11887/j.cn.201405031.

    Article  MathSciNet  Google Scholar 

  46. Huo, L., Jiang, D., & Lv, Z. (2018). Soft frequency reuse-based optimization algorithm for energy efficiency of multi-cell networks. Computers & Electrical Engineering, 66(2), 316–331. https://doi.org/10.1016/j.compeleceng.2017.09.009.

    Article  Google Scholar 

  47. Jiang, D., Huo, L., Lv, Z., Song, H., & Qin, W. (2018). A joint multi-criteria utility-based network selection approach for vehicle-to-infrastructure networking. IEEE Transactions on Intelligent Transportation Systems, 19(10), 3305–3319. https://doi.org/10.1109/TITS.2017.2778939.

    Article  Google Scholar 

  48. Jiang, D., Wang, W., Shi, L., & Song, H. (2018). A compressive sensing-based approach to end-to-end network traffic reconstruction. IEEE Transactions on Network Science and Engineering, 5(3), 1–12. https://doi.org/10.1109/TNSE.2018.2877597.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Military Modeling and Simulation, College of Systems Engineering, National University of Defense Technology, Changsha, 410073, People’s Republic of China

    Zhi Zhu, Yonglin Lei, Qun Li & Yifan Zhu

Authors
  1. Zhi Zhu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yonglin 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.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhu, Z., Lei, Y., Li, Q. et al. Exploring MDE techniques for engineering simulation models. Wireless Netw 27, 3549–3560 (2021). https://doi.org/10.1007/s11276-019-02226-w

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11276-019-02226-w

Keywords

Search

Navigation