Prescriptive semantics for big-step modelling languages
FASE, pp. 158-172, 2010.
A big-step modelling language (BSML) is a language in which a model can respond to an environmental input via a sequence of small steps, each of which may consist of the concurrent execution of a set of transitions. BSMLs are a popular class of modelling languages that are regularly reincarnated in different syntactic and semantic variati...More
Full Text (Upload PDF)
PPT (Upload PPT)