… formal, algebraic semantics of the MOF standard … semantics is furthermore executable, and
can be used to perform useful formal analyses. The executable algebraic framework for MOF …

… in our semantics of MOF, where the set … semantic conditions. Another key feature of mel is
that it has initial algebras [Mes98]; therefore, our MOF semantics is an initial algebra semantics…

… In order to realize this process, we used the algebraic semantic for MOF [3] framework to …
, we use the algebraic semantics for MOF framework to define a formal semantic for PerFAM …

… Section 8 provides the algebraic semantics of the MOF Reflection Facilities by formalizing
the MOF Object object type, which permits querying and manipulating any object in a model …

… In this paper, we extend the executable algebraic semantics of MOF … M is a MOF metamodel
and C is a set of OCL constraints that are meaningful for M ; (ii) an algebraic semantics for …

… The Meta Object Facility (MOF) is one of the most frequently … MOF 2.0 packages can be used
to a certain extent to define, … Motivated by a running example we, therefore, extend MOF 2.0 …

… In this section we discuss the semantics of diagrammatic predicates and show how this
semantics is used to check whether a graph is an instance of a diagrammatic specification. …

… of MOF (Steinberg et al., 2008). It is important to formalize and reason about MOF …
NEREUS and its semantics that was given by translating it to CASL. On the practical point of …

… semantics in the MDA vision, we turn semantic algebra into an useful domain-specific language.
In this context, this paper describes our proposed MOF … syntax for semantic algebra. It is …

… and the semantic domain. The aim of this paper is to present formal semantics for the MOF
and QVT-… An algebraic semantics for QVT-relations check-only transformations. Fundamenta …