romgeralehotmail's blog

May 23, 2013
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 th...More>>