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

The quest for open source projects that use UML: mining GitHub 寻找使用UML的开源项目:挖掘GitHub

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

R. Hebig, Truong Ho-Quang, M. Chaudron, G. Robles, M. A. Fernández

引用次数: 94

Model transformation for end-user modelers with VMTL 为使用VMTL的最终用户建模者进行模型转换

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

V. Acretoaie, H. Störrle, D. Strüber

引用次数: 0

OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints OCL2MSFOL:到多排序一阶逻辑的映射，用于有效地检查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.2976774

Carolina Dania, M. Clavel

引用次数: 29

Model-driven software engineering in the openETCS project: project experiences and lessons learned openETCS项目中的模型驱动软件工程:项目经验和教训

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

S. Karg, Alexander Raschke, M. Tichy, Grischa Liebel

引用次数: 10

The problems with eclipse modeling tools: a topic analysis of eclipse forums eclipse建模工具的问题:eclipse论坛的主题分析

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

N. Kahani, M. Bagherzadeh, J. Dingel, J. Cordy

{"title":"The problems with eclipse modeling tools: a topic analysis of eclipse forums","authors":"N. Kahani, M. Bagherzadeh, J. Dingel, J. Cordy","doi":"10.1145/2976767.2976773","DOIUrl":"https://doi.org/10.1145/2976767.2976773","url":null,"abstract":"Eclipse offers a wide range of tools supporting various aspects of modeling and Model-Driven Engineering (MDE). Arguably, the Eclipse ecosystem has been and continues to be one of the most important modeling tool repositories and sources of information about these tools, with, for example, more than 180,000 posts in the modeling forums since 2002. In this paper, we collect and analyze the content of the 30 most widely used Eclipse forums associated with different modeling and MDE tools, such as EMF, Xtext, ATL, Epsilon, and GMF. Using state-of-the-art text mining techniques coupled with manual analysis, we explore these forums with respect to two important questions: What are the primary issues, problems, and challenges raised in the use of these tools? And, perhaps even more important: Which of these issues are most commonly faced by \"newbies\" in the MDE community? Our study provides supporting evidence for some commonly held but unproven beliefs, such that plug-ins and documentation issues are the most common, and suggests which issues actually present the biggest \"barriers to entry\" for new users of MDE tools, and how they might be addressed.","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":"132165011","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}

引用次数: 30

Descriptive vs prescriptive models in industry 工业中的描述性模型与规定性模型

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

Rogardt Heldal, Patrizio Pelliccione, Ulf Eliasson, Jonn Lantz, Jesper Derehag, J. Whittle

引用次数: 38

Modern C++ as a modeling language for automated driving and human-robot collaboration 现代c++作为自动驾驶和人机协作的建模语言

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

Daniel Tuchscherer, Alex Weibert, F. Tränkle

{"title":"Modern C++ as a modeling language for automated driving and human-robot collaboration","authors":"Daniel Tuchscherer, Alex Weibert, F. Tränkle","doi":"10.1145/2976767.2976772","DOIUrl":"https://doi.org/10.1145/2976767.2976772","url":null,"abstract":"Signal-flow diagrams, state-space models and finite-state machines are established modeling concepts in embedded controller software development. However, in the emerging areas of automated driving and human-robot collaboration, the dynamic management of system and environmental objects is mandatory. For this, object-oriented concepts are required in addition to the established modeling concepts. This paper demonstrates the application of signal-flow diagrams together with object-oriented models in Modern C++ for the software development in the area of submicroscopic traffic control. Both the vehicle dynamics and the longitudinal controllers are modeled as signal-flow diagrams and state-space models. Above this control layer, the dynamic creation and removal of individual vehicles and environmental objects are modeled in Modern C++. Together with Boost odeint these models are directly represented on a high abstraction level. Modern C++ is no longer limited to programming but is used as an object-oriented modeling language both for reliable embedded software and simulation environments.","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":"133010926","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

Automatic detection of incomplete requirements via symbolic analysis 通过符号分析自动检测不完整的需求

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

Byron DeVries, B. Cheng

{"title":"Automatic detection of incomplete requirements via symbolic analysis","authors":"Byron DeVries, B. Cheng","doi":"10.1145/2976767.2976791","DOIUrl":"https://doi.org/10.1145/2976767.2976791","url":null,"abstract":"The usefulness of a system specification depends in part on the completeness of the requirements. However, enumerating all necessary requirements is difficult, especially when requirements interact with an unpredictable environment. A specification built with an idealized environmental view is incomplete if it does not include requirements to handle non-idealized behavior. Often incomplete requirements are not detected until implementation, testing, or worse, after deployment. Even when performed during requirements analysis, detecting incomplete requirements is typically an error prone, tedious, and manual task. This paper introduces Ares, a design-time approach for detecting incomplete requirements decomposition using symbolic analysis of hierarchical requirements models. We illustrate our approach by applying Ares to a requirements model of an industry-based automotive adaptive cruise control system. Ares is able to automatically detect specific instances of incomplete requirements decompositions at design-time, many of which are subtle and would be difficult to detect, either manually or with testing.","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":"133357533","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

Technical debt in MDE: a case study on GMF/EMF-based projects MDE中的技术债务:基于GMF/ emf项目的案例研究

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

Xiao He, P. Avgeriou, Peng Liang, Zengyang Li

引用次数: 19

Metamodel specialization for graphical modeling language support 图形化建模语言支持的元模型专门化

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

A. Kalnins, J. Barzdins

{"title":"Metamodel specialization for graphical modeling language support","authors":"A. Kalnins, J. Barzdins","doi":"10.1145/2976767.2976779","DOIUrl":"https://doi.org/10.1145/2976767.2976779","url":null,"abstract":"Most of current modeling languages are based on graphical diagrams. The concrete graphical syntax of these languages typically is defined informally -- by text and diagram examples. Only recently, starting from UML 2.5, a formalism is offered for defining the graphical syntax of UML. This formalism is based on Diagram Definition standard by OMG, where the main emphasis is on enabling diagram interchange between different tools implementing the given language. While this is crucial for standardized languages such as UML, this aspect is not so important for domain specific languages. In this paper an approach is offered for simple direct definition of concrete graphical syntax by means of metamodels. Metamodels are typically used for language definition, but mainly the MOF-inspired approach via metametamodel instantiation is used. We offer an alternative approach based on core metamodel specialization, which leads to a more direct and understandable definition, staying at the same meta-layer. In addition, our approach permits a natural extension -- a facility for graphical editor definition for the given language, which is vital in the world of DSLs. In contrast to most DSL development platforms which are based on abstract syntax metamodel of the language and a mapping to graphics our facility is based directly on the graphical syntax.","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":"126166999","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