Formalizing the structural semantics of domain-specific modeling languages

@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}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 61 CITATIONS

FILTER CITATIONS BY YEAR

2007
2018

CITATION STATISTICS

  • 7 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 84 REFERENCES

GMF Documentation

  • GENERIC MODELING FRAMEWORK TEAM
  • http://wiki.eclipse.org/
  • 2007
Highly Influential
18 Excerpts

AND PRANGE, U. A logic of graph constraints

  • F. OREJAS, H. EHRIG
  • FASE
  • 2008
1 Excerpt

The power of rich syntax for model-based deveopment

  • E. JACKSON, W. SCHULTE, J. SZTIPANOVITS
  • Tech. Rep. MSR-TR--86, ftp://ftp.research…
  • 2008
1 Excerpt

A dsl for metamodel specification

  • F. J OUAULT, B ÉZIVIN
  • 2006