Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems最新文献

Automatic generation of detailed flight plans from high-level mission descriptions 从高级任务描述自动生成详细的飞行计划

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2016-10-02 DOI: 10.1145/2976767.2976794

D. D. Ruscio, I. Malavolta, Patrizio Pelliccione, Massimo Tivoli

引用次数: 27

A requirement driven testing method for multi-disciplinary system design 面向多学科系统设计的需求驱动测试方法

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2016-10-02 DOI: 10.1145/2976767.2976795

Martial Chabot, L. Pierre, Alexandre Nabais-Moreno

{"title":"A requirement driven testing method for multi-disciplinary system design","authors":"Martial Chabot, L. Pierre, Alexandre Nabais-Moreno","doi":"10.1145/2976767.2976795","DOIUrl":"https://doi.org/10.1145/2976767.2976795","url":null,"abstract":"In cyber-physical systems, the operations of various physical entities are controlled by computing cores. Therefore the design of these systems involves multi-disciplinary teams, for the development of the electronic devices and embedded firmware, but also for the design of the physical components (with mechanical, electrical, thermal, electromagnetic features). This intimate coupling of disparate elements makes correctness analysis very complex. Composite requirements have to be verified. In many application domains some of these requirements come from standardization documents, e.g., for systems that have to conform to IEC standards. One of the main challenges is to make the variety of experts coordinate towards the satisfaction of these requirements, in spite of the fact that they are accustomed to focusing on their domain-specific issues, with their specialized tools. The aim of the method proposed here is to provide a unified testing framework to enable the validation of cross-disciplinary requirements. Since we target a general-purpose solution, usable by all disciplines, the method is specified using an abstract modeling language, namely SysML.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134151493","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

Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics 面向现实模型的表征:多学科图形度量的评价

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2016-10-02 DOI: 10.1145/2976767.2976786

Gábor Szárnyas, Z. Kővári, Ágnes Salánki, Dániel Varró

引用次数: 25

Automated refactoring of ATL model transformations: a search-based approach ATL模型转换的自动重构:基于搜索的方法

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2016-10-02 DOI: 10.1145/2976767.2976782

Bader Alkhazi, Terry Ruas, M. Kessentini, M. Wimmer, W. Grosky

{"title":"Automated refactoring of ATL model transformations: a search-based approach","authors":"Bader Alkhazi, Terry Ruas, M. Kessentini, M. Wimmer, W. Grosky","doi":"10.1145/2976767.2976782","DOIUrl":"https://doi.org/10.1145/2976767.2976782","url":null,"abstract":"Model transformation programs evolve through a process of continuous change. However, this process may weaken the design of the transformation programs and make it unnecessarily complex, leading to increased fault-proneness. Refactoring improves the software design while preserving overall functionality and behavior. However, very few studies addressed the problem of refactoring model transformation programs. These existing studies provided an entirely manual or semi-automated refactoring support to transformation languages such as ATL. In this paper, we propose a fully-automated search-based approach to refactor model transformations based on a multi-objective algorithm that recommends the best refactoring sequence (e.g. extract rule, merge rules, etc.) optimizing a set of ATL-based quality metrics (e.g. number of rules, coupling, etc.). To validate our approach, we apply it to a comprehensive dataset of model transformations. The statistical analysis of our experiments over 30 runs shows that our automated approach recommended useful refactorings based on benchmark of ATL programs and compared to random search, mono-objective search formulation and a semi-automated refactoring approach not based heuristic search.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114394757","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}

引用次数: 21

Ground setting properties for an efficient translation of OCL in SMT-based model finding 在基于smt的模型查找中有效转换OCL的基础设置属性

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2016-10-02 DOI: 10.1145/2976767.2976780

Nils Przigoda, R. Wille, R. Drechsler

引用次数: 22

A generic framework for model-set selection for the unification of testing and learning MDE tasks 用于统一测试和学习MDE任务的模型集选择的通用框架

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2016-10-02 DOI: 10.1145/2976767.2976785

Edouard R. Batot, H. Sahraoui

引用次数: 25

ThingML: a language and code generation framework for heterogeneous targets ThingML:针对异构目标的语言和代码生成框架

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2016-10-02 DOI: 10.1145/2976767.2976812

Nicolas Harrand, Franck Fleurey, Brice Morin, Knut Eilif Husa

{"title":"ThingML: a language and code generation framework for heterogeneous targets","authors":"Nicolas Harrand, Franck Fleurey, Brice Morin, Knut Eilif Husa","doi":"10.1145/2976767.2976812","DOIUrl":"https://doi.org/10.1145/2976767.2976812","url":null,"abstract":"One of the selling points of Model-Driven Software Engineering (MDSE) is the increase in productivity offered by automatically generating code from models. However, the practical adoption of code generation remains relatively slow and limited to niche applications. Tooling issues are often pointed out but more fundamentally, experience shows that: (i) models and modeling languages used for other purposes are not necessarily well suited for code generation and (ii) code generators are often seen as black-boxes which are not easy to trust and produce sub-optimal code. This paper presents and discusses our experiences applying the ThingML approach to different domains. ThingML includes a modeling language and tool designed for supporting code generation and a highly customizable multi-platform code generation framework. The approach is implemented in an open-source tool providing a family of code generators targeting heterogeneous platforms. It has been evaluated through several case studies and is being used for in the development of a commercial ambient assisted living system.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115243474","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}

引用次数: 117

Controlled experiment on the comprehension of runtime phenomena using models created at design time 使用在设计时创建的模型来理解运行时现象的控制实验

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2016-10-02 DOI: 10.1145/2976767.2976768

Michael Szvetits, Uwe Zdun

{"title":"Controlled experiment on the comprehension of runtime phenomena using models created at design time","authors":"Michael Szvetits, Uwe Zdun","doi":"10.1145/2976767.2976768","DOIUrl":"https://doi.org/10.1145/2976767.2976768","url":null,"abstract":"Utilizing models for software construction is a well-studied research topic. Recent research investigates the integration of models into running systems to provide additional information about the system configuration at runtime. While this additional information enables innovative self-adaptive mechanisms, it is still an open research question if the information provided by models can also improve the analysis capabilities of human users where manual intervention is inevitable for investigating runtime phenomena. This paper contributes to fill this gap by conducting a controlled experiment where the correctness and completion time of tasks regarding runtime information are assessed. A control and experiment group had to analyze the output of a software system, and the experiment group additionally received traceability links between models and associated runtime records. The results show that improvements of the analysis can especially be observed where model elements emphasize relationships between system parts that are hardly recognizable in the implementation code.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121699629","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}

引用次数: 7

Integration of a graph-based model indexer in commercial modelling tools 商业建模工具中基于图的模型索引器的集成

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2016-10-02 DOI: 10.1145/2976767.2976809

A. García-Domínguez, Konstantinos Barmpis, D. Kolovos, M. A. D. Silva, Antonin Abhervé, A. Bagnato

引用次数: 11

PrefetchML: a framework for prefetching and caching models PrefetchML:一个用于预取和缓存模型的框架

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems Pub Date : 2016-10-02 DOI: 10.1145/2976767.2976775

Gwendal Daniel, G. Sunyé, Jordi Cabot

引用次数: 10