View source

__NOTOC__
__NOEDITSECTION__

* Accepted for the 47th International Conference Objects, Models, Components, Pattern (TOOLS 2009), Zurich, Switzerland.

== Authors ==

* [http://www2.informatik.hu-berlin.de/~sadilek Daniel A. Sadilek], Humboldt-Universität zu Berlin, Germany
* [[Person:Wachsmuth|Guido Wachsmuth]], Humboldt-Universität zu Berlin, Germany

== Abstract ==

Abstract State Machines, Prolog, and Scheme are well-established
for language engineering in the technological space of grammarware.
In this paper, we show how they can be integrated into the
technological space of modelware to describe operational semantics of
modelled languages. Integration is based on three bridges: a physical, a
logical, and a pragmatical bridge between grammarware language and
modelling framework. We applied our approach to integrate Abstract
State Machines, Prolog, and Scheme as description languages in EProvide 2.0, an extensible, unified framework for prototyping operational
semantics of modelled languages. In this paper, we discuss in detail the
bridging of Abstract State Machines as well as an industrial case study
based on this.

== Download paper ==

* [http://www2.informatik.hu-berlin.de/~sadilek/publications/2009/TOOLS09grammarwareOpSem.pdf final draft] © Springer, (2009). This is the author's version of the work. It is posted here by permission of Springer for your personal use. Not for redistribution.

== BibTeX ==

 @InProceedings{sadilek:eprovide2,
   author = 	{Daniel A. Sadilek and Guido Wachsmuth},
   title = 	{Using Grammarware Languages to Define Operational Semantics of Modelled Languages},
   booktitle = 	{47th International Conference Objects, Models, Components, Pattern (TOOLS-EUROPE'09)},
   year = 	2009,
   series = 	{Lecture Notes in Business Information Processing},
   publisher = 	{Springer-Verlag}
 }

[[Category:Publications]]