2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)最新文献_第8页

Search-based decision ordering to facilitate product line engineering of Cyber-Physical System 基于搜索的决策排序促进信息物理系统的产品线工程

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005717006910703

T. Yue, Shaukat Ali, Hong Lu, Kunming Nie

{"title":"Search-based decision ordering to facilitate product line engineering of Cyber-Physical System","authors":"T. Yue, Shaukat Ali, Hong Lu, Kunming Nie","doi":"10.5220/0005717006910703","DOIUrl":"https://doi.org/10.5220/0005717006910703","url":null,"abstract":"Industrial Cyber Physical Systems (CPSs) are naturally complex. Manual configuration of CPS product lines is error-prone and inefficient, which warrants the need for automated support of product configuration activities such as decision inference and decision ordering. A fully automated solution is often impossible for CPSs since some decisions must be made manually by configuration engineers and thus requiring an interactive and step-by-step configuration solution. Having an interactive solution with tool support in mind, we propose a search-based solution (named as Zen-DO) to support optimal ordering of configuration steps. The optimization objective has three parts: 1) minimizing overall manual configuration steps, 2) configuring most constraining decisions first, and 3) satisfying ordering dependencies among variabilities. We formulated our optimization objective as a fitness function and investigated it along with four search algorithms: Alternating Variable Method (AVM), (1+1) Evolutionary Algorithm (EA), Genetic Algorithm, and Random Search (a comparison baseline). Their performance is evaluated in terms of finding an optimal solution for two real-world case studies of varying complexity and results show that AVM and (1+1) EA significantly outperformed the others.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126826260","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}

引用次数: 9

Automating activities in MDE tools 自动化MDE工具中的活动

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005760701230133

M. Gamboa, Eugene Syriani

引用次数: 8

Model-driven approach for verifying conformity of models in the presence of constraints 在存在约束的情况下验证模型一致性的模型驱动方法

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005744504550466

César Cuevas Cuesta, P. Martínez, J. Drake

{"title":"Model-driven approach for verifying conformity of models in the presence of constraints","authors":"César Cuevas Cuesta, P. Martínez, J. Drake","doi":"10.5220/0005744504550466","DOIUrl":"https://doi.org/10.5220/0005744504550466","url":null,"abstract":"This paper presents a model-driven approach for the systematic development of tools for checking the conformity of models when the domain formalization does not only consist of a meta-model but also on a set of constraints enhancing it. The strategy is built on top of the idea of representing the result of the verification as a model which gathers all the constraint violations found in the model, formulating them in a way that allows their later detailed manifestation, automatic correction or any other potential processing. With that aim, a meta-model for supporting those models describing constraints violations has been designed. The verification is applied by means of an M2M transformation that takes as input the model to verify and generates a model conforming to the designed meta-model. This methodology constitutes the way to accomplish the final objective: designing a strategy for the development of a generic tool for verification, regardless any particular meta-model or constraints set. This is performed through the duality of a model transformation as a processing program but also as a processed artefact (model), by means of the Higher Order Transformation (HOT) technique.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"129 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130107971","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

Addressing model complexity in automotive system development: Selection of system model elements for allocation of requirements 解决汽车系统开发中的模型复杂性:为分配需求选择系统模型元素

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005652101680175

Grischa Liebel, Andreea Olaru, Henrik Lönn, Henrik Kaijser, S. Rajendran, Urban Ingelsson, Richard Berntsson-Svensson

{"title":"Addressing model complexity in automotive system development: Selection of system model elements for allocation of requirements","authors":"Grischa Liebel, Andreea Olaru, Henrik Lönn, Henrik Kaijser, S. Rajendran, Urban Ingelsson, Richard Berntsson-Svensson","doi":"10.5220/0005652101680175","DOIUrl":"https://doi.org/10.5220/0005652101680175","url":null,"abstract":"Modern automotive embedded systems are developed by Original Equipment Manufacturers (OEM) together with multiple suppliers. A key problem for a supplier is to allocate an OEM's requirements specification to their own subsystem design. This is a difficult manual task especially on complex systems and it requires expert knowledge about the system design. To address this problem, this paper presents a design science research to develop and evaluate a Requirements Allocation Assistant tool (RAA). The tool provides functionality to search through and filter requirements and system models to enable efficient requirements allocation even in the presence of complexity. RAA is built on top of the EATOP/Eclipse framework using EAST-ADL as system modelling language. The tool was evaluated and validated during a qualitative usability study with 17 engineers active in the Swedish automotive industry. Key findings are that searching is used to learn about a system, whereas filtering is used to narrow down a set of candidate elements of the system design. Engineers request further support in narrowing down a set of candidate elements and in checking that an allocation is correct.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131038431","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

A methodology for deriving Conceptual Data Models from Systems Engineering artefacts 从系统工程工件中派生概念数据模型的方法

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005676604970508

Christian Hennig, H. Eisenmann, A. Viehl, O. Bringmann

引用次数: 0

Towards statistical comparison and analysis of models 对模型进行统计比较和分析

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005799103610367

Önder Babur, L. Cleophas, T. Verhoeff, M. Brand

引用次数: 10

Change rule execution scheduling in incremental roundtrip engineering chain: From model-to-code and back 增量往返工程链中的变更规则执行调度:从模型到代码再返回

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005687702250232

V. C. Pham, A. Radermacher, S. Gérard, Florian Noyrit

{"title":"Change rule execution scheduling in incremental roundtrip engineering chain: From model-to-code and back","authors":"V. C. Pham, A. Radermacher, S. Gérard, Florian Noyrit","doi":"10.5220/0005687702250232","DOIUrl":"https://doi.org/10.5220/0005687702250232","url":null,"abstract":"Model driven engineering allows many stakeholders to contribute their expertise to the system description. This practice enables agility but implies consistency maintenance issues between different system models. Incremental model transformations (IMT) are used to synchronize different artifacts contributed by the stakeholders. IMTs detect changes on the source model and execute change rules to propagate updates to the target model. However, the execution of change rules is not straightforward. A rule is only correctly executed if its precondition is satisfied at execution time. The precondition checks the availability of certain source and target elements involved in the rule. If a rule is executed when the precondition is false, either the execution is blocked or stopped. Therefore, the produced target model becomes incorrect. This paper presents two approaches to the scheduling of change rule execution in incremental model transformations. These approaches are also applied to the case of model and code synchronization and implemented in a tool named IncRoundtrip that transforms and generates code for distributed systems. We also compare the runtime execution performance of different incremental approaches with batch transformation and evaluate their correctness.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130673428","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

Choreography modelling in embedded systems domain: Requirements and implementation technologies 嵌入式系统领域的编排建模:需求和实现技术

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005686700750086

Nebojaa Tauaan, Jouni Markkula, P. Kuvaja, M. Oivo

引用次数: 4

A MOF-based social Web services description metamodel 基于mof的社会Web服务描述元模型

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-12-09 DOI: 10.5220/0005687302170224

A. Benna, Z. Maamar, M. Ahmed-Nacer

引用次数: 0

A data extraction process for avionics systems' interface specifications 航空电子系统接口规格数据提取程序

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 1900-01-01 DOI: 10.5220/0005745905440554

Hassna Louadah, R. Champagne, Y. Labiche, Yann-Gaël Guéhéneuc

{"title":"A data extraction process for avionics systems' interface specifications","authors":"Hassna Louadah, R. Champagne, Y. Labiche, Yann-Gaël Guéhéneuc","doi":"10.5220/0005745905440554","DOIUrl":"https://doi.org/10.5220/0005745905440554","url":null,"abstract":"Avionics systems, along with their internal hardware and software components interfaces, must be well defined and specified (e.g., unambiguous, complete, verifiable, consistent, and traceable specification). Such a specification is usually written in the form of an Interface Control Document (ICD), and represents the cornerstone of the avionics system integration activities. However, there is no commonly accepted language to define and use these ICDs and no common definition of what an ICD is or should contain. Indeed, avionics companies define their own, proprietary ICDs and processes. In this paper, we first identify the pieces of information that an ICD should contain for both federated and IMA open systems. Then, we propose a data extraction process that enables better understanding and more efficient extraction of open avionics systems interface specifications, and provides a clearer vision on the information needed to build a model driven solution for modeling avionics system interfaces, our long-term goal. We validate this process by applying it on a set of open avionics sub-system standards and the results have shown its feasibility.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125907550","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