2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)最新文献_第2页

Scalable N-Way Model Matching Using Multi-Dimensional Search Trees 使用多维搜索树的可扩展N-Way模型匹配

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-10-01 DOI: 10.1109/MODELS50736.2021.00010

Alexander Schultheiss, P. M. Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer

{"title":"Scalable N-Way Model Matching Using Multi-Dimensional Search Trees","authors":"Alexander Schultheiss, P. M. Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer","doi":"10.1109/MODELS50736.2021.00010","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00010","url":null,"abstract":"Model matching algorithms are used to identify common elements in input models, which is a fundamental precondition for many software engineering tasks, such as merging software variants or views. If there are multiple input models, an n-way matching algorithm that simultaneously processes all models typically produces better results than the sequential application of two-way matching algorithms. However, existing algorithms for n-way matching do not scale well, as the computational effort grows fast in the number of models and their size. We propose a scalable n-way model matching algorithm, which uses multi-dimensional search trees for efficiently finding suitable match candidates through range queries. We implemented our generic algorithm named RaQuN (Range Queries on N input models) in Java, and empirically evaluate the matching quality and runtime performance on several datasets of different origin and model type. Compared to the state-of-the-art, our experimental results show a performance improvement by an order of magnitude, while delivering matching results of better quality.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133785437","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}

引用次数: 6

Leveraging Model-Driven Technologies for JSON Artefacts: The Shipyard Case Study 利用JSON工件的模型驱动技术:船厂案例研究

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-10-01 DOI: 10.1109/MODELS50736.2021.00033

A. Colantoni, Antonio Garmendía, L. Berardinelli, M. Wimmer, Johannes Bräuer

{"title":"Leveraging Model-Driven Technologies for JSON Artefacts: The Shipyard Case Study","authors":"A. Colantoni, Antonio Garmendía, L. Berardinelli, M. Wimmer, Johannes Bräuer","doi":"10.1109/MODELS50736.2021.00033","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00033","url":null,"abstract":"With JSON's increasing adoption, the need for structural constraints and validation capabilities led to JSON Schema, a dedicated meta-language to specify languages which are in turn used to validate JSON documents. Currently, the standardisation process of JSON Schema and the implementation of adequate tool support (e.g., validators and editors) are work in progress. However, the periodic issuing of newer JSON Schema drafts makes tool development challenging. Nevertheless, many JSON Schemas as language definitions exist, but JSON documents are still mostly edited in basic text-based editors. To tackle this challenge, we investigate in this paper how Model-Driven Engineering (MDE) methods for language engineering can help in this area. Instead of re-inventing the wheel of building up particular technologies directly for JSON, we study how the existing MDE infrastructures may be utilized for JSON. In particular, we present a bridge between the JSONware and Modelware technical spaces to exchange languages and documents. Based on this bridge, our approach supports language engineers, domain experts, and tool providers in editing, validating, and generating tool support with enhanced capabilities for JSON schemas and their documents. We evaluate our approach with Shipyard, a JSON Schema-based language for the workflow specification for Keptn, an open-source tool for DevOps automation of cloud-native applications. The results of the case study show that proper editors and language evolution support from MDE can be reused and, at the same time, the surface syntax of JSON is maintained.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134561726","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}

引用次数: 6

Model-Driven Simulation-Based Analysis for Multi-Robot Systems 基于模型驱动仿真的多机器人系统分析

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-10-01 DOI: 10.1109/MODELS50736.2021.00040

J. Harbin, Simos Gerasimou, N. Matragkas, Athanasios Zolotas, R. Calinescu

{"title":"Model-Driven Simulation-Based Analysis for Multi-Robot Systems","authors":"J. Harbin, Simos Gerasimou, N. Matragkas, Athanasios Zolotas, R. Calinescu","doi":"10.1109/MODELS50736.2021.00040","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00040","url":null,"abstract":"Multi-robot systems are increasingly deployed to provide services and accomplish missions whose complexity or cost is too high for a single robot to achieve on its own. Although multi-robot systems offer increased reliability via redundancy and enable the execution of more challenging missions, engineering these systems is very complex. This complexity affects not only the architecture modelling of the robotic team but also the modelling and analysis of the collaborative intelligence enabling the team to complete its mission. Existing approaches for the development of multi-robot applications do not provide a systematic mechanism for capturing these aspects and assessing the robustness of multi-robot systems. We address this gap by introducing ATLAS, a novel model-driven approach supporting the systematic robustness analysis of multi-robot systems in sim-illation. The ATLAS domain-specific language enables modelling the architecture of the robotic team and its mission, and facilitates the specification of the team's intelligence. We evaluate ATLAS and demonstrate its effectiveness on two oceanic exploration missions performed by a team of unmanned underwater vehicles developed using the MOOS-IvP robotic simulator.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114778434","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}

引用次数: 4

A Lean Approach to Building Valid Model-Based Safety Arguments 构建有效的基于模型的安全论证的精益方法

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-10-01 DOI: 10.1109/MODELS50736.2021.00028

Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy I. Shahin, M. Chechik

{"title":"A Lean Approach to Building Valid Model-Based Safety Arguments","authors":"Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy I. Shahin, M. Chechik","doi":"10.1109/MODELS50736.2021.00028","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00028","url":null,"abstract":"In recent decades, cyber-physical systems developed using Model-Driven Engineering (MDE) techniques have become ubiquitous in safety-critical domains. Safety assurance cases (ACs) are structured arguments designed to comprehensively show that such systems are safe; however, the reasoning steps, or strategies, used in AC arguments are often informal and difficult to rigorously evaluate. Consequently, AC arguments are prone to fallacies, and unsafe systems have been deployed as a result of fallacious ACs. To mitigate this problem, prior work [32] created a set of provably valid AC strategy templates to guide developers in building rigorous ACs. Yet instantiations of these templates remain error-prone and still need to be reviewed manually. In this paper, we report on using the interactive theorem prover Lean to bridge the gap between safety arguments and rigorous model-based reasoning. We generate formal, modelbased machine-checked AC arguments, taking advantage of the traceability between model and safety artifacts, and mitigating errors that could arise from manual argument assessment. The approach is implemented in an extended version of the MMINT-A model management tool [10]. Implementation includes a conversion of informal claims into formal Lean properties, decomposition into formal sub-properties and generation of correctness proofs. We demonstrate the applicability of the approach on two safety case studies from the literature.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128031251","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

Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving 约束自然语言和基于模型的自动驾驶自适应测试生成

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-10-01 DOI: 10.1109/MODELS50736.2021.00019

Yize Shi, Chengjie Lu, Man Zhang, Huihui Zhang, T. Yue, Shaukat Ali

{"title":"Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving","authors":"Yize Shi, Chengjie Lu, Man Zhang, Huihui Zhang, T. Yue, Shaukat Ali","doi":"10.1109/MODELS50736.2021.00019","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00019","url":null,"abstract":"With the aim to reduce car accidents, autonomous driving attracted a lot of attentions these years. However, recently reported crashes indicate that this goal is far from being achieved. Hence, cost-effective testing of autonomous driving systems (ADSs) has become a prominent research topic. The classical model-based testing (MBT), i.e., generating test cases from test models followed by executing the test cases, is ineffective for testing ADSs, mainly because of the constant exposure to ever-changing operating environments, and uncertain internal behaviors due to employed AI techniques. Thus, MBT must be adaptive to guide test case generation based on test execution results in a step-wise manner. To this end, we propose a natural language and model-based approach, named LiveTCM, to automatically execute and generate test case specifications (TCSs) by interacting with an ADS under test and its environment. LiveTCM is evaluated with an open-source ADS and two test generation strategies: Deep Q-Network (DQN)-based and Random. Results show that LiveTCM with DQN can generate TCSs with 56 steps on average in 60 seconds, leading to 6.4 test oracle violations and covering 14 APIs per TCS on average.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131228966","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}

引用次数: 5

Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development 模型驱动开发环境下分布式反应系统的高效基于重放的回归测试

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-10-01 DOI: 10.1109/MODELS50736.2021.00018

Majid Babaei, Juergen Dingel

{"title":"Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development","authors":"Majid Babaei, Juergen Dingel","doi":"10.1109/MODELS50736.2021.00018","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00018","url":null,"abstract":"As software evolves, regression testing techniques are typically used to ensure the new changes are not adversely affecting the existing features. Despite recent advances, regression testing for distributed systems remains challenging and extremely costly. Existing techniques often require running a failing system several time before detecting a regression. As a result, conventional approaches that use re-execution without considering the inherent non-determinism of distributed systems, and providing no (or low) control over execution are inadequate in many ways. In this paper, we present MRegTest, a replay-based regression testing framework in the context of model-driven development to facilitate deterministic replay of traces for detecting regressions while offering sufficient control for the purpose of testing over the execution of the changed system. The experimental results show that compared to the traditional approaches that annotate traces with timestamps and variable values MRegTest detects almost all regressions while reducing the size of the trace significantly and incurring similar runtime overhead.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124836858","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}

引用次数: 2

On Designing Applied DSLs for Non-Programming Experts in Evolving Domains 演化领域非编程专家应用领域语言的设计

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-10-01 DOI: 10.1109/MODELS50736.2021.00031

Holger Stadel Borum, H. Niss, P. Sestoft

{"title":"On Designing Applied DSLs for Non-Programming Experts in Evolving Domains","authors":"Holger Stadel Borum, H. Niss, P. Sestoft","doi":"10.1109/MODELS50736.2021.00031","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00031","url":null,"abstract":"Domain-specific languages (DSLs) have emerged as a plausible way for non-programming experts to efficiently express their domain knowledge. Recent DSL research has taken a technical perspective on how and why to create DSLs, resulting in a wealth of innovative tools, frameworks and technical approaches. Less attention has been paid to the design process. Namely, how can it ensure that the created DSL realises the expected benefits? This paper seeks to answer this question when designing DSLs for highly specialised domains subject to resource constraints, an evolving application domain, and scarce user participation. We propose an iteration of alternating activities in a human-centred design method that seeks to minimise the need for expensive implementation and user involvement. The method moves from a low-validity exploration of highly diverse language designs towards a higher-validity exploration of more homogeneous designs. We give an in-depth case study of designing an actuarial DSL called MAL, or Management Action Language, which allows actuaries to model so-called future management actions in asset/liability projections in life insurance and pension companies. The proposed human-centred design method was synthesised from this case study, where we found it useful for iteratively identifying and removing usability problems during the design.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130185311","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}

引用次数: 4

A GNN-based Recommender System to Assist the Specification of Metamodels and Models 基于gnn的辅助元模型和模型规范的推荐系统

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-10-01 DOI: 10.1109/MODELS50736.2021.00016

Juri Di Rocco, Claudio Di Sipio, D. D. Ruscio, Phuong T. Nguyen

引用次数: 14

Repository Mining for Changes in Simulink Models 库挖掘在Simulink模型中的变化

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-10-01 DOI: 10.1109/MODELS50736.2021.00014

Monika Jaskolka, Vera Pantelic, Alan Wassyng, M. Lawford, R. Paige

引用次数: 4

Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules 自动补丁生成修复ATL转换规则中的语义错误

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-10-01 DOI: 10.1109/MODELS50736.2021.00011

Zahra VaraminyBahnemiry, Jessie Galasso, Khalid Belharbi, H. Sahraoui

引用次数: 1