--图模式（文法的设计模式）。
(omod PERSON is
inc HUMAN .
inc CONVERSION .
inc CONFIGURATION .
class Person | name : String, age : Int .
subclass Person < Human .
op getName : Object -> String .
op setName : Object String -> Object .
msgs name : Oid Oid -> Msg .
msgs name-r : Oid String -> Msg .
vars X O : Oid .
vars N N1 : String .
vars A : Int .
eq getName(< X : Person | name : N >) = N .
eq setName(< X : Person | name : N>, N1) = < X : Person | name : N1 > .
rl [Person.name] : name(X, O) < X : Person | name : N > => < X : Person | > name-r(O, N) .
endom)