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

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

筛选
英文 中文
FIDDLR: streamlining reuse with concern-specific modelling languages FIDDLR:使用特定于关注的建模语言简化重用
Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486913
Maximilian Schiedermeier, J. Kienzle, Bettina Kemme
{"title":"FIDDLR: streamlining reuse with concern-specific modelling languages","authors":"Maximilian Schiedermeier, J. Kienzle, Bettina Kemme","doi":"10.1145/3486608.3486913","DOIUrl":"https://doi.org/10.1145/3486608.3486913","url":null,"abstract":"Model-Driven Engineering (MDE) reduces complexity, improves Separation of Concerns and promotes reuse by structuring software development as a process of model production and refinement. Domain-Specific Modelling Languages and Aspect-Oriented Modelling techniques can reduce complexity and improve modularization of crosscutting concerns in situations where the features of general purpose modelling languages are not well aligned with the subject of study. In this article we present FIDDLR, a novel framework that integrates the ideas of Domain-Specific Modelling Languages, Concern-Oriented Reuse and MDE to modularize concerns that cross-cut multiple levels of abstraction of the software development process and streamline the reuse process. It also prescribes the integration of the different tooling along this process. We demonstrate the effectiveness of our framework and the potential for reduced complexity and leveraged reuse by building a reusable concern that exposes the services a system offers through a REST interface.","PeriodicalId":212947,"journal":{"name":"Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126790155","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
Vision: bias in systematic grammar-based test suite construction algorithms 视觉:基于系统语法的测试套件构建算法的偏见
Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486902
Christoff Rossouw, B. Fischer
{"title":"Vision: bias in systematic grammar-based test suite construction algorithms","authors":"Christoff Rossouw, B. Fischer","doi":"10.1145/3486608.3486902","DOIUrl":"https://doi.org/10.1145/3486608.3486902","url":null,"abstract":"The core of grammar-based test suite construction algorithms is a procedure to derive a set of specific phrases, which are then converted into sentences that can be fed into the system under test. This process includes several degrees of freedom and different implementations choose different but ultimately fixed solutions. We show that these fixed choices inherently bias the generated test suite. We quantify these biases and evaluate the effect they have on coverage over the system under test for which the test suite is constructed. We show that the effect of these biases remains prevalent in large real world grammars and systems, even when the test suites grow very large.","PeriodicalId":212947,"journal":{"name":"Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132616994","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
Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering 第14届ACM SIGPLAN软件语言工程国际会议论文集
Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608
{"title":"Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering","authors":"","doi":"10.1145/3486608","DOIUrl":"https://doi.org/10.1145/3486608","url":null,"abstract":"","PeriodicalId":212947,"journal":{"name":"Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114352942","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
Executing certified model transformations on Apache Spark 在Apache Spark上执行经过认证的模型转换
Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486901
Jolan Philippe, M. Tisi, Hélène Coullon, G. Sunyé
{"title":"Executing certified model transformations on Apache Spark","authors":"Jolan Philippe, M. Tisi, Hélène Coullon, G. Sunyé","doi":"10.1145/3486608.3486901","DOIUrl":"https://doi.org/10.1145/3486608.3486901","url":null,"abstract":"Formal reasoning on model transformation languages allows users to certify model transformations against contracts. CoqTL includes a specification of a transformation engine in the Coq interactive theorem prover. An executable engine can be automatically extracted from this specification. Transformation contracts are proved by the user against the CoqTL specification and guaranteed to hold on the transformation running on the extracted implementation of CoqTL. The design of the transformation engine specification in CoqTL aims at easing the certification step, but this requirement harms the execution performance of the extracted engine. In this paper, we aim at providing a scalable distributed implementation of the CoqTL specification. To achieve this objective we proceed in two steps. First, we introduce a refined specification of CoqTL that increases the engine parallelization. We present a mechanized proof of the equivalence with standard CoqTL. Second, we develop a prototype implementation of the refined specification on top of Spark. Finally, by evaluating the performance of a simple case study, we assess the speedup our solution can reach.","PeriodicalId":212947,"journal":{"name":"Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134627503","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
New ideas: automated engineering of metamorphic testing environments for domain-specific languages 新思想:针对领域特定语言的变形测试环境的自动化工程
Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486904
P. Cañizares, Pablo Gómez-Abajo, A. Núñez, E. Guerra, J. Lara
{"title":"New ideas: automated engineering of metamorphic testing environments for domain-specific languages","authors":"P. Cañizares, Pablo Gómez-Abajo, A. Núñez, E. Guerra, J. Lara","doi":"10.1145/3486608.3486904","DOIUrl":"https://doi.org/10.1145/3486608.3486904","url":null,"abstract":"Two crucial aspects for the trustworthy utilization of domain-specific languages (DSLs) are their semantic correctness, and proper testing support for their users. Testing is frequently used to verify correctness, but is often done informally -- which may yield unreliable results -- and requires substantial effort for creating suitable test cases and oracles. To alleviate this situation, we propose an automated technique for building metamorphic testing environments for DSLs. Metamorphic testing identifies expected relationships between the outputs of two consecutive tests, reducing the effort in specifying oracles and creating test cases manually. This new ideas paper presents the overarching concepts, the architecture and a prototype implementation. We illustrate our proposal using a DSL to model and simulate data centres.","PeriodicalId":212947,"journal":{"name":"Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114580644","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
Integrating usability into programming language design (keynote) 将可用性集成到编程语言设计中(主题演讲)
Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3491082
Jonathan Aldrich
{"title":"Integrating usability into programming language design (keynote)","authors":"Jonathan Aldrich","doi":"10.1145/3486608.3491082","DOIUrl":"https://doi.org/10.1145/3486608.3491082","url":null,"abstract":"Programming language design research has traditionally focused primarily on theoretical properties and performance considerations. But programming languages are interfaces that programmers use to write programs. Recent work has begun to explore how to integrate interdisciplinary methods, including qualitative and quantitative user studies, into the language design process. I’ll describe how we applied such methods in two different designs, Obsidian and Glacier, some of the insights we gained, and discuss the larger impact these emerging methods can have on the field.","PeriodicalId":212947,"journal":{"name":"Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129784676","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
首页 上一页
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学术官方微信