Formalizing the structural semantics of domain-specific modeling languages

Abstract

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

Statistics

051020072008200920102011201220132014201520162017
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} }