This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:xtt2 [2008/12/22 16:15] wojnicki entry points comment |
hekate:xtt2 [2009/11/22 10:15] kkluza added FIXME no image in wiki |
||
|---|---|---|---|
| Line 234: | Line 234: | ||
| A table provides a //visual// representation of rules, as below. | A table provides a //visual// representation of rules, as below. | ||
| - | {{xttp-table-new.png|XTT table new format}} | + | {{xttp-table-new.png|XTT table new format}} FIXME |
| Rules in the table are interpreted one by one in a given way (see [[hekate:xtt2#Inference]]), this is the Table Inference. | Rules in the table are interpreted one by one in a given way (see [[hekate:xtt2#Inference]]), this is the Table Inference. | ||
| Line 451: | Line 451: | ||
| * communication (comm) (S <-> E) | * communication (comm) (S <-> E) | ||
| Arrows indicate the System/Environment interaction. | Arrows indicate the System/Environment interaction. | ||
| + | |||
| + | FIXME: iw: what's happened to ''ro, rw, wo, state'' classes? | ||
| Discuss ideas here: [[hekatedev:xtt2#Attribute Classes]]. | Discuss ideas here: [[hekatedev:xtt2#Attribute Classes]]. | ||
