: AppRoot

name : pkusi

: Room

number = 1434temp = 16.0

: Person

name = Huiid = 102

: Thing

name = mobile-phoneid = 104

root

room person thing

own

ownerperson

locate

: AppRoot

name : pkusi

sr : SysRoot

name : pkusi

ar : AppRoot

name = pkusi

rm : Room

number = 1621temp = 16.0

ps : Person

name = Huiid = 102

th : Thing

name=phoneid = 104

root

room person thing

ownownerpersonlocate

sn : Sensor

id = 1621temp=16.0Bright=620.0

rd : Reader

id = 1621

tg1 : Tag

id = 102

rootreader sensor

tagreader

tg1 : Tag

id = 102

tag

locatething

wn : Warner

type=mailmessage= For…

ma : Mail

message=For...

1 1

22

systemdirect

runtime model

abstract runtime model

instant transformation

engine

system meta-model

application meta-model

relation in QVT

conforms to guided by conforms to

System runtime modeling

system-model synchr

meta-model inference