Access Control example
----------------------
This is a classical access control system.
An administrator adds or deletes new users.
Registered users are allowed to get in.


TEST:
----
To run all the test cases on the system, select
AccessControlTest.ttcn3 and click on the debug
quick button.
When the Simulator starts, choose: 
Options / Timers / Fire timers automatically
Click on the Run quick button and watch...


MODEL CHECKING:
--------------
IF observers are included in this project to test model checking. 
Select Validation->Checking..., select IF_profile and choose observer to export with the system.

Version 2.6 of Python is required to run External Model checker 
(can be downloaded on http://www.python.org/)


DOCUMENTATION:
-------------
The FullDocumenation.doc and FullDoc.odm are container documents for Word and 
OpenOffice that define the title, the table of content, and the index. 
The document is a reference to AccessControl.rtf or AccessControl.odt
that are generated via the Design document. In order to update the documents,
open Design, go to Document / Export as / RTF or OpenDocument Format. 
This replaces the AccessControl.rtf or the AccessControl.odt and the
FullDocumentation.doc or FullDoc document is updated. If not in the Word
document, get to the generated part of the word document and press F9 
to update it.



