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

Purpose-driven model-driven engineering education 目的驱动的模型驱动的工程教育

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

Daniel Calegari, Andrea Delgado

引用次数: 0

Eat your own DevOps: a model driven approach to justify continuous integration pipelines 吃掉你自己的DevOps:一种模型驱动的方法来证明持续集成管道的合理性

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

Corinne Pulgar

引用次数: 0

Analyzing model changes with Loupe 用Loupe分析模型变化

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

S. Popoola, J. Gray, A. García-Domínguez, D. Kolovos

{"title":"Analyzing model changes with Loupe","authors":"S. Popoola, J. Gray, A. García-Domínguez, D. Kolovos","doi":"10.1145/3550356.3561564","DOIUrl":"https://doi.org/10.1145/3550356.3561564","url":null,"abstract":"Models are software artifacts that are subject to continuous change. The extraction and analysis of these changes may significantly affect model maintenance. Existing work has already investigated processes and techniques to support, analyze and mitigate the impact of changes to models. However, most of these works focus on the analysis of changes between two sets of models and do not take a holistic approach to the entire version history of models. Furthermore, there is limited support for constructing user-defined queries that can be used to extract change information from models. This makes it challenging to analyse the changes over the version history of the models. To support change analysis across the entire version history, we developed a change analyzer named Loupe, which can be used to query and extract change information from all versions of a model. Loupe stores the changes across successive model versions and also provides a set of language constructs to query the changes. Loupe has been compared against a generic model indexing tool (Eclipse Hawk), evaluating its capability to extract changes across two successive model versions and its capability to detect instances of a refactoring operation that has been executed across a model's history. Loupe was able to extract this information using queries that were more concise and ran faster than what could be written for Hawk.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"1 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":"128791419","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

Deriving model-based safety and security assurance cases from design rationale of countermeasure patterns 从对策模式的设计原理推导出基于模型的安全和安全保障案例

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

Roman Trentinaglia

{"title":"Deriving model-based safety and security assurance cases from design rationale of countermeasure patterns","authors":"Roman Trentinaglia","doi":"10.1145/3550356.3558508","DOIUrl":"https://doi.org/10.1145/3550356.3558508","url":null,"abstract":"Cyber-physical Systems are computerized systems that control mechanical parts. These systems have to be both, safe and secure. Established safety and security standards therefore mandate the creation of assurance cases (ACs) which argue that the system is safe and secure, i.e., that all safety and security goals have been achieved. However, in practice, safety and security teams often work separated and ACs are usually created late in the development in a manual manner. In addition to the high effort required to reconstruct taken design decisions, this approach leads to conflicts being found late, when changes are hardly possible. As engineers often make use of mitigation strategies and countermeasure patterns to achieve the stated safety and security goals, I propose an approach to augment these patterns with additional design rationale and AC fragments to support the creation of complete ACs in a semi-automatic manner. With this approach, I want to pave the way towards an integrated Safety & Security by Design process by bringing together safety and security experts in early stages of the development. This objective shall be achieved by allowing them to work on a common design rationale, which shall further be re-used to automatically derive ACs. Thereby, the manual effort of AC creation is reduced and the susceptibility to errors is decreased.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"36 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":"127688022","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

The Epsilon Playground 爱扑塞隆游乐场

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

D. Kolovos, A. García-Domínguez

引用次数: 0

Using trace alignments for measuring the similarity between a physical and its digital twin 使用轨迹对齐来测量物理和数字孪生之间的相似性

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

Paula Muñoz, M. Wimmer, J. Troya, Antonio Vallecillo

引用次数: 5

A refined model of ill-definedness in project-based learning 基于项目的学习中不明确的改进模型

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

Arthur Rump, V. Zaytsev

引用次数: 1

DescribeML: a tool for describing machine learning datasets 描述机器学习数据集的工具

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

Joan Giner-Miguelez, A. Gómez, Jordi Cabot

引用次数: 10

Automated, traceable, and interactive domain modelling 自动化的、可跟踪的和交互式的领域建模

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

Rijul Saini

引用次数: 0

Metamodels to support database migration between heterogeneous data stores 元模型支持异构数据存储之间的数据库迁移

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

Andrew P. Conrad, Philipp Utzmann, Meike Klettke, U. Störl

{"title":"Metamodels to support database migration between heterogeneous data stores","authors":"Andrew P. Conrad, Philipp Utzmann, Meike Klettke, U. Störl","doi":"10.1145/3550356.3561574","DOIUrl":"https://doi.org/10.1145/3550356.3561574","url":null,"abstract":"Even though relational database systems still play a major role in data management, they are reaching their limits in some cases. This relates, for example, to the increasingly large, often unstructured or highly linked data that need to be managed. To meet these requirements, various specialized NoSQL database systems have been developed. Their specialization has them differ significantly in terms of data model, query language and design guidelines. In addition, applications sometimes have complex requirements that cannot be met by a single database system (\"one size does not fit all\"). As a result, polyglot persistence and multi-model database systems become increasingly important. Due to the large number of specialized database systems and changing requirements for the database system used by an application, there is also a need to be able to easily migrate from one database system to another. Here, the heterogeneity and schema flexibility (most NoSQL systems are \"schema on write\") pose some challenges in this regard. To avoid point-to-point transformations, a platform-independent metamodel that combines the various platform-specific models plays a central role. This also includes the necessary mapping rules between the metamodel and the platform-specific models. In this paper, different metamodels are evaluated in accordance with previously defined criteria and a suitable metamodel (the M-Model) with a focus on migration between different database systems is developed.","PeriodicalId":182662,"journal":{"name":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","volume":"20 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":"133857230","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