Formalizing the structural semantics of domain-specific modeling languages


Model-based approaches to system design are now widespread and successful. These approaches make extensive use of model structure to describe systems using domain-specific abstractions, to specify and implement model transformations, and to analyze structural properties of models. In spite of its general importance the structural semantics of modeling languages are not well-understood. In this paper we develop the formal foundations for the structural semantics of domain-specific modeling languages (DSML), including the mechanisms by which metamodels specify the structural semantics of DSMLs. Additionally, we show how our formalization can complement existing tools, and how it yields algorithms for the analysis of DSMLs and model transformations.

DOI: 10.1007/s10270-008-0105-0

Extracted Key Phrases

22 Figures and Tables


Citations per Year

60 Citations

Semantic Scholar estimates that this publication has 60 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Jackson2008FormalizingTS, title={Formalizing the structural semantics of domain-specific modeling languages}, author={Ethan K. Jackson and Janos Sztipanovits}, journal={Software & Systems Modeling}, year={2008}, volume={8}, pages={451-478} }