{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:04:24Z","timestamp":1743120264200,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":35,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811674426"},{"type":"electronic","value":"9789811674433"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-981-16-7443-3_14","type":"book-chapter","created":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T17:54:45Z","timestamp":1636480485000},"page":"234-254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Research on the Model Transformation Method and Application of Formal Model Driven Engineering (FMDE)"],"prefix":"10.1007","author":[{"given":"Ya","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyun","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiheng","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongwen","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,10]]},"reference":[{"key":"14_CR1","unstructured":"Ma, X., et al.: Review and prospect of software development method development. J. Softw. 30(01), 3\u201321 (2019)"},{"key":"14_CR2","first-page":"509","volume":"04","author":"S Weizhong","year":"2003","unstructured":"Weizhong, S., Yanbing, J., Zhiyi, M.: Existing problems and development path of UML. Comput. Res. Dev. 04, 509\u2013516 (2003)","journal-title":"Comput. Res. Dev."},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-89020-1_26","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"I Kurtev","year":"2008","unstructured":"Kurtev, I.: State of the art of QVT: a model transformation language standard. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 377\u2013393. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89020-1_26"},{"key":"14_CR4","unstructured":"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\u201318 (2010)"},{"key":"14_CR5","unstructured":"Sommerville, I.: Software Engineering (Tenth Edition), Pearson Education Limited 2016,\npp. 159\u2013162  (2016)"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"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\u201386. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02450-5_5","DOI":"10.1007\/978-3-030-02450-5_5"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"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\u201357. Association for Computing Machinery, New York, NY, USA (2020)","DOI":"10.1145\/3437075.3437096"},{"key":"14_CR8","unstructured":"Adesina, O.: Integrating formal methods with model-driven engineering. In: International Conference on Model-Driven Engineering Languages and Systems, At Ottawa, Canada (2015)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Lange, C.F., Chaudron, M.R.: Effects of defects in UML models. In: ICSE \u201806 Proceedings of the 28th International Conference on Software Engineering (2006)","DOI":"10.1145\/1134285.1134341"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/MSR.2019.00024"},{"key":"14_CR11","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.1109\/ICSE-SEET.2019.00019"},{"issue":"1","key":"14_CR12","doi-asserted-by":"publisher","first-page":"43","DOI":"10.15388\/infedu.2013.04","volume":"12","author":"D Boberic-Krsticev","year":"2013","unstructured":"Boberic-Krsticev, D., Tesendic, D.: Experience in teaching OOAD to various students. Inform. Educ. 12(1), 43\u201358 (2013)","journal-title":"Inform. Educ."},{"key":"14_CR13","unstructured":"Butler, R.W.: What is Formal Methods?. 2001-08-06 [2006-11-16]. (Original Content Archived on 08 December 2006)"},{"key":"14_CR14","unstructured":"Holloway, C.M.: Why engineers should consider formal methods (PDF). 16th Digital Avionics Systems Conference (27\u201330 October 1997). (Original Content (PDF) archived on 16 November 2006)"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1016320523091","volume":"9","author":"M Archer","year":"2002","unstructured":"Archer, M., Heitmeyer, C., Riccobene, E.: Proving invariants of I\/O automata with TAME. Autom. Softw. Eng. 9, 201\u2013232 (2002)","journal-title":"Autom. Softw. Eng."},{"key":"14_CR16","unstructured":"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)"},{"key":"14_CR17","unstructured":"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\u2019s accomplishments, at the University of Texas. https:\/\/www.cs.utexas.edu\/symposium"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"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\u20136 (2016)","DOI":"10.1109\/IT4OD.2016.7479253"},{"key":"14_CR19","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, New Jersey (1976)"},{"key":"14_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D Gries","year":"1981","unstructured":"Gries, D.: The Science of Programming. Springer-Verlag, New York (1981)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Jinyun, X.: A unified approach for developing efficient algorithmic programs. J. Comput. Sci. Technol. 12(4), 314\u2013329 (1997)","DOI":"10.1007\/BF02943151"},{"issue":"1","key":"14_CR22","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10009-015-0381-2","volume":"19","author":"V Rivera","year":"2015","unstructured":"Rivera, V., Cata\u00f1o, N., Wahls, T., Rueda, C.: Code generation for Event-B. Int. J. Softw. Tools Technol. Transfer 19(1), 31\u201352 (2015). https:\/\/doi.org\/10.1007\/s10009-015-0381-2","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Jinyun, X.: Two new strategies for developing loop invariants and its applications. J. Comput. Sci. Technol. 8(3), 147\u2013154 (1993)","DOI":"10.1007\/BF02939477"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Davies, J., Milward, D., Wang, C.W., Welch, J.: Formal model-driven engineering of critical Information systems. Sci. Comput. Program. 103, 88\u2013113 (2015)","DOI":"10.1016\/j.scico.2014.11.004"},{"issue":"6","key":"14_CR25","first-page":"P649","volume":"43","author":"Z Liu","year":"2019","unstructured":"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)","journal-title":"J. Jiangxi Norm. Univ. (Nat. Sci.)"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Xue, J., Gries, D.: Developing a Linear Algorithm for Cubing a Cycle Permutation, Science of Computer Programming, vol.11 (1988)","DOI":"10.1016\/0167-6423(88)90003-2"},{"key":"14_CR27","unstructured":"Xue, J., Davis, R.: A derivation and proof of Knuth\u2019s binary to decimal program. Softw. Concepts Tools 18, 149\u2013156 (1997)"},{"key":"14_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-69311-6_14","volume-title":"Frontiers in Algorithmics","author":"J Xue","year":"2008","unstructured":"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\u2013123. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69311-6_14"},{"key":"14_CR29","doi-asserted-by":"publisher","unstructured":"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\u201312. Springer, Cham (2016).  https:\/\/doi.org\/10.1007\/978-3-319-31220-0_1","DOI":"10.1007\/978-3-319-31220-0_1"},{"issue":"1","key":"14_CR30","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/TEVC.2013.2281396","volume":"18","author":"YJ Zheng","year":"2014","unstructured":"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\u201381 (2014)","journal-title":"IEEE Trans. Evol. Comput."},{"issue":"4","key":"14_CR31","doi-asserted-by":"publisher","first-page":"1070","DOI":"10.1109\/TFUZZ.2014.2337938","volume":"23","author":"YJ Zheng","year":"2014","unstructured":"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\u20131083 (2014)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"4","key":"14_CR32","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1109\/TSC.2015.2401598","volume":"9","author":"YJ Zheng","year":"2016","unstructured":"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\u2013607 (2016)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"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\u20131575 (2017)","DOI":"10.1109\/TFUZZ.2017.2738605"},{"key":"14_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-47884-1_16","volume-title":"Integrated Formal Methods","author":"S Kent","year":"2002","unstructured":"Kent, S.: Model driven engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 286\u2013298. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-47884-1_16"},{"key":"14_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/11877028_2","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"J B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J.: Model driven engineering: an emerging technical space. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 36\u201364. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11877028_2"}],"container-title":["Communications in Computer and Information Science","Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-16-7443-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T17:57:59Z","timestamp":1636480679000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-16-7443-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9789811674426","9789811674433"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-981-16-7443-3_14","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"10 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NCTCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"National Conference of Theoretical Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Yinchuan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 July 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 July 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"39","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nctcs2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.ccf.org.cn\/TCS2021","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"CCF Consys","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"145","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"67","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}