LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Action semantics
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
The ABACO System - An Algebraic Based Action COmpiler
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Actress: An Action Semantics Directed Compiler Generator
CC '92 Proceedings of the 4th International Conference on Compiler Construction
OASIS: An Optimizing Action-Based Compiler Generator
CC '94 Proceedings of the 5th International Conference on Compiler Construction
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Reference attribute grammars for metamodel semantics
SLE'10 Proceedings of the Third international conference on Software language engineering
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Generative technologies for model animation in the topcased platform
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Defining and verifying behaviour of domain specific language with fUML
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Hi-index | 0.01 |
Most languages in Model Driven Engineering (MDE) are defined by metamodels. Metamodels specify the structural aspects of models but do not capture the computational meaning of the modeling constructs (the dynamic semantics). There are several semantic definition frameworks used for programming languages. In this paper we study the suitability of Action Semantics proposed by P. D. Mosses for defining dynamic semantics for modeling languages. Action Semantics provides an intuitive textual notation and allows modular semantic specifications. However, it is originally proposed for grammar-based languages. The application of Action Semantics to metamodel-based languages requires studying how the action notation can be used with graph structures. We built a compiler that translates models to action trees and a simulator that executes action trees. In this way models become executable and their behavior can be studied at an early modeling phase. We implemented several examples to gain experience of using Action Semantics for modeling languages.