Papers
Topics
Authors
Recent
2000 character limit reached

Automation in Model-Driven Engineering: A look back, and ahead (2405.18539v2)

Published 28 May 2024 in cs.SE

Abstract: Model-Driven Engineering (MDE) provides a huge body of knowledge of automation for many different engineering tasks, especially those involving transitioning from design to implementation. With the huge progress made in AI, questions arise about the future of MDE, such as how existing MDE techniques and technologies can be improved or how other activities that currently lack dedicated support can also be automated. However, at the same time, it has to be revisited where and how models should be used to keep the engineers in the loop for creating, operating, and maintaining complex systems. To trigger dedicated research on these open points, we discuss the history of automation in MDE and present perspectives on how automation in MDE can be further improved and which obstacles have to be overcome in both the medium and long-term.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (153)
  1. 2017. Action Language for Foundational UML (Alf). Object Management Group (OMG). https://www.omg.org/spec/ALF/1.1/PDF
  2. Multi-objective optimization in rule-based design space exploration. In Proc. of the 29th ACM/IEEE international conference on Automated software engineering (ASE’14). 289–300.
  3. On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9, 1 (2010), 69–86.
  4. Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In Proc. of the 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10) (LNCS, Vol. 6394). Springer, 121–135.
  5. Thorsten Arendt and Gabriele Taentzer. 2012. Integration of smells and refactorings within the Eclipse modeling framework. In Proc. of the 5th Workshop on Refactoring Tools (WRT’12). ACM, 8–15.
  6. Colin Atkinson and Thomas Kühne. 2003. Model-Driven Development: A Metamodeling Foundation. IEEE Softw. 20, 5 (2003), 36–41.
  7. Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. 21, 5 (2022), 1763–1787.
  8. Automated generation of consistent graph models with first-order logic theorem provers. Vol. 12076. Springer, 441–461.
  9. Model-level, platform-independent debugging in the context of the model-driven development of real-time systems. In Proc. of the 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE’17). ACM, 419–430.
  10. Islem Baki and Houari Sahraoui. 2016. Multi-step learning and adaptive search for learning complex model transformations from examples. ACM Transactions on Software Engineering and Methodology (TOSEM) 25, 3 (2016), 1–37.
  11. PARMOREL: a framework for customizable model repair. Software and Systems Modeling 21, 5 (2022), 1739–1762.
  12. A comparative study of reinforcement learning techniques to repair models. In Proc. of the ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS’20:) Companion Proceedings. ACM, 47:1–47:9.
  13. Automated Clustering of Metamodel Repositories. In Advanced Information Systems Engineering. Springer International Publishing, 342–358.
  14. Exploring model repositories by means of megamodel-aware search operators.. In Proc. of the MODELS Workshops. 793–798.
  15. Exploring model repositories by means of megamodel-aware search operators. In Proc. of MODELS 2018 Workshops (CEUR Workshop Proceedings, Vol. 2245). CEUR-WS.org, 793–798.
  16. A tool-supported approach for assessing the quality of modeling artifacts. J. Comput. Lang. 51 (2019), 173–192.
  17. Heuristic-based recommendation for metamodel—ocl coevolution. In Proc. of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS’17). IEEE, 210–220.
  18. Edouard Batot and Houari Sahraoui. 2016. A generic framework for model-set selection for the unification of testing and learning MDE tasks. In Proceedings of the ACM/IEEE 19th international conference on model driven engineering languages and systems. 374–384.
  19. Edouard R Batot and Houari Sahraoui. 2022. Promoting social diversity for the automated learning of complex MDE artifacts. Software and Systems Modeling 21, 3 (2022), 1159–1178.
  20. Dynamic decision networks for decision-making in self-adaptive systems: a case study. In Proc. of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’13), Marin Litoiu and John Mylopoulos (Eds.). IEEE, 113–122.
  21. [email protected]: a guided tour of the state of the art and research challenges. Softw. Syst. Model. 18, 5 (2019), 3049–3082.
  22. Genie: supporting the model driven development of reflective, component-based adaptive systems. In Proc. of the 30th International Conference on Software Engineering (ICSE’08). ACM, 811–814.
  23. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. In Proc. of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, Hybrid Systems III: Verification and Control (LNCS, Vol. 1066). Springer, 232–243.
  24. Jean Bézivin. 2005. On the unification power of models. Softw. Syst. Model. 4, 2 (2005), 171–188.
  25. Operationalizing digital twins through model-based systems engineering methods. Syst. Eng. 23, 6 (2020), 724–750.
  26. EMF Model Refactoring based on Graph Transformation Concepts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006).
  27. Precise semantics of EMF model transformations by graph transformation. In Proc. of the 11th International Conference on Model Driven Engineering Languages and Systems (MODELS’08). Springer, 53–67.
  28. A local and global tour on MOMoT. Softw. Syst. Model. 18, 2 (2019), 1017–1046.
  29. Textual and Content-Based Search in Repositories of Web Application Models. ACM Trans. Web 8, 2, Article 11 (2014).
  30. Auto-completion for Executable Business Process Models. In Proc. of the Business Process Management Workshops (Lecture Notes in Business Information Processing, Vol. 17), Danilo Ardagna, Massimo Mecella, and Jian Yang (Eds.). Springer, 510–515. https://doi.org/10.1007/978-3-642-00328-8_51
  31. A survey on search-based model-driven engineering. Automated Software Engineering 24 (2017), 233–294.
  32. Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. In Proc. of the 17th International Symposium on Software Reliability Engineering (ISSRE’06). IEEE, 85–94.
  33. Cédric Brun and Alfonso Pierantonio. 2008. Model differences in the eclipse modelling framework. UPGRADE, the European Journal for the Informatics Professional 9 (2008), 29–34.
  34. Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. Syst. Model. 19, 1 (2020), 5–13.
  35. Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. In Proc. of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE’18) (LNCS, Vol. 10802). Springer, 111–128.
  36. MDEoptimiser: A search based model engineering tool. In Proce. of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS’18) - Companion Proceedings. ACM, 12–16.
  37. A generic LSTM neural network architecture to infer heterogeneous model transformations. Softw. Syst. Model. 21, 1 (2022), 139–156.
  38. Contents for a Model-Based Software Engineering Body of Knowledge. Softw. Syst. Model. 18, 6 (2019), 3193–3205.
  39. A Linda-based platform for the parallel execution of out-place model transformations. Inf. Softw. Technol. 79 (2016), 17–35.
  40. UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. In 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), R. E. Kurt Stirewalt, Alexander Egyed, and Bernd Fischer (Eds.). ACM, 547–548.
  41. On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML. Software and Systems Modeling 22, 3 (2023), 781–793.
  42. Towards using few-shot prompt learning for automating model completion. In 2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER). 7–12.
  43. On the Use of GPT-4 for Creating Goal Models: An Exploratory Study. In 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW). 262–271.
  44. Toward a semantic anchoring infrastructure for domain-specific modeling languages. In Proc. of the 5th ACM International Conference On Embedded Software (EMSOFT’05), Wayne H. Wolf (Ed.). ACM, 35–43.
  45. Automated Domain Modeling with Large Language Models: A Comparative Study. In Proc. of the ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS’23). IEEE, 162–172.
  46. Language Engineering with the GEMOC Studio. In Proc. of the IEEE International Conference on Software Architecture Workshops (ICSA’17). IEEE, 189–191.
  47. Efficient Execution of ATL Model Transformations Using Static Analysis and Parallelism. IEEE Trans. Software Eng. 48, 4 (2022), 1097–1114.
  48. Search-Based Model Optimization Using Model Transformations. In Proc. of the 8th International Conference on System Analysis and Modeling: Models and Reusability (SAM’14) (LNCS, Vol. 8769). Springer, 80–95.
  49. A GNN-based recommender system to assist the specification of metamodels and models. In Proc. of the ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS’21). 70–81.
  50. From transformation traces to transformation rules: Assisting model driven engineering approach with formal concept analysis. Supplementary Proceedings of ICCS 9 (2009), 15–29.
  51. Francisco Durán. 2022. Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools. Journal of Object Technology 21, 4 (2022), 4:1–12.
  52. Generating instance models from meta models. Softw. Syst. Model. 8, 4 (2009), 479–500.
  53. Towards Reactive Planning with Digital Twins and Model-Driven Optimization. In Proc. of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’22). Part IV (LNCS, Vol. 13704). Springer, 54–70.
  54. Towards Reinforcement Learning for In-Place Model Transformations. In Proc. of the 24th International Conference on Model Driven Engineering Languages and Systems (MODELS’21). IEEE, 82–88.
  55. Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In Proc. of the 3th International Conference on The Unified Modeling Language, Modeling Languages and Applications (UML’00) (LNCS, Vol. 1939), Andy Evans, Stuart Kent, and Bran Selic (Eds.). Springer, 323–337.
  56. Genetic-programming approach to learn model transformation rules from examples. In Theory and Practice of Model Transformations, ICMT. 17–32.
  57. An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements. In Proc. of the 15th International Conference on Model Driven Engineering Languages and Systems (MODELS’12) (LNCS, Vol. 7590). Springer, 87–101.
  58. Robert B. France and Bernhard Rumpe. 2007. Model-driven Development of Complex Software: A Research Roadmap. In International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE. IEEE Computer Society, 37–54.
  59. Loïc Gammaitoni and Pierre Kelsen. 2019. F-Alloy: a relational model transformation language based on Alloy. Softw. Syst. Model. 18, 1 (2019), 213–247.
  60. Model refactoring by example: A multi-objective search based software engineering approach. J. Softw. Evol. Process. 30, 4 (2018).
  61. Holger Giese and Robert Wagner. 2006. Incremental Model Synchronization with Triple Graph Grammars, Vol. 4199. 543–557.
  62. USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69, 1-3 (2007), 27–34.
  63. Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54 (2018), 474–511.
  64. Searching the boundaries of a modeling space to test metamodels. In 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation. 131–140.
  65. Wodel: a domain-specific language for model mutation. In Proc. of the 31st Annual ACM Symposium on Applied Computing. ACM, 1968–1973.
  66. The next evolution of MDE: a seamless integration of machine learning into domain modeling. Softw. Syst. Model. 18, 2 (2019), 1285–1304.
  67. Markus Herrmannsdoerfer. 2011. COPE – A Workbench for the Coupled Evolution of Metamodels and Models. LNCS, Vol. 6563. Springer, 286–295.
  68. Markus Herrmannsdoerfer and Daniel Ratiu. 2009. Limitations of Automating Model Migration in Response to Metamodel Adaptation. In Proc. of the International Conference on Model Driven Engineering Languages and Systems (MODELS’09) Workshops and Symposia (LNCS, Vol. 6002), Sudipto Ghosh (Ed.). Springer, 205–219.
  69. Testing models and model transformations using classifying terms. Softw. Syst. Model. 17, 3 (2018), 885–912.
  70. Gerard J. Holzmann. 2004. The SPIN Model Checker - primer and reference manual. Addison-Wesley.
  71. Metagpt: Meta programming for multi-agent collaborative framework. arXiv preprint arXiv:2308.00352 (2023).
  72. A search based test data generation approach for model transformations. In Theory and Practice of Model Transformations: 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings 7. Springer, 17–24.
  73. A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties. Softw. Syst. Model. 22, 4 (2023), 1281–1318.
  74. Impediments to Introducing Continuous Integration for Model-Based Development in Industry. In Proc. of the 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA’19). IEEE, 434–441.
  75. ATL: A model transformation tool. Science of Computer Programming 72, 1-2 (2008), 31–39.
  76. Survey and classification of model transformation tools. Softw. Syst. Model. 18, 4 (2019), 2361–2397.
  77. Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages. In Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MODELS’06) (LNCS, Vol. 4199). Springer, 528–542.
  78. Integrating UX principles and practices into software development organizations: a case study of influencing events. Journal of Systems and Software 154 (2019), 37–58.
  79. Search-based detection of model level changes. Empir. Softw. Eng. 22, 2 (2017), 670–715.
  80. Model transformation as an optimization problem. In International Conference on Model Driven Engineering Languages and Systems. Springer, 159–173.
  81. Wael Kessentini and Vahid Alizadeh. 2022. Semi-automated metamodel/model co-evolution: a multi-level interactive approach. Software and Systems Modeling 21, 5 (2022), 1853–1876.
  82. Automated co-evolution of metamodels and transformation rules: A search-based approach. In Search-Based Software Engineering: 10th International Symposium, SSBSE, Proceedings. Springer, 229–245.
  83. Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search. In Proc. of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (MODELS ’18). ACM, 101–111.
  84. Information Reuse and Stochastic Search: Managing Uncertainty in Self-**{}^{\mbox{*}}start_FLOATSUPERSCRIPT * end_FLOATSUPERSCRIPT Systems. ACM Trans. Auton. Adapt. Syst. 15, 1 (2021), 3:1–3:36.
  85. John Klein. 2015. Model Driven Engineering: Automatic Code Generation and Beyond. Carnegie Mellon University, Software Engineering Institute’s Insights (blog). https://insights.sei.cmu.edu/blog/model-driven-engineering-automatic-code-generation-and-beyond/ Accessed: 2024-Mar-5.
  86. MDA Explained: The Model Driven Architecture : Practice and Promise. Addison-Wesley.
  87. Maximilian Koegel and Jonas Helming. 2010. EMFStore: a model repository for EMF models. In Proc. of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2 (ICSE’10). ACM, 307–308.
  88. Comparing State- and Operation-Based Change Tracking on Models. In Proc. of the 14th IEEE International Enterprise Distributed Object Computing Conference (EDOC’10). IEEE, 163–172.
  89. Dimitris S. Kolovos and Antonio García-Domínguez. 2022. The Epsilon Playground. In Proc. of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS’22) Companion Proceedings. ACM, 131–137.
  90. The Epsilon Transformation Language. In Proc. of the Int. Conference on Model Transformations (ICMT’08) (LNCS, Vol. 5063). Springer, 46–60.
  91. Recommending Auto-completions for Software Modeling Activities. In Proc. of the 16th International Conference on Model-Driven Engineering Languages and Systems (MODELS’13). Springer, 170–186.
  92. PRISM 4.0: Verification of Probabilistic Real-Time Systems. In Proc. of the 23rd International Conference on Computer Aided Verification (CAV’11), Vol. 6806. Springer, 585–591.
  93. Kevin Lano and Qiaomu Xue. 2023. Code Generation by Example Using Symbolic Machine Learning. SN Comput. Sci. 4, 2 (2023), 170.
  94. A semi-formal description of migrating domain-specific models with evolving domains. Softw. Syst. Model. 13, 2 (2014), 807–823. https://doi.org/10.1007/S10270-012-0313-5
  95. José Antonio Hernández López and Jesús Sánchez Cuadrado. 2020. MAR: a structure-based search engine for models. In Proc. of the ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS’20), Eugene Syriani, Houari A. Sahraoui, Juan de Lara, and Silvia Abrahão (Eds.). ACM, 57–67.
  96. José Antonio Hernández López and Jesús Sánchez Cuadrado. 2022. An efficient and scalable search engine for models. Software and Systems Modeling 21, 5 (2022), 1715–1737.
  97. José Antonio Hernández López and Jesús Sánchez Cuadrado. 2023. Generating Structurally Realistic Models With Deep Autoregressive Networks. IEEE Trans. Software Eng. 49, 4 (2023), 2661–2676.
  98. Machine learning methods for model classification: a comparative study. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. 165–175.
  99. Model transformation intents and their properties. Softw. Syst. Model. 15, 3 (2016), 647–684.
  100. MOOGLE: A model search engine. In Proc. of the International Conference on Model driven engineering languages and systems (MODELS’08). Springer, 296–310.
  101. ModelSet: A labelled dataset of software models for machine learning. Science of Computer Programming 231 (2024), 103009.
  102. Assessing the quality of metamodels. Frontiers of Computer Science 7, 4 (2013), 558–570.
  103. MOMM: Multi-objective model merging. J. Syst. Softw. 103 (2015), 423–439.
  104. Tom Mens. 2005. On the Use of Graph Transformations for Model Refactoring. In Proc. of the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE’05) (LNCS, Vol. 4143), Ralf Lämmel, João Saraiva, and Joost Visser (Eds.). Springer, 219–257.
  105. Recommending model refactoring rules from refactoring examples. In Proc. of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS’18). 257–266.
  106. Ontology-based model driven engineering for safety verification. In 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications. 47–54.
  107. Weaving Executability into Object-Oriented Meta-languages. In Proc. of the 8th International Conference on Model Driven Engineering Languages and Systems (MODELS’13) (LNCS, Vol. 3713). Springer, 264–278.
  108. The Relevance of Model-Driven Engineering Thirty Years from Now. In Proc. of the 17th International Conference on Model-Driven Engineering Languages and Systems (MODELS’14) (LNCS, Vol. 8767). Springer, 183–200.
  109. Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems. In Proc. of the International Conference on Model Driven Engineering Languages and Systems (MODELS’07). Springer, 143–151.
  110. Automated classification of metamodel repositories: a machine learning approach. In Proc. of the ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS’19). 272–282.
  111. Convolutional neural networks for enhanced classification mechanisms of metamodels. J. Syst. Softw. 172 (2021).
  112. OMG. 2005. MOF QVT Final Adopted Specification. Object Management Group. OMG doc. ptc/05-11-01.
  113. Ana Pescador and Juan de Lara. 2016. DSL-maps: from requirements to design of domain-specific languages. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. 438–443.
  114. EMG: A Domain-Specific Transformation Language for Synthetic Model Generation. In Proc. of the 9th International Conference on Theory and Practice of Model Transformations ( ICMT’16@STAF) (LNCS, Vol. 9765). Springer, 36–51.
  115. Ivan Porres. 2003. Model Refactorings as Rule-Based Update Transformations. In Proc. of the 6th International Conference on The Unified Modeling Language, Modeling Languages and Applications (UML’03) (LNCS, Vol. 2863), Perdita Stevens, Jon Whittle, and Grady Booch (Eds.). Springer, 159–174.
  116. One evaluation of model-based testing and its automation. In Proc. of the 27th International Conference on Software Engineering (ICSE’05). ACM, 392–401.
  117. Towards Generating Structurally Realistic Models by Generative Adversarial Networks. In Proc. of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS’23’). IEEE, 597–604.
  118. A Metamodeling technique: The METAGEN system. In Proceedings of TOOLS, Vol. 16. 127–139.
  119. Formal Specification and Analysis of Domain Specific Models Using Maude. Simul. 85, 11-12 (2009), 778–792.
  120. Wires* : A Tool for Orchestrating Model Transformations. In Proc. of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD’09), Antonio Vallecillo and Goiuria Sagardui (Eds.). 158–161.
  121. An extensive dataset of UML models in GitHub. In Proc. of the IEEE/ACM 14th International Conference on Mining Software Repositories (MSR’17). 519–522.
  122. Towards an ontology-based retrieval of UML Class Diagrams. Information and Software Technology 54, 1 (2012), 72–86.
  123. Collaborative Repositories in Model-Driven Engineering. IEEE Softw. 32, 3 (2015), 28–34.
  124. Epsilon Flock: a model migration language. Softw. Syst. Model. 13, 2 (2014), 735–755.
  125. Stephan Roser and Bernhard Bauer. 2005. Ontology-Based Model Transformation. In Proc. of the Satellite Events at the MODELS 2005 (LNCS, Vol. 3844). Springer, 355–356.
  126. A Lightweight Approach for the Automated Classification and Clustering of Metamodels. In Proc. of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS’21) Companion. IEEE, 477–482.
  127. Coupled Evolution in Model-Driven Engineering. IEEE Softw. 29, 6 (2012), 78–84.
  128. Low-code development and model-driven engineering: Two sides of the same coin? Softw. Syst. Model. 21, 2 (2022), 437–446.
  129. Automated, interactive, and traceable domain modelling empowered by artificial intelligence. Softw. Syst. Model. 21, 3 (2022), 1015–1045.
  130. Incremental execution of temporal graph queries over runtime models with history and its applications. Softw. Syst. Model. 21, 5 (2022), 1789–1829.
  131. Marcel Schäfer and Martin Gogolla. 2020. Enhancing development and consistency of UML models and model executions with USE studio. In Proc. of the ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS’20) Companion, Esther Guerra and Ludovico Iovino (Eds.). ACM, 14:1–14:5.
  132. Douglas C. Schmidt. 2006. Guest Editor’s Introduction: Model-Driven Engineering. Computer 39, 2 (2006), 25–31.
  133. Symbolic model generation for graph properties. LNCS, Vol. 10202. Springer, 226–243.
  134. Automated generation of consistent models with structural and attribute constraints. In Proc. of the ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS’20). ACM, 187–199.
  135. Towards Domain-specific Model Editors with Automatic Model Completion. Simul. 86, 2 (2010), 109–126.
  136. Shane Sendall and Wojtek Kozaczynski. 2003. Model Transformation: The Heart and Soul of Model-Driven Software Development. IEEE Softw. 20, 5 (2003), 42–45.
  137. Verifying UML/OCL models using Boolean satisfiability. In 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010). IEEE, 1341–1344.
  138. Jonathan Sprinkle and Gabor Karsai. 2004. A domain-specific visual language for domain model evolution. J. Vis. Lang. Comput. 15, 3-4 (2004), 291–307.
  139. Model driven engineering with ontology technologies. In Reasoning Web International Summer School. 62–98.
  140. Friedrich Steimann and Bastian Ulke. 2013. Generic Model Assist. In Proc. of the 16th International Conference on Model-Driven Engineering Languages and Systems (MODELS’13) (LNCS, Vol. 8107). Springer, 18–34.
  141. Refactoring UML Models. In Proc. of the 4th International Conference on The Unified Modeling Language, Modeling Languages and Applications (UML’01) (LNCS, Vol. 2185), Martin Gogolla and Cris Kobryn (Eds.). Springer, 134–148.
  142. AToMPM: A Web-based Modeling Environment. In Proc. of the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS’13) Companion (CEUR Workshop Proceedings, Vol. 1115). CEUR-WS.org, 21–25.
  143. A fundamental approach to model versioning based on graph modifications: from theory to implementation. Softw. Syst. Model. 13, 1 (2014), 239–272.
  144. Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution. LNCS, Vol. 7562. Springer, 326–340.
  145. Digital twin in industry: State-of-the-art. IEEE Transactions on Industrial Informatics 15, 4 (2018), 2405–2415.
  146. Parallel Execution of ATL Transformation Rules. In Proc. of the 16th International Conference on Model-Driven Engineering Languages and Systems ( MODELS’13) (LNCS, Vol. 8107). Springer, 656–672.
  147. Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules. In Proc. of the ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS’21). 13–23.
  148. Dániel Varró and Zoltán Balogh. 2007. Automating model transformation by example using inductive logic programming. In Proceedings of the 2007 ACM symposium on Applied computing. 978–984.
  149. An ontology-based framework for domain-specific modeling. Software & Systems Modeling 13, 1 (2014), 83–108.
  150. An automatic documentation generator based on model-driven techniques. International Conference on Computer Engineering and Technology, Proceedings (ICCET) 4 (2010).
  151. Detecting Quality Problems in Data Models by Clustering Heterogeneous Data Values. In Proc. of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS’23) - Companion. IEEE, 150–159.
  152. Bernhard Westfechtel. 2014. Merging of EMF models - Formal foundations. Softw. Syst. Model. 13, 2 (2014), 757–788.
  153. Recommending metamodel concepts during modeling activities with pre-trained language models. Software and Systems Modeling 21, 3 (2022), 1071–1089.
Citations (1)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now
Slide Deck Streamline Icon: https://streamlinehq.com

Whiteboard

Dice Question Streamline Icon: https://streamlinehq.com

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Generate Now
Lightbulb Streamline Icon: https://streamlinehq.com

Continue Learning

We haven't generated follow-up questions for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Generate Now
List To Do Tasks Checklist Streamline Icon: https://streamlinehq.com

Collections

Sign up for free to add this paper to one or more collections.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up
X Twitter Logo Streamline Icon: https://streamlinehq.com

Tweets

Sign up for free to view the 1 tweet with 1 like about this paper.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up for Free