The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Generative and Transformational Techniques in Software Engineering II
Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit
Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit
A semantic framework for metamodel-based languages
Automated Software Engineering
Towards Test-Driven Semantics Specification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Human comprehensible and machine processable specifications of operational semantics
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
On the behavioral semantics of real-time domain specific visual languages
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Formal verification of Tokeneer behaviours modelled in fUML using CSP
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
The edge of graph transformation: graphs for behavioural specification
Graph transformations and model-driven engineering
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
Lightweight verification of executable models
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Towards xMOF: executable DSMLs based on fUML
Proceedings of the 2012 workshop on Domain-specific modeling
Hi-index | 0.00 |
The behavioural semantics of a Domain Specific Language (DSL) are the instructions on how to execute the language. In practice, such semantics are often documented by text, which leads to ambiguity and tool generation problems. Although some formal frameworks have been proposed to address these drawbacks, they only allow the correctness of a specification to be tested at a later stage, usually when the semantics are implemented. This paper presents a new framework for implementing the behavioural semantics of meta-model based DSLs and tools. The framework uses the foundational subset of executable UML (fUML) as its semantic base, and uses the fUML meta-model for modelling the abstract syntax and operational semantics of a DSL. The semantics specification can be verified at design time without the need to execute behaviour models. Thus, it can provide useful feedback to the DSL designer. The framework is demonstrated in a Petri-net example.