Formal semantics fUML
Submitted by romgeralehotmail
I am interested about formal semantics in the fUML.
It is common to reduce a language to a subset (bUML, for fUML) that give meaning for all other constructs, moreover some languages use known techniques to define the semantics for this core (e.g. structural operational semantics).
fUML uses other approach; it uses meta-modeling (a strategy used, in general by OMG, e.g. UML), Moreover, fUML breaks the circularity using PSL to constrain possible traces (base semantics).
Does someone know the rationale for such approach?
Is Reference Implementation compliant with all constraints defined in base semantics?