An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
2007 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, Vol. 175, no 1, 71-75 p.Article in journal (Refereed) Published
The Structural Operational Semantics Development Tooling (SOSDT) Eclipse Plugin integrates the Relational Meta-Language (RML) compiler and debugger with the Eclipse Integrated Development Environment Framework. SOSDT, together with the RML compiler and debugger, provides an environment for developing and maintaining executable Structural Operational Semantics specifications, including the Natural Semantics big step variant of SOS specifications. The RML language is successfully used at our department for writing large specifications for a range of languages like Java, Modelica, Pascal, MiniML etc. The SOSDT environment includes support for browsing, code completion through menus or popups, code checking, automatic indentation, and debugging of specifications. © 2007 Elsevier B.V. All rights reserved.
Place, publisher, year, edition, pages
Elsevier, 2007. Vol. 175, no 1, 71-75 p.
debugging, Eclipse, executable specification, Natural Semantics, RML, SOS
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:liu:diva-49743DOI: 10.1016/j.entcs.2006.11.019OAI: oai:DiVA.org:liu-49743DiVA: diva2:270639
Third Workshop on Structural Operational Semantics (SOS 2006)