Semantic Options

Please see [SemanticOptions] for more information on the several semantic options.

Big Step Maximality

Internal Event Lifeline

Input Event Lifeline

Priority

Concurrency

[SemanticOptions]

Esmaeilsabzali, S., Day, N. A., Atlee, J. M., and Niu, J. Deconstructing the semantics of big-step modelling languages. Requirements Engineering 15, 2 (2010), 235–265. [LINK]