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

Messir: a text-first DSL-based approach for UML requirements engineering (tool demo) Messir:用于UML需求工程的基于文本优先的dsl方法(工具演示)

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

B. Ries, Alfredo Capozucca, N. Guelfi

{"title":"Messir: a text-first DSL-based approach for UML requirements engineering (tool demo)","authors":"B. Ries, Alfredo Capozucca, N. Guelfi","doi":"10.1145/3276604.3276614","DOIUrl":"https://doi.org/10.1145/3276604.3276614","url":null,"abstract":"This tool paper presents the design and tool-support of Messir, an approach centered on textual domain-specific languages supported by our open-source UML requirements engineering tool, named Excalibur. The novelty of our approach is the actual integration in a single workbench (Excalibur) of textual DSLs richly covering the requirements and analysis phases, i.e. improved use-cases, environment, conceptual and operations models; and the read-only visualisation of the requirements with UML-compliant views; and the generation of scientific requirements analysis documents in LATEX; and the formal simulation of test cases requirements. We designed our Messir language, with a grammar-based approach generating a textual editor, using the XText framework as an Eclipse plugin. Messir DSL’s static semantics is defined as a set of validation rules guiding end-users through the requirements analysis phase. Messir DSL’s semantics is given as a semi-automatic translation to prolog code. We also generate, from the requirements model elements, read-only graphical views (using the Sirius eclipse plugin) as well as a complete requirements analysis document in LATEX. This approach and tool have been used as a requirements engineering educational tool in several bachelor and master semesters.","PeriodicalId":117525,"journal":{"name":"Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering","volume":"17 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":"129820843","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

Morbig: a static parser for POSIX shell 一个用于POSIX shell的静态解析器

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

Yann Régis-Gianas, Nicolas Jeannerod, R. Treinen

{"title":"Morbig: a static parser for POSIX shell","authors":"Yann Régis-Gianas, Nicolas Jeannerod, R. Treinen","doi":"10.1145/3276604.3276615","DOIUrl":"https://doi.org/10.1145/3276604.3276615","url":null,"abstract":"The POSIX shell language defies conventional wisdom of compiler construction on several levels: The shell language was not designed for static parsing, but with an intertwining of syntactic analysis and execution by expansion in mind. Token recognition cannot be specified by regular expressions, lexical analysis depends on the parsing context and the evaluation context, and the shell grammar given in the specification is ambiguous. Besides, the unorthodox design choices of the shell language fit badly in the usual specification languages used to describe other programming languages. This makes the standard usage of LEX and YACC as a pipeline inadequate for the implementation of a parser for POSIX shell. The existing implementations of shell parsers are complex and use low-level character-level parsing code which is difficult to relate to the POSIX specification. We find it hard to trust such parsers, especially when using them for writing automatic verification tools for shell scripts. This paper offers an overview of the technical difficulties related to the syntactic analysis of the POSIX shell language. It also describes how we have resolved these difficulties using advanced parsing techniques (namely speculative parsing, parser state introspection, context-dependent lexical analysis and longest-prefix parsing) while keeping the implementation at a sufficiently high level of abstraction so that experts can check that the POSIX standard is respected. The resulting tool, called MORBIG, is an open-source static parser for a well-defined and realistic subset of the POSIX shell language. Its implementation crucially relies on the purity and incrementality of LR(1) parsers generated by MENHIR, a parser generator for OCaml.","PeriodicalId":117525,"journal":{"name":"Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering","volume":"1 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":"133176287","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

Input-driven regular expressions (vision paper) 输入驱动的正则表达式(远景文件)

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

Alexander Sakharov

引用次数: 1

Migrating business logic to an incremental computing DSL: a case study 将业务逻辑迁移到增量计算DSL:一个案例研究

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

D. Harkes, E. V. Chastelet, E. Visser

引用次数: 5