Applying attribute grammars for metamodel semantics

Authors:
Christoff Bürger;Sven Karol;Christian Wende
Affiliations:
Software Technology Group, TU Dresden, Dresden, Germany;Software Technology Group, TU Dresden, Dresden, Germany;Software Technology Group, TU Dresden, Dresden, Germany
Venue:
Proceedings of the International Workshop on Formalization of Modeling Languages
Year:
2010

Citing 9
Cited 2

Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Higher order attribute grammars

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
The FUJABA environment

Proceedings of the 22nd international conference on Software engineering
Incremental Context-Dependent Analysis for Language-Based Editors

ACM Transactions on Programming Languages and Systems (TOPLAS)
The JastAdd system — modular extensible compiler construction

Science of Computer Programming
Derivation and Refinement of Textual Syntax for Models

ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Declarative Intraprocedural Flow Analysis of Java Source Code

Electronic Notes in Theoretical Computer Science (ENTCS)
The theory and practice of modeling language design for model-based software engineering: a personal perspective

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Weaving executability into object-oriented meta-languages

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Automated selective caching for reference attribute grammars

SLE'10 Proceedings of the Third international conference on Software language engineering
MDE basics with a DSL focus

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

While current metamodelling languages are well-suited for the structural definition of abstract syntax and metamodelling infrastructures like the Eclipse Modelling Framework (EMF) provide various means for the specification of a textual or graphical concrete syntax, techniques for the specification of model semantics are not as matured. Therefore, we propose the application of reference attribute grammars (RAGs) to alleviate the lack of support for formal semantics specification in metamodelling. We contribute the conceptual foundations to integrate metamodelling languages and RAGs, and present JastEMF --- a tool for the specification of EMF metamodel semantics using JastAdd RAGs. The application of JastEMF is illustrated by an integrated metamodelling example.