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.

• NEC to <strong>in</strong>dicate that the actions are necessarily to be performed by the library system. In case the actions<br />

are not performed, the library system has a serious problem: it is <strong>in</strong> an <strong>in</strong>consistent state (comparable with<br />

the situation of a personnel database hav<strong>in</strong>g a record of some person with a negative age).<br />

• MUST to <strong>in</strong>dicate that the actions have to be done, but there is a possibility that they are not done, with<strong>in</strong><br />

the prescribed amount of time; <strong>in</strong> that case there is a special arrow, the lightn<strong>in</strong>g arrow, which <strong>in</strong>dicates<br />

what action is performed by the library system.We are deal<strong>in</strong>g here with certa<strong>in</strong> actions, such as return<strong>in</strong>g<br />

the borrowed book, which the user should do, but she may decide not to do them, or simply she can be <strong>in</strong><br />

the situation not be<strong>in</strong>g able to do them. We shall say that the library system has to deal with a violation <strong>in</strong><br />

such a case.<br />

We see here that MUST is closely related to the word responsible as MUST takes <strong>in</strong>to account promises, not<br />

fulfill<strong>in</strong>g promises and punishment.<br />

Event Model for the Library System

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

Saved successfully!

Ooh no, something went wrong!