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

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

筛选
英文 中文
Generating metamodel instances satisfying coverage criteria via SMT solving 通过SMT求解生成满足覆盖标准的元模型实例
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-12-06 DOI: 10.5220/0005650000400051
Hao Wu
{"title":"Generating metamodel instances satisfying coverage criteria via SMT solving","authors":"Hao Wu","doi":"10.5220/0005650000400051","DOIUrl":"https://doi.org/10.5220/0005650000400051","url":null,"abstract":"One of the challenges for using metamodels in Model Driven Engineering is to automatically generate metamodel instances. Each instance should satisfy many constraints defined by a metamodel. Such instances can then be used for verifying or validating metamodels. Recent studies have already shown that this can be tackled by using SAT/SMT solvers. However, such instance generation does not take coverage criteria into account, and instances satisfying specified coverage criteria could be useful for testing model transformation. In this paper, we present an approach consisting of two techniques for coverage oriented metamodel instance generation. The first technique realises the standard coverage criteria defined for UML class diagrams, while the second technique focuses on generating instances satisfying graph-based criteria. With our approach, both kinds of criteria are translated to SMT formulas which are then investigated by an SMT solver. Each successful assignment is then interpreted as a metamodel instance that provably satisfies a coverage criteria or a graph property. We have already integrated this approach into our existing tool to demonstrate the feasibility.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115541037","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
Comparing system- and test model with integrated software-based signal simulation 系统和测试模型与基于集成软件的信号仿真的比较
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-12-05 DOI: 10.5220/0005751006560662
Andreas Kurtz, B. Bauer, Marcel Koeberl
{"title":"Comparing system- and test model with integrated software-based signal simulation","authors":"Andreas Kurtz, B. Bauer, Marcel Koeberl","doi":"10.5220/0005751006560662","DOIUrl":"https://doi.org/10.5220/0005751006560662","url":null,"abstract":"Test automation in distributed systems requires new methods in signal simulation for the stimulation of the distributed system. Increasing complexity of electric electronic (E/E) systems enhances the testing-effort. The main challenge is reducing the time consuming manual stimulation in consideration of improving the quality of testing. Currently used systems for test automation with a software-based approach have to be adapted to each hardware and software version of the system to be tested. The approach represented shows a new approach through the integration of a simulation service in the AUTOSAR software architecture. By integrating a generic software-based simulation module with an interaction point at the basic software driver layer, the execution of tests can be automated and improved under consideration of adaptivity and reproducibility.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"252 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115590074","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
Abstracting data and image processing systems using a component-based domain specific language 使用基于组件的领域特定语言抽象数据和图像处理系统
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-12-04 DOI: 10.5220/0005743502920300
Thomas Hoegg, C. Koehler, A. Kolb
{"title":"Abstracting data and image processing systems using a component-based domain specific language","authors":"Thomas Hoegg, C. Koehler, A. Kolb","doi":"10.5220/0005743502920300","DOIUrl":"https://doi.org/10.5220/0005743502920300","url":null,"abstract":"This work proposes a textual and graphical domain-specific language (DSL) designed especially for modeling and writing data and image processing algorithms. Since reusing algorithms and other functionality leads to higher program quality and mostly shorter development time, this approach introduces a novel component-based language design. Special diagrams and structures, such as components, component-diagrams and component-instance-diagrams are introduced. The new language constructs allow an abstract and object-oriented description of data and image processing tasks. Additionally, a compatible graphical design interface is proposed, giving modelers and architects the opportunity to decide which kind of modeling they prefer (graphical or textual, including round-trip engineering).","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126986081","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
A new methodology CIM to PIM transformation resulting from an analytical survey 通过一项分析调查，提出了从CIM到PIM转换的新方法
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-12-02 DOI: 10.5220/0005690102660273
Yassine Rhazali, Youssef Hadi, A. Mouloudi
{"title":"A new methodology CIM to PIM transformation resulting from an analytical survey","authors":"Yassine Rhazali, Youssef Hadi, A. Mouloudi","doi":"10.5220/0005690102660273","DOIUrl":"https://doi.org/10.5220/0005690102660273","url":null,"abstract":"Our paper shows a new methodology for controlling the models transformation from CIM to PIM into model driven architecture. In this proposal we founded on an analytical survey. Our methodology is based on creation of the transformable models in CIM level to facilitate the transformation task to the PIM level. We create a good PIM level, according to the three classic modelling views. Then, a set of transformation rules are established through ATL language to assure a semi-automatic transformation between CIM and PIM. Our methodology ensures the recommendations of MDA approach by presenting business process in CIM level through BPMN which is OMG standard for modelling business process. However, we founded on UML to model the PIM level, because UML is advisable by MDA in PIM.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128051702","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}
引用次数: 17
Towards a model transformation tool on the top of the OpenCL framework 一个基于OpenCL框架的模型转换工具
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-12-02 DOI: 10.5220/0005792903550360
T. Fekete, G. Mezei
{"title":"Towards a model transformation tool on the top of the OpenCL framework","authors":"T. Fekete, G. Mezei","doi":"10.5220/0005792903550360","DOIUrl":"https://doi.org/10.5220/0005792903550360","url":null,"abstract":"Nowadays, applications must often handle a large amount of data and apply complex algorithms on it. It is a promising and popular way to apply the computation in parallel in order to meet the performance requirements. Since GPUs are designed to apply highly parallel computations efficiently, using CPU+GPU heterogeneous architecture have gained an increasing popularity in computation intensive applications. Model-driven development (MDE) is a widely used software development methodology in the software industry. MDE is heavily building on model transformations in converting and processing the models. Graph transformation-based model transformation is a popular technique in this field. It is based on isomorphic subgraphs matching, which often require serious computing power. Currently, model transformation tools are not capable of using the computation power of the GPUs. Our research goal is to create a general model matching and later a model transformation solution, which can take the advantages of the computation power of the GPUs. We are now focusing on pattern matching of the transformations. We would like to create a general solution which is independent of the hardware vendor; therefore, our method is based on the OpenCL framework. The novelty of this paper is a GPGPU-based pattern matching tool and some accelerating techniques to achieve faster computation. In this paper we present an overview of the solution and test results based on one of the biggest freely available movie database (IMDb). The main properties such as the performance and the scalability are discussed. The applied architecture and the steps towards the final solution are also included in the paper.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124027416","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
An initial wise development environment for behavioral models 行为模型的初始明智开发环境
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-12-02 DOI: 10.5220/0005811806000612
D. Harel, Guy Katz, R. Marelly, Assaf Marron
{"title":"An initial wise development environment for behavioral models","authors":"D. Harel, Guy Katz, R. Marelly, Assaf Marron","doi":"10.5220/0005811806000612","DOIUrl":"https://doi.org/10.5220/0005811806000612","url":null,"abstract":"We present a development environment that proactively and interactively assists the software engineer in modeling complex reactive systems. Our framework repeatedly analyzes models of the system under development at various levels of abstraction, and then reasons about these models in order to detect possible errors and to derive emergent properties of interest. Upon request, the environment can then augment the system model in order to repair or avoid detected behavior that is undesired, or instrument it in order to monitor the execution for certain behaviors. Specialized automated and human-assisted techniques are incorporated to direct and prioritize the analysis and related tasks, based on the relevance of the observed properties and the expected impact of actions to be taken. Our development environment is an initial step in the direction of the very recent Wise Computing vision, which calls for turning the computer (namely, the development environment) into an equal member of the development team: knowledgeable, independent, concerned and proactively involved in the development process. Our tool is implemented within the context of behavioral programming (BP), a scenario-based modeling approach, where components are aligned with how humans often describe desired system behavior. Thus, our work further enhances the naturalness and incrementality of developing in BP.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117279970","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
Umple as a component-based language for the development of real-time and embedded applications 作为一种基于组件的语言，用于开发实时和嵌入式应用程序
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-12-02 DOI: 10.5220/0005741502820291
Mahmoud Husseini Orabi, A. Orabi, T. Lethbridge
{"title":"Umple as a component-based language for the development of real-time and embedded applications","authors":"Mahmoud Husseini Orabi, A. Orabi, T. Lethbridge","doi":"10.5220/0005741502820291","DOIUrl":"https://doi.org/10.5220/0005741502820291","url":null,"abstract":"Component-based development enforces separation of concern to improve reusability and maintainability. In this paper, we show how we extended Umple (http://try.umple.org) to support component-based development. The development of components, ports, and connectors is enabled using easy-to-comprehend keywords. Development is supported in both textual and visual representations. The design pattern followed in our implementation is the active object pattern. We show a comparison between Umple and other modelling tools. We show that Umple has a set of component features comparable to commercial modelling tools, but is the most complete, particularly with regard to code generation, among the open source tools.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131607750","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
Verification of atomicity preservation in model-to-code transformations using generic Java code 使用泛型Java代码验证模型到代码转换中的原子性保存
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-12-02 DOI: 10.5220/0005689405780588
Dan Zhang, D. Bosnacki, M. Brand, C. Huizing, R. Kuiper, B. Jacobs, Anton Wijs
{"title":"Verification of atomicity preservation in model-to-code transformations using generic Java code","authors":"Dan Zhang, D. Bosnacki, M. Brand, C. Huizing, R. Kuiper, B. Jacobs, Anton Wijs","doi":"10.5220/0005689405780588","DOIUrl":"https://doi.org/10.5220/0005689405780588","url":null,"abstract":"A challenging aspect of model-to-code transformations is to ensure that the semantic behavior of the input model is preserved in the output code. When constructing concurrent systems, this is mainly difficult due to the non-deterministic potential interaction between threads. In this paper, we consider this issue for a framework that implements a transformation chain from models expressed in the state machine based domain specific language SLCO to Java. In particular, we provide a fine-grained generic solution to preserve atomicity of SLCO statements in the Java implementation. We give its generic specification based on separation logic and verify it using the verification tool VeriFast. The solution can be regarded as a reusable module to safely implement atomic operations in concurrent systems.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"23 35","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120836122","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
Automated quality analysis of software engineering method models 软件工程方法模型的自动化质量分析
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-30 DOI: 10.5220/0005743205270534
Masud Fazal-Baqaie, Frank Kluthe
{"title":"Automated quality analysis of software engineering method models","authors":"Masud Fazal-Baqaie, Frank Kluthe","doi":"10.5220/0005743205270534","DOIUrl":"https://doi.org/10.5220/0005743205270534","url":null,"abstract":"Using a suitable software engineering method (SEM) for a specific project and following it properly is important for the resulting software quality. However, SEMs described in natural language are often ambiguous and lack automated guidance for the team members, causing impediments for the project. The model-based approach Method Engineering with Method Services and Method Patterns (MESP) allows to model enactable SEM models by composing pre-defined building blocks. Up to now, the quality of MESP models had to be checked manually which was tedious and error-prone at times. In this paper, we present an automated design-time quality analysis for MESP SEM models. In particular, our analysis allows to automatically evaluate generic quality characteristics relevant for all SEM models as well as specific quality requirements specified using MESP method patterns. We integrated the quality analysis framework into the MESP Workbench and our evaluation shows that the analysis is fast enough to provide timely feedback even for large SEM models.","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":"2016-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122215970","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
Design of a simulation framework for model-based learning 基于模型学习的仿真框架设计
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-30 DOI: 10.5220/0005688606310639
Sarah Zribi, Antonello Calabrò, F. Lonetti, E. Marchetti, Tom Jorquera, J. Lorré
{"title":"Design of a simulation framework for model-based learning","authors":"Sarah Zribi, Antonello Calabrò, F. Lonetti, E. Marchetti, Tom Jorquera, J. Lorré","doi":"10.5220/0005688606310639","DOIUrl":"https://doi.org/10.5220/0005688606310639","url":null,"abstract":"In model-driven learning, simulation of Business Process is a key step for improving the learners's skills and enhancing teaching performance. In this paper, we provide the architectural design and the main functionalities of a model-based learning simulation framework. The main objectives of the proposed framework are: i) enable user-friendly learning simulation with a strong support for collaboration and social interactions; ii) provide a process-driven learning environment that allows emulation of the learner behavior when no learners are available to be involved on the simulation; iii) include event-based monitoring aiming at providing feedbacks for the learner assessment.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114150742","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信