Distributed Object Model

• A system configuration is a soup (multiset) of objects and messages

• Dynamics is given by asynchronous rewrite rules

r: (O <- M) < O : C | atts >

=>

< O : C | atts’ > newObjects newMessages

if cond

Previous slide

Next slide

Back to first slide

View graphic version