The SSMSimulator API

Copyright (C) 2007 Lars Frantzen

This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.

This is a very preliminary version which does not provide all the mandatory functonality for doing, for instance, automatic testing. It is just complete enough to allow for a simple simulation of an Service State Machine (SSM). Next versions may change a lot.

For the user of the simulator only these three packages are important:

  1. {@link info.frantzen.testing.ssmsimulator} - here the main class {@link info.frantzen.testing.ssmsimulator.SSMSimulator} can be found
  2. {@link info.frantzen.testing.ssmsimulator.ssm} - to create an SSM, these classes are needed
  3. {@link info.frantzen.testing.ssmsimulator.types}- the type system is encoded in these classes

The main approach is this:

  1. Create a {@link info.frantzen.testing.ssmsimulator.ssm.ServiceStateMachine} (SSM) object
  2. Create an {@link info.frantzen.testing.ssmsimulator.SSMSimulator} object by passing the created SSM
  3. Use methods from the {@link info.frantzen.testing.ssmsimulator.SSMSimulator} to do simulation/testing

@author Lars Frantzen @version 0.3