Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
Modelling the Operational Semantics of Domain-Specific Modelling Languages – GRK-Wiki

Modelling the Operational Semantics of Domain-Specific Modelling Languages

Aus GRK-Wiki

Wechseln zu: Navigation, Suche


  • Accepted for the post-proceedings of the 2nd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2007), Braga, Portugal.
  • Published by Springer in LNCS 5235


Author

Abstract

Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelling means as well. In this paper, we investigate structural operational semantics for domain-specific modelling languages. Thereby, we rely completely on standard modelling means as provided by the Object Management Group. As examples, we specify structural operational semantics for Petri nets as well as for a stream-oriented language from the domain of earthquake detection. The approach is useful to provide prototypical tool support for domain-specific modelling languages. It can be instrumented to specify interpreters and debuggers in a generic way.

Download paper

  • final draft © Springer, (2008). This is the author's version of the work. It is posted here by permission of Springer for your personal use. Not for redistribution.
  • LNCS version published by Springer

BibTeX

@InProceedings{wachsmuth:operational_semantics,
  author = 	{Guido Wachsmuth},
  title = 	{Modelling the Operational Semantics of Domain-Specific Modelling Languages},
  booktitle = 	{2nd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'07)},
  year = 	2008,
  editor = 	{Ralf L{\"a}mmel and Joost Visser and Jo{\~a}o Saraiva},
  series = 	{Lecture Notes in Computer Science},
  volume =     {5235},
  pages =      {506-520},
  publisher = 	{Springer-Verlag}
}
Persönliche Werkzeuge
Sprache