Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering最新文献_第2页

Storm: a language platform for interacting and extensible languages (tool demo) Storm:用于交互和扩展语言的语言平台(工具演示)

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2018-10-24 DOI: 10.1145/3276604.3276982

Filip Strömbäck

引用次数: 3

Constraint-based run-time state migration for live modeling 用于实时建模的基于约束的运行时状态迁移

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2018-10-24 DOI: 10.1145/3276604.3276611

U. Tikhonova, J. Stoel, T. Storm, Thomas Degueule

引用次数: 10

Bacatá: a language parametric notebook generator (tool demo) bacat<e:1>:一个语言参数化的笔记本生成器(工具演示)

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2018-10-24 DOI: 10.1145/3276604.3276981

M. V. Merino, J. Vinju, T. Storm

引用次数: 7

Migrating custom DSL implementations to a language workbench (tool demo) 将自定义DSL实现迁移到语言工作台(工具演示)

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2018-10-24 DOI: 10.1145/3276604.3276608

Jasper Denkers, L. V. Gool, E. Visser

引用次数: 9

Continuous model validation using reference attribute grammars 使用引用属性语法的连续模型验证

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2018-10-24 DOI: 10.1145/3276604.3276616

Johannes Mey, René Schöne, G. Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, U. Assmann

引用次数: 9

Facet-oriented modelling: open objects for model-driven engineering 面向面建模:用于模型驱动工程的开放对象

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2018-10-24 DOI: 10.1145/3276604.3276610

J. Lara, E. Guerra, J. Kienzle, Yanis Hattab

{"title":"Facet-oriented modelling: open objects for model-driven engineering","authors":"J. Lara, E. Guerra, J. Kienzle, Yanis Hattab","doi":"10.1145/3276604.3276610","DOIUrl":"https://doi.org/10.1145/3276604.3276610","url":null,"abstract":"Model-driven engineering (MDE) promotes models as the principal assets in software projects. Models are built using a modelling language whose syntax is defined by a metamodel. Hence, objects in models are typed by a metamodel class, and this typing relation is static as it is established at creation time and cannot be changed later. This way, objects in MDE are closed and fixed with respect to the type they conform to, the slots/properties they have, and the constraints they should obey. This hampers the reuse of model-related artefacts like model transformations, as well as the opportunistic or dynamic combination of metamodels. To alleviate this rigidity, we propose making model objects open so that they can acquire or drop so-called facets, each one contributing a type, slots and constraints to the object. Facets are defined by regular metamodels, hence being a lightweight extension of standard metamodelling. Facet metamodels may declare usage interfaces, and it is possible to specify laws that govern how facets are to be assigned to the instances of a metamodel. In this paper, we describe our proposal, report on an implementation, and illustrate scenarios where facets have advantages over other techniques.","PeriodicalId":117525,"journal":{"name":"Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131617588","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}

引用次数: 13

Analysing meta-model product lines 分析元模型产品线

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2018-10-24 DOI: 10.1145/3276604.3276609

E. Guerra, J. Lara, M. Chechik, Rick Salay

{"title":"Analysing meta-model product lines","authors":"E. Guerra, J. Lara, M. Chechik, Rick Salay","doi":"10.1145/3276604.3276609","DOIUrl":"https://doi.org/10.1145/3276604.3276609","url":null,"abstract":"Model-driven engineering advocates the use of models to describe and automate many software development tasks. The syntax of modelling languages is defined by meta-models, making them essential artefacts. A combination of product line engineering methods and meta-models has been proposed to enable specification of modelling language variants, e.g., to describe a range of systems. However, there is a lack of techniques for ensuring syntactic correctness of all meta-models within a family (including their OCL constraints), and semantic correctness related to properties of individual instances of the different variants. The absence of verification methods at the product-line level can cause synthesis of ill-formed meta-models and problematic feature combinations whose effect at the instance level may go unnoticed. To attack this problem, we propose an approach to lifting both the meta-model syntax checking and the satisfiability checking of properties of individual meta-model instances, to the product-line level. We validate the approach via a prototype tool called Merlin, and report on several experiments that show the advantages of our method w.r.t. an enumerative analysis approach.","PeriodicalId":117525,"journal":{"name":"Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129802997","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

The next 700 unit of measurement checkers 下一个700单位的测量检查

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2018-10-24 DOI: 10.1145/3276604.3276613

Oscar Bennich-Björkman, S. McKeever

{"title":"The next 700 unit of measurement checkers","authors":"Oscar Bennich-Björkman, S. McKeever","doi":"10.1145/3276604.3276613","DOIUrl":"https://doi.org/10.1145/3276604.3276613","url":null,"abstract":"In scientific applications, physical quantities and units of measurement are used regularly. If the inherent incompatibility between these units is not handled properly it can lead to major, sometimes catastrophic, problems. Although the risk of a miscalculation is high and the cost equally so, almost none of the major programming languages has support for physical quantities. Instead, scientific code developers often make their own tools or rely on external libraries to help them spot or prevent these mistakes. We employed a systematic approach to examine and analyse all available physical quantity open-source libraries. Approximately 3700 search results across seven repository hosting sites were condensed into a list of 82 of the most comprehensive and well-developed libraries currently available. In this group, 30 different programming languages are represented. Out of these 82 libraries, 38 have been updated within the last two years. These 38 are summarised in this paper as they are deemed the most relevant. The conclusion we draw from these results is that there is clearly too much diversity, duplicated efforts, and a lack of code sharing and harmonisation which discourages use and adoption.","PeriodicalId":117525,"journal":{"name":"Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122230155","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

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo) 在HPC专用环境中培养元模型和语法:NabLab环境(工具演示)

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2018-10-24 DOI: 10.1145/3276604.3276620

B. Lelandais, M. Oudot, B. Combemale

引用次数: 7

GLL parsing with flexible combinators 使用灵活组合子的GLL解析

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2018-10-24 DOI: 10.1145/3276604.3276618

L. T. V. Binsbergen, E. Scott, A. Johnstone

引用次数: 6