Abstract: With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: ...

We address this question from a semantic point-of-view for big-step modelling languages (BSMLs). BSMLs are a class of popular behavioural modelling languages in ...

With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language ...

We deconstruct the operational semantics of a large class of BSMLs into high-level, orthogonal semantic aspects, and analyze the relative advantages and ...

We deconstruct the operational semantics of a large class of BSMLs into high-level, orthogonal semantic aspects, and analyze the relative advantages and ...

Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu: Semantic Criteria for Choosing a Language for Big-Step Models. RE 2009: 181-190.

In this work, we describe a parametric semantic definition schema based on this deconstruction for defining formally the semantics of a wide range of BSMLs. A ...

We enumerate the dependencies between syntactic and semantic features. We also discuss the effects of certain combinations of semantic options when used ...

Dec 11, 2023 · I'm looking for something that, at a high-level, specifies the step-by-step execution of my language in a similar way to how an interpreter would be written.

A semantic quality attribute of a modelling language is a desired semantic characteristic that is common to all models specified in that language.