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

Program Board 程序委员会

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

引用次数: 0

Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution 基于符号执行的声明性图转换控制流分析

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

Florian Ege, Matthias Tichy

{"title":"Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution","authors":"Florian Ege, Matthias Tichy","doi":"10.1109/MODELS50736.2021.00024","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00024","url":null,"abstract":"The declarative graph transformation language Henshin transforms instance models represented as graphs by applying a series of basic steps that match and replace structural patterns on parts of models. These simple transformation rules are then combined into control flow constructs similar to those of imperative programming languages to create more complex transformations. However, defects in the structure of control flow or in transformation rules might misschedule the application of operations, resulting in basic steps to be inapplicable or produce incorrect output. Understanding and fixing these bugs is complicated by the fact that pattern matching in rules is non-deterministic. Moreover, some control flow structures employ a nondeterministic choice of alternatives. This makes it challenging for developers to keep track of all the possible execution paths and interactions between them. For conventional programming languages, techniques have been developed to execute a program symbolically. By abstracting over the concrete values of variables in any actual run, generalized knowledge is gained about the possible behavior of the program. This can be useful in understanding problems and fixing bugs. In this paper, we present an approach to symbolically execute graph transformations for a subset of Henshin, using symbolic path constraints based on the cardinalities of graph pattern occurrences in the model.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"86 6 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":"126094875","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

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

Designing a Modeling Language for Customer Journeys: Lessons Learned from User Involvement 为客户旅程设计一种建模语言:从用户参与中学到的经验

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

R. Halvorsrud, Costas Boletsis, Enrique Garcia-Ceja

{"title":"Designing a Modeling Language for Customer Journeys: Lessons Learned from User Involvement","authors":"R. Halvorsrud, Costas Boletsis, Enrique Garcia-Ceja","doi":"10.1109/MODELS50736.2021.00032","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00032","url":null,"abstract":"Although numerous methods have been formalized for handling the technical aspects of developing domain-specific modeling languages (DSMLs), user needs and usability aspects are often addressed in ad hoc manners and late in the development process. Working in this context, this paper presents the development of the customer journey modeling language (CJML), a DSML for modeling service processes from the end-user's perspective. CJML targets a wide and heterogeneous group of users, making it especially challenging regarding usability. This paper describes how an industry-relevant DSML was systematically improved by using a variety of user-centered design techniques in close collaboration with the target group and how their feedback was used to refine and evolve the syntax and semantics of CJML. We also suggest how a service-providing organization may benefit from adopting CJML as a unifying language for documentation purposes, compliance analysis, and service innovation. Finally, we generalize the experience gained into lessons learned and methodological guidelines.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"464 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":"130258635","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