Educator User's Guide

                    Table of Contents

                            First things first

• Background & Introduction
• Similar tools

                            Installation

• Where to install
• What you will need

                            The Interfaces

• Start-up window
• Creating a description
• Pre/postconditions

                            Enacting the description

• Default enaction
• State-based enaction (Enhanced)
• Examples of enacted descriptions
  • The ATM
  • Car Parking
  • Library

                          Editing items already registered

• Rewriting an event
• Changing a precondition
• Changing a postcondition
• Changing secondary actor elements
• Deleting secondary actor elements

                   Implementation Issues

• Classes, objects and interactions--design
• The Java programming language issues

Email me with any queries and feedback