Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering最新文献

Distributed model-to-model transformation with ATL on MapReduce MapReduce上使用ATL的分布式模型到模型转换

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2015-10-26 DOI: 10.1145/2814251.2814258

Amine Benelallam, A. Gómez, M. Tisi, Jordi Cabot

{"title":"Distributed model-to-model transformation with ATL on MapReduce","authors":"Amine Benelallam, A. Gómez, M. Tisi, Jordi Cabot","doi":"10.1145/2814251.2814258","DOIUrl":"https://doi.org/10.1145/2814251.2814258","url":null,"abstract":"Efficient processing of very large models is a key requirement for the adoption of Model-Driven Engineering (MDE) in some industrial contexts. One of the central operations in MDE is rule-based model transformation (MT). It is used to specify manipulation operations over structured data coming in the form of model graphs. However, being based on computationally expensive operations like subgraph isomorphism, MT tools are facing issues on both memory occupancy and execution time while dealing with the increasing model size and complexity. One way to overcome these issues is to exploit the wide availability of distributed clusters in the Cloud for the distributed execution of MT. In this paper, we propose an approach to automatically distribute the execution of model transformations written in a popular MT language, ATL, on top of a well-known distributed programming model, MapReduce. We show how the execution semantics of ATL can be aligned with the MapReduce computation model. We describe the extensions to the ATL transformation engine to enable distribution, and we experimentally demonstrate the scalability of this solution in a reverse-engineering scenario.","PeriodicalId":354784,"journal":{"name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124637330","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}

引用次数: 39

Example-based validation of domain-specific visual languages 特定于领域的可视化语言的基于示例的验证

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2015-10-26 DOI: 10.1145/2814251.2814256

Jesús J. López-Fernández, E. Guerra, J. Lara

{"title":"Example-based validation of domain-specific visual languages","authors":"Jesús J. López-Fernández, E. Guerra, J. Lara","doi":"10.1145/2814251.2814256","DOIUrl":"https://doi.org/10.1145/2814251.2814256","url":null,"abstract":"The definition of Domain-Specific Languages (DSLs) is a recurrent activity in Model-Driven Engineering. However, their construction is many times an ad-hoc process, partly due to the lack of tools enabling a proper engineering of DSLs and promoting domain experts to play an active role. The focus of this paper is on the validation of meta-models for visual DSLs. For this purpose, we propose a language and tool support for describing properties that instances of meta-models should (or should not) meet. Then, our system uses a model finder to produce example models, enriched with a graphical concrete syntax, that confirm or refute the assumptions of the meta-model developer. Our language complements metaBest, a framework for the validation and verification of meta-models that includes two other languages for unit testing and specification-based testing of meta-models. A salient feature of our approach is that it fosters interaction with domain experts by the use, processing and creation of informal drawings constructed in editors liked yED or Dia. We assess the usefulness of the approach in the validation of a DSL for house blueprints, with the participation of 26 4th year computer science students.","PeriodicalId":354784,"journal":{"name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130595733","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

Weaving concurrency in executable domain-specific modeling languages 用可执行的特定于领域的建模语言编织并发性

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2015-10-26 DOI: 10.1145/2814251.2814261

Florent Latombe, X. Crégut, B. Combemale, Julien Deantoni, M. Pantel

{"title":"Weaving concurrency in executable domain-specific modeling languages","authors":"Florent Latombe, X. Crégut, B. Combemale, Julien Deantoni, M. Pantel","doi":"10.1145/2814251.2814261","DOIUrl":"https://doi.org/10.1145/2814251.2814261","url":null,"abstract":"The emergence of modern concurrent systems (e.g., Cyber- Physical Systems or the Internet of Things) and highly- parallel platforms (e.g., many-core, GPGPU pipelines, and distributed platforms) calls for Domain-Specific Modeling Languages (DSMLs) where concurrency is of paramount im- portance. Such DSMLs are intended to propose constructs with rich concurrency semantics, which allow system design- ers to precisely define and analyze system behaviors. How- ever, specifying and implementing the execution semantics of such DSMLs can be a difficult, costly and error-prone task. Most of the time the concurrency model remains implicit and ad-hoc, embedded in the underlying execution environ- ment. The lack of an explicit concurrency model prevents: the precise definition, the variation and the complete under- standing of the semantics of the DSML, the effective usage of concurrency-aware analysis techniques, and the exploitation of the concurrency model during the system refinement (e.g., during its allocation on a specific platform). In this paper, we introduce a concurrent executable metamodeling approach, which supports a modular definition of the execution seman- tics, including the concurrency model, the semantic rules, and a well-defined and expressive communication protocol between them. Our approach comes with a dedicated meta- language to specify the communication protocol, and with an execution environment to simulate executable models. We illustrate and validate our approach with an implementation of fUML, and discuss the modularity and applicability of our approach.","PeriodicalId":354784,"journal":{"name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131295393","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}

引用次数: 20

Melange: a meta-language for modular and reusable development of DSLs 混合语言:用于dsl模块化和可重用开发的元语言

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2015-10-26 DOI: 10.1145/2814251.2814252

Thomas Degueule, B. Combemale, Arnaud Blouin, Olivier Barais, J. Jézéquel

{"title":"Melange: a meta-language for modular and reusable development of DSLs","authors":"Thomas Degueule, B. Combemale, Arnaud Blouin, Olivier Barais, J. Jézéquel","doi":"10.1145/2814251.2814252","DOIUrl":"https://doi.org/10.1145/2814251.2814252","url":null,"abstract":"Domain-Specific Languages (DSLs) are now developed for a wide variety of domains to address specific concerns in the development of complex systems. When engineering new DSLs, it is likely that previous efforts spent on the development of other languages could be leveraged, especially when their domains overlap. However, legacy DSLs may not fit exactly the end user requirements and thus require further extension, restriction, or specialization. While current language workbenches provide import mechanisms, they usually lack an explicit support for such customizations of imported artifacts. In this paper, we propose an approach for building DSLs by safely assembling and customizing legacy DSLs artifacts. This approach is based on typing relations that provide a reasoning layer for manipulating DSLs while ensuring type safety. On top of this reasoning layer, we provide an algebra of operators for extending, restricting, and assembling separate DSL artifacts. We implemented the typing relations and algebra into the Melange meta-language. We illustrate Melange through the modular definition of an executable modeling language for the Internet Of Things domain. We show how it eases the definition of new DSLs by maximizing the reuse of legacy artifacts without introducing issues in terms of performance, technical ecosystem compatibility, or generated code volume.","PeriodicalId":354784,"journal":{"name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132203051","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}

引用次数: 115

The whiley rewrite language (WyRL) while重写语言(WyRL)

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2015-10-26 DOI: 10.1145/2814251.2814266

David J. Pearce

引用次数: 2

A combined formal model for relational context-dependent roles 关系上下文相关角色的组合正式模型

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2015-10-26 DOI: 10.1145/2814251.2814255

Thomas Kühn, Stephan Böhme, Sebastian Götz, U. Assmann

引用次数: 44

On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience 关于为基于领域特定语言的UML概要文件集成图形和文本编辑器:一个行业经验

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2015-10-26 DOI: 10.1145/2814251.2814253

Salome Maro, Jan-Philipp Steghöfer, Anthony Anjorin, M. Tichy, Lars Gelin

{"title":"On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience","authors":"Salome Maro, Jan-Philipp Steghöfer, Anthony Anjorin, M. Tichy, Lars Gelin","doi":"10.1145/2814251.2814253","DOIUrl":"https://doi.org/10.1145/2814251.2814253","url":null,"abstract":"Domain Specific Languages (DSLs) are an established means of reducing the gap between problem and solution domains. DSLs increase productivity and improve quality as they can be tailored to exactly fit the needs of the problem to be solved. A DSL can have multiple notations including textual and graphical notations. In some cases, one of these notations for a DSL is enough but there are many cases where a single notation does not suffice and there is a demand to support multiple notations for the same DSL. UML profile is one of several approaches used to define a DSL, however most UML tools only come with graphical editors. In this paper, we present our approach and industrial experience on integrating textual and graphical editors for a UML profile-based DSL. This work was conducted as part of an explorative study at Ericsson. The main aim of the study was to investigate how to introduce a textual editor to an already existing UML profile-based DSL in an Eclipse environment. We report on the challenges of integrating textual and graphical editors for UML profile-based DSLs in practice, our chosen approach, specific constraints and requirements of the study.","PeriodicalId":354784,"journal":{"name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128159748","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}

引用次数: 25

Designing languages using lightning 使用闪电设计语言

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2015-10-26 DOI: 10.1145/2814251.2814268

L. Gammaitoni, Pierre Kelsen, Christian Glodt

引用次数: 10

Reference attribute grammar controlled graph rewriting: motivation and overview 参考属性语法控制的图重写:动机和概述

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2015-10-26 DOI: 10.1145/2814251.2814257

Christoff Bürger

{"title":"Reference attribute grammar controlled graph rewriting: motivation and overview","authors":"Christoff Bürger","doi":"10.1145/2814251.2814257","DOIUrl":"https://doi.org/10.1145/2814251.2814257","url":null,"abstract":"Reference attribute grammars are a well-known language engineering technique for the implementation of semantic analyses. Reference attributes provide declarative means to extend abstract syntax trees to graphs and analyse such graphs; they are well-suited to deduce and reason about abstract syntax graphs. Efficient attribute re-evaluation in case of abstract syntax graph changes and a systematic integration of attribute-based analyses with further rewrite-based transformations are open research problems however. To solve these problems, a novel incremental syntax-directed compiler-compiler technique is presented, that seamlessly combines reference attribute grammars and graph rewriting. The presented technique not only permits incremental reference attribute evaluation, but also the reuse of analyses to ease the specification of, and guide, rewrite-based transformations. It enables efficient, mutually dependent, memoized analyses and transformations. The paper motivates and explains the concepts of such a reference attribute grammar controlled graph rewriting. For evaluation, a reference implementation is used to specify fUML Activity Diagram and Petri net interpreters.","PeriodicalId":354784,"journal":{"name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114171439","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}

引用次数: 14

XMLText: from XML schema to xtext XMLText:从XML模式到文本

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2015-10-26 DOI: 10.1145/2814251.2814267

Patrick Neubauer, A. Bergmayr, Tanja Mayerhofer, J. Troya, M. Wimmer

{"title":"XMLText: from XML schema to xtext","authors":"Patrick Neubauer, A. Bergmayr, Tanja Mayerhofer, J. Troya, M. Wimmer","doi":"10.1145/2814251.2814267","DOIUrl":"https://doi.org/10.1145/2814251.2814267","url":null,"abstract":"A multitude of Domain-Specific Languages (DSLs) have been implemented with XML Schemas. While such DSLs are well adopted and flexible, they miss modern DSL editor functionality. Moreover, since XML is primarily designed as a machine-processible format, artifacts defined with XML-based DSLs lack comprehensibility and, therefore, maintainability. In order to tackle these shortcomings, we propose a bridge between the XML Schema Definition (XSD) language and text-based metamodeling languages. This bridge exploits existing seams between the technical spaces XMLware, modelware, and grammarware as well as closes identified gaps. The resulting approach is able to generate Xtext-based editors from XSDs providing powerful editor functionality, customization options for the textual concrete syntax style, and round-trip transformations enabling the exchange of data between the involved technical spaces. We evaluate our approach by a case study on TOSCA, which is an XML-based standard for defining Cloud deployments. The results show that our approach enables bridging XMLware with modelware and grammarware in several ways going beyond existing approaches and allows the automated generation of editors that are at least equivalent to editors manually built for XML-based languages.","PeriodicalId":354784,"journal":{"name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123964184","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