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

Transformation Tool Contest最新文献

筛选
英文 中文
An NMF solution for the Flowgraphs case at the TTC 2013 TTC 2013上Flowgraphs案例的NMF解决方案
Transformation Tool Contest Pub Date : 2013-12-01 DOI: 10.4204/EPTCS.135.5
Georg Hinkel, Thomas Goldschmidt, Lucia Happe
{"title":"An NMF solution for the Flowgraphs case at the TTC 2013","authors":"Georg Hinkel, Thomas Goldschmidt, Lucia Happe","doi":"10.4204/EPTCS.135.5","DOIUrl":"https://doi.org/10.4204/EPTCS.135.5","url":null,"abstract":"Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. However, there is little consensus about the transformation tools. Thus, the Transformation Tool Contest (TTC) 2013 aims to compare different transformation engines. This is achieved through three different cases that have to be tackled. One of these cases is the Flowgraphs case. A solution has to transform a Java code model into a simplified version and has to derive control and data flow. This paper presents the solution for this case using NMF Transformations as transformation engine.","PeriodicalId":266655,"journal":{"name":"Transformation Tool Contest","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126451532","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
Class Diagram Restructuring with GROOVE 用GROOVE重构类图
Transformation Tool Contest Pub Date : 2013-12-01 DOI: 10.4204/EPTCS.135.10
Wietse Smid, A. Rensink
{"title":"Class Diagram Restructuring with GROOVE","authors":"Wietse Smid, A. Rensink","doi":"10.4204/EPTCS.135.10","DOIUrl":"https://doi.org/10.4204/EPTCS.135.10","url":null,"abstract":"This paper describes the GROOVE solution to the \"Class Diagram Restructuring\" case study of the Tool Transformation Contest 2013. We show that the visual rule formalism enables the required restructuring to be formulated in a very concise manner. Moreover, the GROOVE functionality for state space exploration allows checking confluence. Performance-wise, however, the solution does not scale well.","PeriodicalId":266655,"journal":{"name":"Transformation Tool Contest","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134472847","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
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS 用UML-RSDS解决Petri-Nets到Statecharts的转换案例
Transformation Tool Contest Pub Date : 2013-12-01 DOI: 10.4204/EPTCS.135.13
K. Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian
{"title":"Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS","authors":"K. Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian","doi":"10.4204/EPTCS.135.13","DOIUrl":"https://doi.org/10.4204/EPTCS.135.13","url":null,"abstract":"This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.","PeriodicalId":266655,"journal":{"name":"Transformation Tool Contest","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115760198","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
The Petri-Nets to Statecharts Transformation Case Petri-Nets到Statecharts的转换案例
Transformation Tool Contest Pub Date : 2013-12-01 DOI: 10.4204/EPTCS.135.3
P. V. Gorp, Louis M. Rose
{"title":"The Petri-Nets to Statecharts Transformation Case","authors":"P. V. Gorp, Louis M. Rose","doi":"10.4204/EPTCS.135.3","DOIUrl":"https://doi.org/10.4204/EPTCS.135.3","url":null,"abstract":"This paper describes a case study for the sixth Transformation Tool Contest. The case is based on a mapping from Petri-Nets to statecharts (i.e., from flat process models to hierarchical ones). The case description separates a simple mapping phase from a phase that involves the step by step destruction Petri-Net elements and the corresponding construction of a hierarchy of statechart elements. Although the focus of this case study is on the comparison of the runtime performance of solutions, we also include correctness tests as well as bonus criteria for evaluating transformation language and tool features.","PeriodicalId":266655,"journal":{"name":"Transformation Tool Contest","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122183525","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
The TTC 2013 Flowgraphs Case TTC 2013流程图案例
Transformation Tool Contest Pub Date : 2013-12-01 DOI: 10.4204/EPTCS.135.1
Tassilo Horn
{"title":"The TTC 2013 Flowgraphs Case","authors":"Tassilo Horn","doi":"10.4204/EPTCS.135.1","DOIUrl":"https://doi.org/10.4204/EPTCS.135.1","url":null,"abstract":"This case for the Transformation Tool Contest 2013 is about evaluating the scope and usability of transformation languages and tools for a set of four tasks requiring very different capabilities. One task deals with typical model-to-model transformation problem, there's a model-to-text problem, there are two in-place transformation problems, and finally there's a task dealing with validation of models resulting from the transformations. \u0000The tasks build upon each other, but the transformation case project also provides all intermediate models, thus making it possible to skip tasks that are not suited for a particular tool, or for parallelizing the work among members of participating teams.","PeriodicalId":266655,"journal":{"name":"Transformation Tool Contest","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114731267","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
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon 用三图语法和eMoflon解决流程图案例研究
Transformation Tool Contest Pub Date : 2013-12-01 DOI: 10.4204/EPTCS.135.8
Anthony Anjorin, M. Lauder
{"title":"A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon","authors":"Anthony Anjorin, M. Lauder","doi":"10.4204/EPTCS.135.8","DOIUrl":"https://doi.org/10.4204/EPTCS.135.8","url":null,"abstract":"After 20 years of Triple Graph Grammars (TGGs) and numerous actively maintained implementations, there is now a need for challenging examples and success stories to show that TGGs can be used for real-world bidirectional model transformations. Our primary goal in recent years has been to increase the expressiveness of TGGs by providing a set of pragmatic features that allow a controlled fallback to programmed graph transformations and Java. Based on the Flowgraphs case study [7] of the Transformation Tool Contest (TTC 2013), we present (i) attribute constraints used to express complex bidirectional attribute manipulation, (ii) binding expressions for specifying arbitrary context relationships, and (iii) post-processing methods as a black box extension for TGG rules. In each case, we discuss the enabled trade-off between guaranteed formal properties and expressiveness. Our solution, implemented with eMoflon (www.emoflon.org) our metamodelling and model transformation tool, is available as a virtual machine hosted on Share [15].","PeriodicalId":266655,"journal":{"name":"Transformation Tool Contest","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121935908","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
Solving the TTC 2013 Flowgraphs Case with FunnyQT 用FunnyQT求解TTC 2013流程图
Transformation Tool Contest Pub Date : 2013-12-01 DOI: 10.4204/EPTCS.135.7
Tassilo Horn
{"title":"Solving the TTC 2013 Flowgraphs Case with FunnyQT","authors":"Tassilo Horn","doi":"10.4204/EPTCS.135.7","DOIUrl":"https://doi.org/10.4204/EPTCS.135.7","url":null,"abstract":"FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. \u0000This paper describes the FunnyQT solution to the TTC 2013 Flowgraphs Transformation Case. It solves all four tasks, and it has won the best efficiency award for this case.","PeriodicalId":266655,"journal":{"name":"Transformation Tool Contest","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132010598","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
Solving the Flowgraphs Case with Eclectic 用折衷法解决流程图问题
Transformation Tool Contest Pub Date : 2013-12-01 DOI: 10.4204/EPTCS.135.6
J. Cuadrado
{"title":"Solving the Flowgraphs Case with Eclectic","authors":"J. Cuadrado","doi":"10.4204/EPTCS.135.6","DOIUrl":"https://doi.org/10.4204/EPTCS.135.6","url":null,"abstract":"This paper presents a solution for the Flow Graphs case of the Transformation Tool Contest 2013, using the Eclectic model transformation tool. The solution makes use of several languages of Eclectic, showing how it is possible to combine them to address a non-trivial transformation problem in a concise and modulary way.","PeriodicalId":266655,"journal":{"name":"Transformation Tool Contest","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127619008","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
Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT 用FunnyQT解决Petri-Nets到Statecharts的转换案例
Transformation Tool Contest Pub Date : 2013-12-01 DOI: 10.4204/EPTCS.135.11
Tassilo Horn
{"title":"Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT","authors":"Tassilo Horn","doi":"10.4204/EPTCS.135.11","DOIUrl":"https://doi.org/10.4204/EPTCS.135.11","url":null,"abstract":"FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. \u0000This paper describes the FunnyQT solution to the TTC 2013 Petri-Nets to Statcharts Transformation Case. This solution has won the best overall solution award and the best efficiency award for this case.","PeriodicalId":266655,"journal":{"name":"Transformation Tool Contest","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131616719","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
PN2SC Case Study: An EMF-IncQuery solution PN2SC案例研究:一个EMF-IncQuery解决方案
Transformation Tool Contest Pub Date : 2013-12-01 DOI: 10.4204/EPTCS.135.14
Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Á. Horváth, I. Ráth
{"title":"PN2SC Case Study: An EMF-IncQuery solution","authors":"Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Á. Horváth, I. Ráth","doi":"10.4204/EPTCS.135.14","DOIUrl":"https://doi.org/10.4204/EPTCS.135.14","url":null,"abstract":"The paper presents a solution for the Petri-Net to Statecharts case study of the Transformation Tool Contest 2013, using EMF-IncQuery and Xtend for implementing the model transformation.","PeriodicalId":266655,"journal":{"name":"Transformation Tool Contest","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121719700","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
下一页 尾页
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学术官方微信