Meta-Object Tower Rules

in:

O-0 <- M

{ < O-k:MC-k | in:Q, base:O-0 > o MOS }

=>

{ < O-k:MC-k | in:Q.M, base:O-0 > o MOS }

out:

{ < O-k:MC-k | out:cfReq.cQ > o MOS }

=>

{ < O-k:MC-k | out:cQ > o MOS }

CreateConf(cfReq)

Previous slide

Next slide

Back to first slide

View graphic version