Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings最新文献_第9页

Visual animation of B specifications using executable DSLs 使用可执行dsl的B规范的视觉动画

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561585

Asfand Yar, Akram Idani, Y. Ledru, S. C. Dutilleul

引用次数: 0

Towards consistency management in low-code platforms 迈向低代码平台的一致性管理

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3558510

M. Zaheri

引用次数: 1

An analysis of software design understanding & motivation of engineering students 工科学生对软件设计的理解与动机分析

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3556506

Jean-Christophe Bach, A. Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez Perez, M. Segarra

{"title":"An analysis of software design understanding & motivation of engineering students","authors":"Jean-Christophe Bach, A. Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez Perez, M. Segarra","doi":"10.1145/3550356.3556506","DOIUrl":"https://doi.org/10.1145/3550356.3556506","url":null,"abstract":"Software engineering is now a well-recognized discipline in higher education. One challenge of software engineering education is to design teaching activities that empower students motivation and engagement. In this paper we present a study aimed at evaluating the understanding, motivation and perception of students with respect to software design activities. We first describe a project-based course currently taught to second-year students at IMT Atlantique, a French engineering school, and then present a questionnaire-based experiment. We asked the 44 students enrolled to the aforementioned course in the 2021 edition to answer three questionnaires (before and after the design activities and at the end of the course). The objective of this experiment is threefold: 1) evaluate the student's perception of the usefulness of the software design phase and the activity of modeling of software systems; 2) assess the evolution, if any, of this perception along the course; 3) evaluate if our course fosters student engagement. Results show that students are motivated with a good engagement all along the project and the perception of usefulness and pertinence of software design evolves in a slightly positive way.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130582270","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Go with the flow: software engineers and distractions 顺其自然:软件工程师和干扰

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3559101

Sabine Janssens, V. Zaytsev

引用次数: 3

OSATE-DIM solves the instance model-view update problem in AADL OSATE-DIM解决了AADL中的实例模型视图更新问题

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3559083

R. Mittal, Dominique Blouin

引用次数: 0

Towards model reuse in low-code development platforms based on knowledge graphs 基于知识图谱的低代码开发平台模型重用研究

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561570

Ilirian Ibrahimi, Dimitris Moudilos

{"title":"Towards model reuse in low-code development platforms based on knowledge graphs","authors":"Ilirian Ibrahimi, Dimitris Moudilos","doi":"10.1145/3550356.3561570","DOIUrl":"https://doi.org/10.1145/3550356.3561570","url":null,"abstract":"Low-code Development Platforms (LCDP) are applications to provide fast full-stack application development. These platforms rely on models as their core artifacts in order to reduce the complexity of software development. Despite the growing need and importance of using models in low-code platforms, there is still limited support for model discovery and reuse, which leads to unnecessary repetitive work. Therefore, facilities for automated discovery and recommendation of relevant models and model fragments are desired. A prerequisite for producing relevant recommendations for adding new features to a model is a model repository equipped with an efficient query mechanism in combination with algorithms for processing the retrieved data. In this paper, we present an approach that enables model recommendations by initially converting and merging heterogeneous models into a homogeneous graph, which serves as the repository of our approach. Afterwards, the approach queries the repository for relevant matches and uses N-grams to produce recommendations for models under development. The current approach is demonstrated on the zAppDev LCDP, but conceptually it can be integrated on any LCDP and can be applied for the reuse of any graph-based model. We evaluated our approach by reconstructing four different models that do not exist in our repository with the support of our approach.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"223 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122388383","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Transforming domain models to efficient C# for the Danish pension industry 为丹麦养老金行业将领域模型转换为高效的c#

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561580

Holger Stadel Borum, Morten Tychsen Clausen

{"title":"Transforming domain models to efficient C# for the Danish pension industry","authors":"Holger Stadel Borum, Morten Tychsen Clausen","doi":"10.1145/3550356.3561580","DOIUrl":"https://doi.org/10.1145/3550356.3561580","url":null,"abstract":"Danish insurance and pension companies are required by financial regulations to report certain financial quantities to prove that they are solvent and managed responsibly. Parts of these quantities are computed the same way for all companies, whereas so-called management actions, describing, e.g., surplus sharing, vary between companies. Hence it is desirable to have a flexible calculation platform that allows actuaries to easily create company-specific models, which are also computationally efficient. In this paper, we present our work with implementing a code generator for a DSL called the Management Action Language (MAL) as a form of variability management. While one of the goals of MAL is to generate efficient code from an actuary's specification, it is non-trivial how to produce such code. We identify four reoccurring patterns in the models created by actuaries as subjects to optimisations. We describe our process for implementing a code-generator by a) identifying four specification patterns (inheritance, union types, type filtering, and numerical maps) that are pervasive in these calculations, and b) describing how to generate efficient C# from MAL for these patterns. We evaluate the code-generator by benchmarking it against handwritten production code and show an approximate 1.3× speedup in a production environment. This evaluation demonstrates that, with MAL, an individual pension company may reuse the general calculation platform and all of the optimisations built into MAL's code generator when modelling the company's business rules.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127987482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Towards round-trip engineering of code fragments embedded in models 实现嵌入在模型中的代码片段的往返工程

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561578

Sultan Almutairi, Athanasios Zolotas, D. Kolovos

引用次数: 0

Augmenting model-based systems engineering with knowledge 用知识扩充基于模型的系统工程

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3561548

Luis Palacios Medinacelli, Florian Noyrit, C. Mraidha

{"title":"Augmenting model-based systems engineering with knowledge","authors":"Luis Palacios Medinacelli, Florian Noyrit, C. Mraidha","doi":"10.1145/3550356.3561548","DOIUrl":"https://doi.org/10.1145/3550356.3561548","url":null,"abstract":"This article presents a general approach for the integration of Knowledge Bases into Model-Based Systems Engineering tools. In existing tools, domain-specific modeling languages are well supported. However when it comes to enforcing design constraints, existing approaches are verbose, it is difficult to be complete and consistent, and the reuse of knowledge is only possible in a limited way (mainly through model libraries). Furthermore, current tools usually lack or have limited capability to detect semantic errors, ability to evaluate the models with respect to formal expert knowledge, and the ability to understand what is being designed. Our work addresses these limitations through the semantic annotation of UML models in Papyrus (an MBSE Tool), to attach domain-specific semantics to the models. This integration enables not only reasoning capabilities over the annotated models, but the models can be shared with semantic-compatible tools and stakeholders. Moreover, the models can reuse and integrate knowledge generated outside the tooling environment. The approach's feasibility is demonstrated through an implementation that defines a technology stack, with emphasis on the mapping of UML elements and its counterparts in the ontology. We address the coherence and preservation of the semantics throughout the transformation process, which enable the formalization of constraints coming from the UML's system design. Finally, we illustrate the reasoning capabilities by evaluating expert knowledge via SPARQL queries and SWRL rules.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116783426","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Measuring the fidelity of digital twin systems 测量数字孪生系统的保真度

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Pub Date : 2022-10-23 DOI: 10.1145/3550356.3558516

Paula Muñoz

引用次数: 1