Proceedings of the 14th Workshop on Domain-Specific Modeling最新文献

Generating Code Using Reflection in the Context of Computer-Assisted Legacy System Analyses and Reengineering 在计算机辅助遗留系统分析和再造的背景下使用反射生成代码

Proceedings of the 14th Workshop on Domain-Specific Modeling Pub Date : 2014-10-21 DOI: 10.1145/2688447.2688449

Peter Krall

引用次数: 0

Design of a Domain-Specific Language for Material Flow Analysis Using Microsoft DSL Tools: An Experience Paper 使用微软DSL工具设计一种特定领域的物质流分析语言:一篇经验论文

Proceedings of the 14th Workshop on Domain-Specific Modeling Pub Date : 2014-10-21 DOI: 10.1145/2688447.2688452

Bahram Zarrin, H. Baumeister

引用次数: 9

Mapping-Based Exchange of Models Between Meta-Modeling Tools 元建模工具之间基于映射的模型交换

Proceedings of the 14th Workshop on Domain-Specific Modeling Pub Date : 2014-10-21 DOI: 10.1145/2688447.2688453

Heiko Kern, Fred Stefan, Vladimir Dimitrieski, Milan Čeliković

引用次数: 7

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems 网络物理系统中动态约束违规修复的模型转换生成

Proceedings of the 14th Workshop on Domain-Specific Modeling Pub Date : 2014-10-21 DOI: 10.1145/2688447.2688454

Sean Whitsitt, J. Sprinkle, Roman L. Lysecky

{"title":"Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems","authors":"Sean Whitsitt, J. Sprinkle, Roman L. Lysecky","doi":"10.1145/2688447.2688454","DOIUrl":"https://doi.org/10.1145/2688447.2688454","url":null,"abstract":"Cyber physical systems (CPSs) by definition involve design constraints addressing the computation and communication necessary to control physical systems. These systems have been modeled using domain specific modeling languages, but some limitations exist in the continued application of such a modeling approach to more complex, or safety-critical, systems. Specifically, it is well known how to formulate constraints in a domain-specific modeling language in order to prevent users from building invalid structures, but existing constraint-based techniques do not take into consideration design requirements that may require analysis in the physical domain (i.e. dynamic constraints). Those analysis results, when interpreted by a domain expert, can inform changes to the model: unfortunately, this ``by hand'' process does not scale. This paper presents an approach to automate the process of evolving models based on dynamic constraints that are not structurally enforceable into the modeling of CPSs. This new methodology---called dynamic constraint feedback (DCF)---is described herein and demonstrated with specific examples derived from the domain of data adaptable reconfigurable embedded systems (DARES). In DCF, expert blocks are integrated with a modeling language to perform dynamic constraint analysis on system models. The results from these analyses are then used to generate model transformations that can be applied to the source models.","PeriodicalId":252689,"journal":{"name":"Proceedings of the 14th Workshop on Domain-Specific Modeling","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132367571","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

Development of Modelling Frameworks and Viewpoints with Kitalpha 基于Kitalpha的建模框架和观点的发展

Proceedings of the 14th Workshop on Domain-Specific Modeling Pub Date : 2014-10-21 DOI: 10.1145/2688447.2688451

Benoît Langlois, Daniel Exertier, Boubekeur Zendagui

引用次数: 9

Proceedings of the 14th Workshop on Domain-Specific Modeling 第十四届领域特定建模研讨会论文集

Proceedings of the 14th Workshop on Domain-Specific Modeling Pub Date : 2014-10-21 DOI: 10.1145/2688447

J. Sprinkle, M. Rossi, Jeffrey G. Gray, Juha-Pekka Tolvanen

{"title":"Proceedings of the 14th Workshop on Domain-Specific Modeling","authors":"J. Sprinkle, M. Rossi, Jeffrey G. Gray, Juha-Pekka Tolvanen","doi":"10.1145/2688447","DOIUrl":"https://doi.org/10.1145/2688447","url":null,"abstract":"It is our great pleasure to welcome you to the proceedings of the DSM'14 workshop held as part of SPLASH 2014! The 14th Workshop on Domain-Specific Modeling continues the tradition of combining papers and presentations on both practical and theoretical level. \u0000 \u0000Domain-Specific Modeling (DSM) provides a modern solution to demands for higher productivity by constricting the gap between problem and solution modeling. In the past, productivity gains have been sought from new programming languages. Domain-specific modeling languages provide a viable solution for continuing to raise the level of abstraction beyond coding, making development faster and easier. \u0000 \u0000This year's workshop continues the tradition to share experiences and demonstrate the DSM solutions that have been developed by both researchers and practitioners, identify research questions and continuing to build the community. The program contains paper presentations and discussions as well as group work on selected topics. \u0000 \u0000This year we received 15 submissions from 36 authors from 11 countries. Paper review was done by the members of program committee and each paper had at least 3 reviews. Out of 15 submissions 8 were accepted (53%). We hope that you will enjoy this record of the workshop and find the information within the proceedings valuable toward your understanding of the current state-of-the-art in Domain-Specific Modeling.","PeriodicalId":252689,"journal":{"name":"Proceedings of the 14th Workshop on Domain-Specific Modeling","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125595434","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

Towards Efficient and Scalabale Omniscient Debugging for Model Transformations 面向模型转换的高效可扩展全知调试

Proceedings of the 14th Workshop on Domain-Specific Modeling Pub Date : 2014-10-21 DOI: 10.1145/2688447.2688450

Jonathan Corley, Brian P. Eddy, Jeffrey G. Gray

引用次数: 12

Session details: Topics in Model Transformation 会议细节:模型转换中的主题

Proceedings of the 14th Workshop on Domain-Specific Modeling Pub Date : 2014-10-21 DOI: 10.1145/3246848

引用次数: 0

A Closed-loop Model-based Design Approach based on Automatic Verification and Transformation 一种基于自动验证与转换的闭环模型设计方法

Proceedings of the 14th Workshop on Domain-Specific Modeling Pub Date : 2014-10-21 DOI: 10.1145/2688447.2688448

Kun Zhang, J. Sprinkle

引用次数: 5

Session details: Tools and Language Design Experiences 会议细节:工具和语言设计经验

Proceedings of the 14th Workshop on Domain-Specific Modeling Pub Date : 2014-10-21 DOI: 10.1145/3246849

引用次数: 0