发布求助
文献互助 智能选刊 最新文献

2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)最新文献

筛选
英文 中文
A recipe for tool interoperability 工具互操作性的配方
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004702203000308
Andreas Baumgart, Christian Ellen
{"title":"A recipe for tool interoperability","authors":"Andreas Baumgart, Christian Ellen","doi":"10.5220/0004702203000308","DOIUrl":"https://doi.org/10.5220/0004702203000308","url":null,"abstract":"Typical engineering and verification workflows for safety-relevant systems are performed with many different tools. For such workflows safety standards like the automotive ISO 26262 require traceability of all V&V-related work products. Therefore, efficient tool-integration, while ensuring all traceability needs for functional safety, is a highly relevant topic for industrial domains. Recent research projects like CESAR have addressed this topic by reusing tools and methods for different workflows in the context of requirements and systems engineering as well as verification and validation. This reuse is done in a Reference Technology Platform (RTP) with common services and a common understanding of exchanged information based on an Interoperability Specification (IOS). Recently, OSLC is discussed for such an IOS. The open question is how tools are connected efficiently and how traceability is ensured. This document provides a guideline on how to use the IOS for engineering workflows performed with different tools based on OSLC. We call it recipe. The recipe was developed in the MBAT project. It considers a systematic definition of semantic concepts for an IOS ensuring traceability and the level of granularity required to perform workflows with a set of tools.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129168686","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}
引用次数: 10
Information models and transformation principles applied to servitization of manufacturing and service systems design 制造业服务化与服务系统设计中的信息模型与转换原则
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004875206570665
C. Agostinho, Hassan Bazoun, G. Zacharewicz, Y. Ducq, Hadrien Boye
{"title":"Information models and transformation principles applied to servitization of manufacturing and service systems design","authors":"C. Agostinho, Hassan Bazoun, G. Zacharewicz, Y. Ducq, Hadrien Boye","doi":"10.5220/0004875206570665","DOIUrl":"https://doi.org/10.5220/0004875206570665","url":null,"abstract":"Based on systems engineering principles, information modelling is seen as a central activity for the development and life cycle support of a product or system. It enables to reduce the costs derived from miscommunications and misconceptions normally occurring throughout the service system design, analysis and maintenance activities. Supporting the servitization of manufacturing and the evolution towards product-service systems or extended products, modelling and interoperability is becoming of utmost importance to ensure coherence among conceptual design phases at organizational levels down to technology development. Therefore, this paper explores the model-driven development and model-driven interoperability transformations principles to unify every step of the development of service systems, from its start at the application's business requirements, through the design of technology independent functions, to deployable services.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126781190","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}
引用次数: 12
iArch - An IDE for supporting abstraction-aware design traceability iArch——一个支持抽象感知设计可追溯性的IDE
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004762604420447
Di Ai, Naoyasu Ubayashi, Peiyuan Li, Shintaro Hosoai, Yasutaka Kamei
{"title":"iArch - An IDE for supporting abstraction-aware design traceability","authors":"Di Ai, Naoyasu Ubayashi, Peiyuan Li, Shintaro Hosoai, Yasutaka Kamei","doi":"10.5220/0004762604420447","DOIUrl":"https://doi.org/10.5220/0004762604420447","url":null,"abstract":"Abstraction has been an important issue in software engineering. However, it is not easy to design an architec- ture reflecting the intention of developers and implement the result of a design as a program while preserving an adequate abstraction level. To deal with this problem, we provide iArch, an IDE (Integrated Development Environment) for supporting abstraction-aware traceability between design and code. The iArch IDE is based on Archface, an architectural interface mechanism exposing a set of architectural points that should be shared between design and code. An abstraction level is determined by selecting architectural points.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125657991","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
A novel approach to versioning and merging model and code uniformly 一种对模型和代码进行版本控制和统一合并的新方法
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004699802540263
O. Badreddin, T. Lethbridge, Andrew Forward
{"title":"A novel approach to versioning and merging model and code uniformly","authors":"O. Badreddin, T. Lethbridge, Andrew Forward","doi":"10.5220/0004699802540263","DOIUrl":"https://doi.org/10.5220/0004699802540263","url":null,"abstract":"Model Driven Architecture (MDA) advocates the use of models, rather than code, as the main development artifact. Yet model versioning and merging tools still lag in capabilities, ease of use and adoption relative to source code versioning and merging tools. This forces many teams to avoid model-based collaboration and concurrent model modifications. In this paper, we highlight the main challenges behind the relatively small adoption of model merging approaches. We present a novel model-based programming technology that addresses many of those challenges. The approach treats code and models uniformly, effectively enabling modelers to version and merge models using existing text-based technologies.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"113 1-2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132878814","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}
引用次数: 16
Towards co-evolution in model-driven development via bidirectional higher-order transformation 通过双向高阶转换实现模型驱动开发中的共同进化
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004809004660471
Bernhard Hoisl, Zhenjiang Hu, S. Hidaka
{"title":"Towards co-evolution in model-driven development via bidirectional higher-order transformation","authors":"Bernhard Hoisl, Zhenjiang Hu, S. Hidaka","doi":"10.5220/0004809004660471","DOIUrl":"https://doi.org/10.5220/0004809004660471","url":null,"abstract":"In model-Driven development (MDD), metamodels, models, and model transformations are interdependent. A change in one artifact must be reflected in all other related artifacts. Regardless of their dependencies, (meta)models and transformations can evolve autonomously rendering referenced artifacts invalid. Coupling the evolution of models to their corresponding metamodels tries to prevent such mismatches, but is currently limited to one-way adaptations and does not take model transformations into account. To eliminate these short-comings, we combine first-class transformation models with bidirectional transformations (BX). Our generic approach integrates BX into well-established Eclipse-based MDD tools, thereby neither being restricted to a specific modeling nor model transformation language.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131427898","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
Using the base semantics given by fUML for verification 使用uml给出的基本语义进行验证
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004662400050016
A. G. Romero, K. Schneider, M. Ferreira
{"title":"Using the base semantics given by fUML for verification","authors":"A. G. Romero, K. Schneider, M. Ferreira","doi":"10.5220/0004662400050016","DOIUrl":"https://doi.org/10.5220/0004662400050016","url":null,"abstract":"The lack of formal foundations of UML results in imprecise models since UML only defines graphical notations, but not their formal semantics. However, in safety-critical applications, formal semantics is a requirement for verification. Semantics for the key parts of activities and classes of UML is defined by the semantics of a foundational subset for executable UML models (fUML). Moreover, the base semantics given by fUML defines the formal semantics of UML. In this paper, we evaluate a subset of the base semantics given by fUML covering its formal definition and its use for verification. From the practical perspective, we show with a simple example how the base semantics can support formal verification through theorem proving. The initial results show that the base semantics, when mature, can play an important role in the formal verification of UML models.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122162235","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}
引用次数: 11
Enhanced code generation from UML composite state machines 从UML组合状态机增强代码生成
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004699602350245
O. Badreddin, T. Lethbridge, Andrew Forward, M. Elaasar, Hamoud Aljamaan, Miguel Garzón
{"title":"Enhanced code generation from UML composite state machines","authors":"O. Badreddin, T. Lethbridge, Andrew Forward, M. Elaasar, Hamoud Aljamaan, Miguel Garzón","doi":"10.5220/0004699602350245","DOIUrl":"https://doi.org/10.5220/0004699602350245","url":null,"abstract":"UML modelling tools provide poor support for composite state machine code generation. Generated code is typically complex and large, especially for composite state machines. Existing approaches either do not handle this case at all or handle it by flattening the composite state machine into a simple one with a combinatorial explosion of states, and excessive generated code. This paper presents a new approach that transforms a composite state machine into an equivalent set of simple state machines before code generation. This avoids the combinatorial explosion and leads to more concise and scalable generated code. We implement our approach in Umple. We report on a case study, comparing our approach to others in terms of code size and scalability.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125171640","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}
引用次数: 29
A case study of combining compositional and object-oriented software development 结合组合和面向对象软件开发的一个案例研究
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004698502010208
E. Tyugu, M. Harf, P. Grigorenko
{"title":"A case study of combining compositional and object-oriented software development","authors":"E. Tyugu, M. Harf, P. Grigorenko","doi":"10.5220/0004698502010208","DOIUrl":"https://doi.org/10.5220/0004698502010208","url":null,"abstract":"We analyze an approach to software development where object-oriented and compositional software specifications are written in separate languages and are only loosely connected. It supports compositional design of software in a domain-specific language and automatic model-driven construction of code from classes written in Java. We justify our approach by giving examples of development of large simulation programs and services on large models. We present also an example of using our method in general purpose software development - this is bootstrapping the essential part of a software tool CoCoViLa, i.e. synthesizing CoCoViLa in CoCoViLa itself.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116383918","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
Modeling of tool integration resources with OSLC support 利用OSLC支持对工具集成资源进行建模
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004713000990110
Weiqing Zhang, B. Møller-Pedersen
{"title":"Modeling of tool integration resources with OSLC support","authors":"Weiqing Zhang, B. Møller-Pedersen","doi":"10.5220/0004713000990110","DOIUrl":"https://doi.org/10.5220/0004713000990110","url":null,"abstract":"This paper discusses a class modeling approach for managing tool integration. Model concepts like Artifact and Role are introduced as integration backbones. Artifacts represent real artifacts like model elements that are maintained by tools. Different kinds of tools require different kinds of Artifact classes. The Role classes capture integration scenario-specific properties for Artifacts. As the same Artifact may be involved in different scenarios, and as integration scenarios may come and go, Roles can be dynamically attached to Artifacts. It is also demonstrated the possibility to model with Artifacts and Roles alone, without any real model elements. OSLC Web services (and as part of that, OSLC resources) are generated from these class models, and it is demonstrated that class modeling of Artifacts are superior to plain OSLC specification of resources.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128797056","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
Analysis and validation of AUTOSAR models AUTOSAR模型的分析与验证
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004701002740281
Julian Kienberger, P. Minnerup, Stefan Kuntz, B. Bauer
{"title":"Analysis and validation of AUTOSAR models","authors":"Julian Kienberger, P. Minnerup, Stefan Kuntz, B. Bauer","doi":"10.5220/0004701002740281","DOIUrl":"https://doi.org/10.5220/0004701002740281","url":null,"abstract":"As the rise of single-core processing power is exhausted due to technical limitations, the automotive branch is forced to migrate its control unit software to architectures that feature multiple Independent Execution Units (IEUs). This policy shift brings along new problems resulting from the tremendously increased complexity of such systems. Facing these challenges, software engineers have to cope with possible data inconsistencies caused by, e.g., race conditions or cycles. Being an important and standardized software architecture for electronic control units, the Automotive Open System Architecture (AUTOSAR) provides the basis for tools that support the complexity handling when migrating to architectures with multiple IEUs. Our concept is realized by a tool that executes data dependency analyses directly on AUTOSAR models, determines critical dependencies, automatically solves trivial problems and provides semi-automatic resolution of advanced conflicts. To support the actual parallelization of the system, the tool additionally determines groups of executable units that are suitable to run on a common IEU. This appreciably facilitates the validation of AUTOSAR models and the search for a good mapping of the processing tasks to IEUs.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"150 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117324637","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}
引用次数: 10
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信