Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Design Patterns: Abstraction and Reuse of Object-Oriented Design
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Using UML Action Semantics for Executable Modeling and Beyond
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
An end-to-end domain-driven software development framework
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
CMOF-Model Semantics and Language Mapping for MOF 2.0 Implementations
MBD-MOMPES '06 Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Basic operations over models containing subset and union properties
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
ULF-Ware – an open framework for integrated tools for ITU-T languages
SDL'05 Proceedings of the 12th international conference on Model Driven
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Textual Modelling Embedded into Graphical Modelling
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Graphical Concrete Syntax Rendering with SVG
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Generative and Transformational Techniques in Software Engineering II
Sudoku --- A Language Description Case Study
Software Language Engineering
Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Towards a model execution framework for Eclipse
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
A semantic framework for metamodel-based languages
Automated Software Engineering
Temporal Extensions of OCL Revisited
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A model-based standard for SDL
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Teaching computer language handling - from compiler theory to meta-modelling
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
An executable semantics of the systemc UML profile
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Defining and verifying behaviour of domain specific language with fUML
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Towards xMOF: executable DSMLs based on fUML
Proceedings of the 2012 workshop on Domain-specific modeling
| Hi-index | 0.00 |
This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, OCL, and UML activities to create language models that cover abstract syntax, runtime configurations, and the behaviour of runtime elements. The method allows graphical and executable language models. These models are easy to read by humans and are formal enough to be processed in a generic model interpreter. We use Petri-nets as a running example to explain the method. The paper further proposes design patterns for common language concepts. The presented method was applied to the existing modelling language SDL to examine its applicability.