Detail

SOS tool – A language for specifying and visualizing operational semantics

Within the context of the DSLTrans Transformation tool, this add on plugin for Eclipse, based on the work of Gorden Plotkin, is intended to allow for the specification and analysis of semantics of the DSLs being designed by means of inference rules in algebraic domain. The analysis occurs in the domain of transition systems. The analysis generates, for an arbritary sentence in a given language, the corresponding transition system graph in GraphViz.