scholarly journals A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax

2016 ◽  
pp. 3-18
Author(s):  
Adolfo Sánchez-Barbudo Herrera ◽  
Edward D. Willink ◽  
Richard F. Paige
Keyword(s):  
Abstract Syntax ◽  
Domain Specific ◽  
Transformation Language

Combinators for program generation

1999 ◽  
Vol 9 (5) ◽  
pp. 483-525 ◽  
Author(s):  
PETER THIEMANN
Keyword(s):  
Programming Language ◽  
Functional Programming ◽  
Domain Specific Language ◽  
Functional Language ◽  
Abstract Syntax ◽  
Specific Language ◽  
Program Generation ◽  
Domain Specific ◽  
Meta Programming ◽  
General Method

We present a general method to transform a compositional specification of a specializer for a functional programming language into a set of combinators that can be used to perform the same specialization more efficiently. The main transformation steps are the transition to higher-order abstract syntax and untagging. All transformation steps are proved correct. The resulting combinators can be implemented in any functional language, typed or untyped, pure or impure. They may also be considered as forming a domain-specific language for meta-programming. We demonstrate the generality of the method by applying it to several specializers of increasing strength. We demonstrate its efficiency by comparing it with a traditional specialization system based on self-application.

scholarly journals Formal Semantics for Metamodel-Based Domain Specific Languages

2014 ◽  
pp. 297-323
Author(s):  
Paolo Arcaini ◽  
Angelo Gargantini ◽  
Elvinia Riccobene ◽  
Patrizia Scandurra
Keyword(s):  
Natural Language ◽  
Formal Method ◽  
Formal Analysis ◽  
Formal Semantics ◽  
State Machine ◽  
Abstract Syntax ◽  
Domain Specific Languages ◽  
Abstract State Machine ◽  
Domain Specific ◽  
Definition Of

Domain Specific Languages (DSLs) are often defined in terms of metamodels capturing the abstract syntax of the language. For a complete definition of a DSL, both syntactic and semantic aspects of the language have to be specified. Metamodeling environments support syntactic definition issues, but they do not provide any help in defining the semantics of metamodels, which is usually given in natural language. In this chapter, the authors present an approach to formally define the semantics of metamodel-based languages. It is based on a translational technique that hooks to the language metamodel its precise and executable semantics expressed in terms of the Abstract State Machine formal method. The chapter also shows how different techniques can be used for formal analysis of models (i.e., instance of the language metamodel). The authors exemplify the use of their approach on a language for Petri nets.

COMPOSITIONAL SPECIFICATION OF BEHAVIORAL SEMANTICS FOR DOMAIN-SPECIFIC MODELING LANGUAGES

2009 ◽  
Vol 03 (01) ◽  
pp. 31-56 ◽  
Author(s):  
KAI CHEN ◽  
JOSEPH PORTER ◽  
JANOS SZTIPANOVITS ◽  
SANDEEP NEEMA
Keyword(s):  
Embedded Software ◽  
Modeling Languages ◽  
Hard Problem ◽  
Abstract Syntax ◽  
Abstract State Machine ◽  
Domain Specific ◽  
Domain Specific Modeling ◽  
Specific Modeling

Domain-Specific Modeling Languages (DSMLs) play a fundamental role in the model-based design of embedded software and systems. While abstract syntax metamodeling enables the rapid and inexpensive development of DSMLs, the specification of DSML semantics is still a hard problem. In previous work, we have developed methods and tools for the semantic anchoring of DSMLs. Semantic anchoring introduces a set of reusable "semantic units" that provide reference semantics for basic behavioral categories using the Abstract State Machine framework. In this paper, we extend the semantic anchoring framework to heterogeneous behaviors by exploring methods for the composition of semantic units. Semantic unit composition reduces the required effort from DSML designers and improves the quality of the specification. The proposed method is demonstrated through a case study. Formal notions of compositionality are discussed as well as a brief comparison with similar research tools.

scholarly journals Development of custom notation for XML-based language: A model-driven approach

2017 ◽  
Vol 14 (3) ◽  
pp. 939-958 ◽  
Author(s):  
Sergej Chodarev ◽  
Jaroslav Porubän
Keyword(s):  
User Experience ◽  
Explicit Representation ◽  
Abstract Syntax ◽  
Iterative Design ◽  
Model Driven ◽  
Domain Specific ◽  
Concrete Syntax ◽  
Definition Of ◽  
Model Driven Approach

In spite of its popularity, XML provides poor user experience and a lot of domain-specific languages can be improved by introducing custom, more humanfriendly notation. This paper presents an approach for design and development of the custom notation for existing XML-based language together with a translator between the new notation and XML. The approach supports iterative design of the language concrete syntax, allowing its modification based on users feedback. The translator is developed using a model-driven approach. It is based on explicit representation of language abstract syntax (metamodel) that can be augmented with mappings to both XML and the custom notation. We provide recommendations for application of the approach and demonstrate them on a case study of a language for definition of graphs.

scholarly journals Model transformations to bridge concrete and abstract syntax of web rule languages

2009 ◽  
Vol 6 (2) ◽  
pp. 47-85 ◽  
Author(s):  
Milan Milanovic ◽  
Dragan Gasevic ◽  
Adrian Giurca ◽  
Gerd Wagner ◽  
Sergey Lukichev ◽  
...  
Keyword(s):  
Good Practice ◽  
Model Transformations ◽  
Abstract Syntax ◽  
Object Constraint Language ◽  
Model Driven ◽  
Transformation Language ◽  
Rule Languages ◽  
Constraint Language ◽  
Concrete Syntax ◽  
Model Transformation Language

This paper presents a solution to bridging the abstract and concrete syntax of a Web rule languages by using model transformations. Current specifications of Web rule languages such as Semantic Web Rule Language (SWRL) or RuleML define their abstract syntax (e.g., metamodel) and concrete syntax (e.g., XML schema) separately. Although the recent research in the area of Model-Driven Engineering (MDE) demonstrates that such a separation of two types of syntax is a good practice (due to the complexity of languages), one should also have tools that check validity of rules written in a concrete syntax with respect to the abstract syntax of the rule language. In this study, we use the REWERSE I1 Rule Markup Language (R2ML), SWRL, and Object Constraint Language (OCL), whose abstract syntax is defined by using metamodeling, while their textual concrete syntax is defined by using either XML/RDF schema or Extended Backus-Naur Form (EBNF) syntax. We bridge this gap by a bi-directional transformation defined in a model transformation language (ATLAS Transformation Language, ATL). This transformation allowed us to discover a number of issues in both web rule language metamodels and their corresponding concrete syntax, and thus make them fully compatible. This solution also enables for sharing web rules between different web rule languages.

scholarly journals Abstract syntax driven approach for language composition

2014 ◽  
Vol 4 (3) ◽  
Author(s):  
Sergej Chodarev ◽  
Dominik Lakatoš ◽  
Jaroslav Porubän ◽  
Ján Kollár
Keyword(s):  
Abstract Syntax ◽  
Domain Specific Languages ◽  
Incremental Development ◽  
Domain Specific ◽  
Concrete Syntax ◽  
Object Composition ◽  
Parser Generator

AbstractPopularity of domain-specific languages brings the problem of language components reuse. It should be possible to use parts of different languages in development of new one to lower costs and also allow incremental development. This problem could be solved using the composition of languages. In this paper we discuss the view of language composition from the perspective of concepts composition, where the role of concrete syntax is lowered. We present examples of language composition based on the principles of object composition implemented using YAJCo parser generator, that allows to specify the language based on its abstract syntax.

Sign in / Sign up

Export Citation Format

Share Document