View source

__NOTOC__
__NOEDITSECTION__

* 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 [http://dx.doi.org/10.1007/978-3-540-88643-3_16 LNCS 5235]


== Author ==

* [[Person:Wachsmuth|Guido Wachsmuth]], Humboldt-Universität zu Berlin, Germany

== 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 ==

* [[Media:Modelling_the_Operational_Semantics_of_Domain-Specific_Modelling_Languages.pdf|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.
* [http://dx.doi.org/10.1007/978-3-540-88643-3_16 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}
 }

[[Category:Publications]]