28.06.2013 Views

Papers in PDF format

Papers in PDF format

Papers in PDF format

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Let us further suppose that the cybernaut may also be a customer of some bank B, hav<strong>in</strong>g an account with a<br />

Figure 1. Physical worlds of objects<br />

number and an amount.We can now def<strong>in</strong>e <strong>in</strong> Mokum (see [Dehne 94]) the types as they are given <strong>in</strong> Fig. 1.<br />

Evidently, we assume here that each cybernaut has a personal assistant object at her disposal, which may<br />

actually reside <strong>in</strong> a home-based PC or a personal digital assistant (PDA) a smart card or even a wrist watch.<br />

Objects have (one or more) types, which can be structured <strong>in</strong> the form of an is_a hierarchy <strong>in</strong>volv<strong>in</strong>g the<br />

<strong>in</strong>heritance of properties.<br />

A cybernaut is always a person, so there must be an <strong>in</strong>stance of personT, represent<strong>in</strong>g this cybernaut. If she is<br />

also a student at U and a customer of B there must also be <strong>in</strong>stances of the types: studentT and customerT.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!