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

2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)最新文献

筛选
英文 中文
Extending UML templates towards computability 向可计算性扩展UML模板
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005257101220133
J. Farinha, P. Ramos
{"title":"Extending UML templates towards computability","authors":"J. Farinha, P. Ramos","doi":"10.5220/0005257101220133","DOIUrl":"https://doi.org/10.5220/0005257101220133","url":null,"abstract":"UML templates allow the specification of generic model elements that can be reproduced in domain models by means of the Bind relationship. Binding to a template encompasses the substitution of that template's parameters by compatible domain elements. The requirement of compatibility, however, is checked over by UML in a very permissive way. As a consequence, binding to a template can result in badly-formed models and non-computable expressions. Such option in the design of UML was certainly intentional and meant to allow for richer semantics for the Bind relationship, as the specialization of the concept is advised at several points of the standard. This paper proposes one such specialization. One that guarantees well-formedness and computability for elements bound to a template. This is achieved by introducing the concept of Functional Conformance, which is imposed between every template's parameter and its application domain substitute. Functional conformance is defined in terms of well-formedness rules, expressed as OCL constraints on top of OMG's UML metamodel.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115382868","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
Model-based approach for implementation of software configuration management process 基于模型的软件配置管理过程实现方法
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005228701770184
Arturs Bartusevics, L. Novickis
{"title":"Model-based approach for implementation of software configuration management process","authors":"Arturs Bartusevics, L. Novickis","doi":"10.5220/0005228701770184","DOIUrl":"https://doi.org/10.5220/0005228701770184","url":null,"abstract":"Software configuration management is a discipline that controls software evolution process. Nowadays this process is not only challenge to choose the best version control system o branching strategy for particular project. Together with source code management the following tasks should be solved: continuous integration, continuous delivery, release management, build management etc. Usually software development companies already have a set of tools to support mentioned processes. The main challenge is to adopt this solutions to new projects as soon as possible with minimum efforts of manual steps. The article provides new model-driven approach to increase reuse of existing solutions in configuration management area. In order to illustrate the approach, there were developed new meta-models that are purposed for development of different configuration management models in context of a model-driven approach. This article provides a simplified example to illustrate models and defines further researches.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115171196","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
Graphical debugging of distributed applications: Using UML object diagrams to visualize the state of distributed applications at runtime 分布式应用程序的图形化调试:使用UML对象图在运行时可视化分布式应用程序的状态
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005233202230230
Andreas Koch, Albert Zündorf
{"title":"Graphical debugging of distributed applications: Using UML object diagrams to visualize the state of distributed applications at runtime","authors":"Andreas Koch, Albert Zündorf","doi":"10.5220/0005233202230230","DOIUrl":"https://doi.org/10.5220/0005233202230230","url":null,"abstract":"While debugging is one of the most time consuming tasks software developers perform, the tool support, especially for distributed applications, is lacking according to many professional developers. The Visual Debugger is an approach to provide an easy-to-use tool which gives software developers an abstract view on the current state of their application in debugging sessions. While similar tools for non distributed applications already exist, the Visual Debugger addresses the more complex debugging scenarios in distributed applications. Therefore, several views with different levels of abstraction of the current state of an application are provided. Although the approach may be adapted to other object oriented programming languages, the current target of the Visual Debugger is languages running on the Java Virtual Machine with the focus on Java.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116605752","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
Support of scenario creation by generating event lists from conceptual models 通过从概念模型生成事件列表来支持场景创建
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005327803760383
Kenta Goto, Shinpei Ogata, Junko Shirogane, Takako Nakatani, Y. Fukazawa
{"title":"Support of scenario creation by generating event lists from conceptual models","authors":"Kenta Goto, Shinpei Ogata, Junko Shirogane, Takako Nakatani, Y. Fukazawa","doi":"10.5220/0005327803760383","DOIUrl":"https://doi.org/10.5220/0005327803760383","url":null,"abstract":"In the requirements definition phase, conceptual models are used to understand the developing software. Although scenarios are often described on the basis of conceptual models, there are cases that necessary requirements are omitted in the scenarios when the scenarios are created manually. Herein we propose an approach to support scenario creation from conceptual models where event lists of scenarios, which include checkpoints to define requirements, are generated from conceptual models automatically. The conceptual models represent the core resources of the software, the owner of the core resources, and use cases as class diagrams. Then software engineers and their clients arrange the event lists and define requirements as scenarios on the basis of the checkpoints. Our approach can support describing scenarios with all the necessary requirements from conceptual models. To confirm the effectiveness of our approach, we compared our approach to the all-manual approach.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124679005","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
Polymer: A model-driven approach for simpler, safer, and evolutive multi-objective optimization development 聚合物:一种模型驱动的方法，用于更简单、更安全和进化的多目标优化开发
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005243202860293
Assaad Moawad, Thomas Hartmann, François Fouquet, Grégory Nain, Jacques Klein, Johann Bourcier
{"title":"Polymer: A model-driven approach for simpler, safer, and evolutive multi-objective optimization development","authors":"Assaad Moawad, Thomas Hartmann, François Fouquet, Grégory Nain, Jacques Klein, Johann Bourcier","doi":"10.5220/0005243202860293","DOIUrl":"https://doi.org/10.5220/0005243202860293","url":null,"abstract":"Multi-Objective Evolutionary Algorithms (MOEAs) have been successfully used to optimize various domains such as finance, science, engineering, logistics and software engineering. Nevertheless, MOEAs are still very complex to apply and require detailed knowledge about problem encoding and mutation operators to obtain an effective implementation. Software engineering paradigms such as domain-driven design aim to tackle this complexity by allowing domain experts to focus on domain logic over technical details. Similarly, in order to handle MOEA complexity, we propose an approach, using model-driven software engineering (MDE) techniques, to define fitness functions and mutation operators without MOEA encoding knowledge. Integrated into an open source modelling framework, our approach can significantly simplify development and maintenance of multi-objective optimizations. By leveraging modeling methods, our approach allows reusable optimizations and seamlessly connects MOEA and MDE paradigms. We evaluate our approach on a cloud case study and show its suitability in terms of i) complexity to implement an MOO problem, ii) complexity to adapt (maintain) this implementation caused by changes in the domain model and/or optimization goals, and iii) show that the efficiency and effectiveness of our approach remains comparable to ad-hoc implementations.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"06 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127221511","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}
引用次数: 8
Towards managing data variability in multi product lines 致力于管理多产品线的数据可变性
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005227005230530
Niloofar Khedri, R. Khosravi
{"title":"Towards managing data variability in multi product lines","authors":"Niloofar Khedri, R. Khosravi","doi":"10.5220/0005227005230530","DOIUrl":"https://doi.org/10.5220/0005227005230530","url":null,"abstract":"Multi product lines (MPLs) are systems consisting of collections of interdependent software product lines (SPLs). The dependencies and interactions among the SPLs cause new challenges in variability management. In the case of a large-scale information system MPL, important issues are raised regarding integration of the databases of the individual SPLs comprising the main system. The aim of this paper is to introduce a method to manage the variability in the data model of such systems. To this end, we first address the problem of developing a universal feature model of the MPL, obtained from integrating the feature models of the individual SPLs, incorporating the data interdependencies among the features. Further, we develop the data model of the MPL using a delta-oriented technique, based on the universal feature model. Our method addresses the problem of possible conflicts among the data model elements of different SPLs and proposes techniques to resolve the conflicts based on data model refinements.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116789737","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
A modular method for global system behaviour specification 一种模块化的全局系统行为规范方法
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005245104900497
U. Fatima, Rolv Bræk
{"title":"A modular method for global system behaviour specification","authors":"U. Fatima, Rolv Bræk","doi":"10.5220/0005245104900497","DOIUrl":"https://doi.org/10.5220/0005245104900497","url":null,"abstract":"The challenge addressed in this paper is how can we specify the global behaviour of distributed reactive systems in a way which eases the comprehension of the system without compromising its specification's correctness, completeness, modularity and readability. Instead of defining the global behaviour models in a monolithic way, we approach the problem by decomposing the specification into interface functionality and core functionality. The resulting interface-modular method for system specification is presented and discussed in this paper using a TaxiCentral as case study. The novelty of this method lies in the clear separation of interfaces from core functionality in global specification, and the use of activity diagrams in combination with collaborations to express and compose the specifications.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121926760","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
SysML-Sec: A model driven approach for designing safe and secure systems SysML-Sec:用于设计安全和可靠系统的模型驱动方法
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005402006550664
Y. Roudier, L. Apvrille
{"title":"SysML-Sec: A model driven approach for designing safe and secure systems","authors":"Y. Roudier, L. Apvrille","doi":"10.5220/0005402006550664","DOIUrl":"https://doi.org/10.5220/0005402006550664","url":null,"abstract":"Security flaws are open doors to attack embedded systems and must be carefully assessed in order to determine threats to safety and security. Subsequently securing a system, that is, integrating security mechanisms into the system's architecture can itself impact the system's safety, for instance deadlines could be missed due to an increase in computations and communications latencies. SysML-Sec addresses these issues with a model-driven approach that promotes the collaboration between system designers and security experts at all design and development stages, e.g., requirements, attacks, partitioning, design, and validation. A central point of SysML-Sec is its partitioning stage during which safety-related and security-related functions are explored jointly and iteratively with regards to requirements and attacks. Once partitioned, the system is designed in terms of system's functions and security mechanisms, and formally verified from both the safety and the security perspectives. Our paper illustrates the whole methodology with the evaluation of a security mechanism added to an existing automotive system.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132210011","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}
引用次数: 62
Modelling and analysis of process execution based on data acquired from sensors networks 基于从传感器网络获取的数据对过程执行进行建模和分析
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005407506180625
Dragos Repta, I. Sacala, M. Moisescu, Calin Munteanu, A. Stanescu
{"title":"Modelling and analysis of process execution based on data acquired from sensors networks","authors":"Dragos Repta, I. Sacala, M. Moisescu, Calin Munteanu, A. Stanescu","doi":"10.5220/0005407506180625","DOIUrl":"https://doi.org/10.5220/0005407506180625","url":null,"abstract":"This paper proposes a new approach for the analysis of physical processes. Based on several assumptions regarding the information available regarding the physical processes, we constrain the generation of the transition system. The method is based on the theory of regions that allows for the building compact representations as Petri Nets of transition systems and a set of explicit descriptions for some of the activities. The resulting compact model will exhibit the same behaviour as the input transition system. In order to evaluate the resulting process model, several quality dimensions have been established.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"214 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134110797","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
A comparison of mechanisms for integrating handwritten and generated code for object-oriented programming languages 面向对象编程语言中集成手写代码和生成代码的机制比较
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2015-02-09 DOI: 10.5220/0005239700740085
Timo Greifenberg, Katrin Hölldobler, Carsten Kolassa, M. Look, P. Nazari, Klaus Müller, A. Pérez, D. Plotnikov, D. Reiss, Alexander Roth, Bernhard Rumpe, Martin Schindler, A. Wortmann
{"title":"A comparison of mechanisms for integrating handwritten and generated code for object-oriented programming languages","authors":"Timo Greifenberg, Katrin Hölldobler, Carsten Kolassa, M. Look, P. Nazari, Klaus Müller, A. Pérez, D. Plotnikov, D. Reiss, Alexander Roth, Bernhard Rumpe, Martin Schindler, A. Wortmann","doi":"10.5220/0005239700740085","DOIUrl":"https://doi.org/10.5220/0005239700740085","url":null,"abstract":"Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound integration for generated and handwritten code is necessary. We provide an overview of mechanisms for integrating generated and handwritten code for object-oriented languages. In addition to that, we define and apply criteria to compare these mechanisms. The results are intended to help MDD tool developers in choosing an appropriate integration mechanism.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132841933","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
首页 上一页 下一页 尾页
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学术官方微信