Graphical modelling meets formal methods

Gulan, Stefan; Johr, Sven; Kretschmer, Roberto; Rieger, Stefan; Ditze, Michael

doi:10.1109/indin.2013.6622972

Cited by 2 publications

(1 citation statement)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…code generation) also requires a precise account of model behavior in order to determine if the transformation correctly preserves model semantics. At the same time, by design, UML may be interpreted flexibly [2,13] and may be extended via profiles. Determining when an interpretation/extension of UML is semantically consistent with the standard is challenging in the absence of a reference semantics.…”

Section: Introductionmentioning

confidence: 99%

An Extensible Operational Semantics for UML Activity Diagrams

Daw

Cleaveland

2015

Software Engineering and Formal Methods

View full text Add to dashboard Cite

This paper presents an operational semantics for UML activity diagrams. The purpose of this semantics is three-fold: to give a robust basis for verifying model correctness; to help validate model transformations; and to provide a well-formed basis for assessing whether a proposed extension/interpretation of the modeling language is consistent with the standard. The challenges of a general formal framework for UML models include the semi-formality of the semantics specification, the extensibility of the language, and (sometimes deliberate, sometimes accidental) under-specification of model behavior in the standard. Our approach is based on structural operational semantics, which can be extended according to domain-specific needs. The presented semantics has been implemented and tested.

show abstract

Section: Introductionmentioning

confidence: 99%