uk.ac.sheffield.vtts

Class ValidateMachine

java.lang.Object

uk.ac.sheffield.vtts.ValidateMachine

public class ValidateMachine
extends java.lang.Object

Program that reads an XML service specification and checks the finite state machine for state reachability and transition completeness. Use this program to simulate the state machine directly. Warnings are given for unreachable states and missing transitions (that should exist, according to the protocol). An analysis is given of which events are ignored in each state, in case the designer wishes to handle these events explicitly with a transition, rather than leave the default transition, which is interpreted as a null operation. Requires ASTReader, ASTWriter, ASTError, NodeError from the JAST package.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Constructor Summary

Constructors

Constructor and Description
ValidateMachine()

Method Summary

Methods

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) Reads an XML service specification from the input file, and, if no faults are found, checks the finite state machine for transition completeness.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ValidateMachine

public ValidateMachine()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException,
                        java.lang.IllegalArgumentException,
                        org.jast.ast.ASTError,
                        org.jast.ast.NodeError,
                        SemanticError

Reads an XML service specification from the input file, and, if no faults are found, checks the finite state machine for transition completeness. For every state, attempts to find a response to every possible event. Reports those events for which no transition is triggered in a given state.

Parameters:

args - the XML service specification file, containing a root Service node.

Throws:

java.io.IOException - if a file system related I/O error occurs.

java.lang.IllegalArgumentException - if an invalid argument is supplied.

org.jast.ast.ASTError - if an XML syntax error is found in the input.

org.jast.ast.NodeError - if marshalling or unmarshalling the model fails.

SemanticError - if a semantic error is detected in the model.