[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Research on the Model Transformation Method and Application of Formal Model Driven Engineering (FMDE)

  • Conference paper
  • First Online:
Theoretical Computer Science (NCTCS 2021)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1494))

Included in the following conference series:

  • 513 Accesses

Abstract

MDE is a software development method with UML modeling and model conversion as the main approach. MDA is a concrete and partial realization way of MDE, and it is a model-driven development framework mainly based on UML. For the graphical modeling language UML, there are problems such as complex and cumbersome language mechanisms, inaccuracy and ambiguity in concepts, lack of formal description and formal derivation, making it difficult to guarantee reliability. Based on the framework of practical formal method (PAR) and model-driven engineering, this paper proposes a new algorithm development method FMDE model transformation method and application research. The model, meta-model, algorithm model and program model proposed by FMDE make model-driven software development more efficient. The grammatical and semantic definitions of the formal modeling languages SNL, Rdal, Apla and the BNF description facilitate the formal derivation and correctness verification of the algorithm program, SNL demand model → Radl algorithm model transformation converts the SNL function requirements of the algorithm problem into Radl algorithm specifications, uses Radl algorithm model → Apla program model transformation to convert the algorithm to Apla program, uses Apla program model → executable code model transformation to convert Apla program It is automatically converted into an executable language program, and finally the correctness of the model transformation is proved through a case, which improves the efficiency, correctness and reliability of algorithm development.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 84.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

Institutional subscriptions

Similar content being viewed by others

References

  1. Ma, X., et al.: Review and prospect of software development method development. J. Softw. 30(01), 3–21 (2019)

    Google Scholar 

  2. Weizhong, S., Yanbing, J., Zhiyi, M.: Existing problems and development path of UML. Comput. Res. Dev. 04, 509–516 (2003)

    Google Scholar 

  3. Kurtev, I.: State of the art of QVT: a model transformation language standard. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 377–393. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89020-1_26

    Chapter  Google Scholar 

  4. Gargantini, A., Riccobene, E., Scandurra, P.: Combining formal methods and MDE techniques for model-driven system design and analysis. Int. J. Adv. Softw. 3(1 and 2), 1–18 (2010)

    Google Scholar 

  5. Sommerville, I.: Software Engineering (Tenth Edition), Pearson Education Limited 2016, pp. 159–162 (2016)

    Google Scholar 

  6. Xue, J., Zheng, Y., Hu, Q., You, Z., Xie, W., Cheng, Z.: PAR: a practicable formal method and its supporting platform. In: Sun, J., Sun, M. (eds.) Formal Methods and Software Engineering. ICFEM 2018. LNCS, vol. 11232, pp. 70–86. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-02450-5_5

  7. Xue, J., Cheng, Z., Yang, Q., You, Z., Hu, Q., Xie, W.: Methodology and platform of IS code generation. In: Proceedings of the 2020 International Conference on Big Data in Management (ICBDM 2020), pp. 49–57. Association for Computing Machinery, New York, NY, USA (2020)

    Google Scholar 

  8. Adesina, O.: Integrating formal methods with model-driven engineering. In: International Conference on Model-Driven Engineering Languages and Systems, At Ottawa, Canada (2015)

    Google Scholar 

  9. Lange, C.F., Chaudron, M.R.: Effects of defects in UML models. In: ICSE ‘06 Proceedings of the 28th International Conference on Software Engineering (2006)

    Google Scholar 

  10. Raghuraman, A., et al.: Does UML modeling associate with lower defect proneness? A preliminary empirical investigation. In: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR). IEEE (2019)

    Google Scholar 

  11. Chren, S., Buhnova, B., Macak, M., Daubner, L., Rossi, B.: Mistakes in UML diagrams: analysis of student projects in a software engineering course. In: Mistakes in UML Diagrams (2019). https://doi.org/10.1109/ICSE-SEET.2019.00019

  12. Boberic-Krsticev, D., Tesendic, D.: Experience in teaching OOAD to various students. Inform. Educ. 12(1), 43–58 (2013)

    Article  Google Scholar 

  13. Butler, R.W.: What is Formal Methods?. 2001-08-06 [2006-11-16]. (Original Content Archived on 08 December 2006)

    Google Scholar 

  14. Holloway, C.M.: Why engineers should consider formal methods (PDF). 16th Digital Avionics Systems Conference (27–30 October 1997). (Original Content (PDF) archived on 16 November 2006)

    Google Scholar 

  15. Archer, M., Heitmeyer, C., Riccobene, E.: Proving invariants of I/O automata with TAME. Autom. Softw. Eng. 9, 201–232 (2002)

    Article  Google Scholar 

  16. Xue, J.Y.: PAR method and its supporting platform. In: Proceedings of in International Workshop on Formal method for Developing Software, Annual Report, No. 348, Macao: UNU-IIST (2006)

    Google Scholar 

  17. Jinyun, X.: PAR: a model driven engineering platform for generating algorithms and software. In: Symposium on Programming: Logics, Models, Algorithms and Concurrency on April 29th and 30th, 2016 to recognize Jayadev Misra’s accomplishments, at the University of Texas. https://www.cs.utexas.edu/symposium

  18. Berramla, B., Deba, E,A., Benhamou, D.: Model transformation generation a survey of the state-of-the-art. In: International Conference on Information Technology for Organizations Development, pp. 1–6 (2016)

    Google Scholar 

  19. Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, New Jersey (1976)

    MATH  Google Scholar 

  20. Gries, D.: The Science of Programming. Springer-Verlag, New York (1981)

    Book  Google Scholar 

  21. Jinyun, X.: A unified approach for developing efficient algorithmic programs. J. Comput. Sci. Technol. 12(4), 314–329 (1997)

    Google Scholar 

  22. Rivera, V., Cataño, N., Wahls, T., Rueda, C.: Code generation for Event-B. Int. J. Softw. Tools Technol. Transfer 19(1), 31–52 (2015). https://doi.org/10.1007/s10009-015-0381-2

    Article  Google Scholar 

  23. Jinyun, X.: Two new strategies for developing loop invariants and its applications. J. Comput. Sci. Technol. 8(3), 147–154 (1993)

    Google Scholar 

  24. Davies, J., Milward, D., Wang, C.W., Welch, J.: Formal model-driven engineering of critical Information systems. Sci. Comput. Program. 103, 88–113 (2015)

    Google Scholar 

  25. Liu, Z., Xue, J., Xia, J., Wang, X.: The research on concurrent distributed transaction processing mechanism in PAR platform and its application. J. Jiangxi Norm. Univ. (Nat. Sci.) 43(6), P649-854 (2019)

    Google Scholar 

  26. Xue, J., Gries, D.: Developing a Linear Algorithm for Cubing a Cycle Permutation, Science of Computer Programming, vol.11 (1988)

    Google Scholar 

  27. Xue, J., Davis, R.: A derivation and proof of Knuth’s binary to decimal program. Softw. Concepts Tools 18, 149–156 (1997)

    Google Scholar 

  28. Xue, J., Yang, B., Zuo, Z.: A linear in-situ algorithm for the power of cyclic permutation. In: Preparata, F.P., Wu, X., Yin, J. (eds.) FAW 2008. LNCS, vol. 5059, pp. 113–123. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-69311-6_14

    Chapter  Google Scholar 

  29. Xue, J.: Genericity in PAR platform. In: Liu S., Duan Z. (eds.) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2015. LNCS, vol. 9559, pp. 1–12. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-31220-0_1

  30. Zheng, Y.J., Ling, H.F., Xue, J.Y., Chen, S.Y.: Population classification in fire evacuation: a multiobjective particle swarm optimization approach. IEEE Trans. Evol. Comput. 18(1), 70–81 (2014)

    Article  Google Scholar 

  31. Zheng, Y.J., Ling, H.F., Chen, S.Y., Xue, J.Y.: A hybrid neuro-fuzzy network based on differential biogeography-based optimization for online population classification In earthquakes. IEEE Trans. Fuzzy Syst. 23(4), 1070–1083 (2014)

    Article  Google Scholar 

  32. Zheng, Y.J., Chen, Q.Z., Ling, H.F., Xue, J.Y.: Rescue wings: mobile computing and active services support for disaster rescue. IEEE Trans. Serv. Comput. 9(4), 594–607 (2016)

    Article  Google Scholar 

  33. Zheng, Y.J., Sheng-Yong, C., Yu, X., Jin-Yun, X.: A Pythagorean-type fuzzy deep de-noising auto-encoder for industrial accident early warning. IEEE Trans. Fuzzy Syst. 25(6), 1561–1575 (2017)

    Google Scholar 

  34. Kent, S.: Model driven engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 286–298. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-47884-1_16

    Chapter  Google Scholar 

  35. Bézivin, J.: Model driven engineering: an emerging technical space. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 36–64. Springer, Heidelberg (2006). https://doi.org/10.1007/11877028_2

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National-Level International Science and Technology Cooperation Base of Networked Supporting Software, Nanchang, China

    Ya Liu, Jinyun Xue, Zhiheng Zhang, Yang Liu & Hongwen Hu

  2. School of Computer Information Engineering, Jiangxi Normal University, Nanchang, 330022, China

    Ya Liu, Zhiheng Zhang, Yang Liu & Hongwen Hu

Authors
  1. Ya Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jinyun Xue
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zhiheng Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yang Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Hongwen Hu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. National University of Defense Technology, Changsha, China

    Zhiping Cai

  2. Tsinghua University, Beijing, China

    Jian Li

  3. Chinese Academy of Sciences, Beijing, China

    Jialin Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Liu, Y., Xue, J., Zhang, Z., Liu, Y., Hu, H. (2021). Research on the Model Transformation Method and Application of Formal Model Driven Engineering (FMDE). In: Cai, Z., Li, J., Zhang, J. (eds) Theoretical Computer Science. NCTCS 2021. Communications in Computer and Information Science, vol 1494. Springer, Singapore. https://doi.org/10.1007/978-981-16-7443-3_14

Download citation

  • DOI: https://doi.org/10.1007/978-981-16-7443-3_14

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-16-7442-6

  • Online ISBN: 978-981-16-7443-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation