uk.ac.sheffield.vtts.web

Class WebValidateMachine

java.lang.Object

uk.ac.sheffield.vtts.web.WebValidateMachine

public class WebValidateMachine
extends java.lang.Object

WebValidateMachine is a CGI program to validate the state machine of a cloud service specification. This program expects to be launched by a CGI script which, in turn, is the action performed by a web form. The script merely invokes the Java runtime with this class as the main program. This program decodes the web form data supplied as POST-data on standard input, and then validates the state machine of the service referenced in the form. The output is an annotated XML file of the state machine. Requires ASTReader, ASTWriter, ASTError from the JAST package.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Constructor Summary

Constructors

Constructor and Description
WebValidateMachine()

Method Summary

Methods

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) Reads the URL-encoded POST-data on standard input, decodes this as a Java map containing the key "url" associated with a value, the URL of the specification file.

Methods inherited from class java.lang.Object

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

Constructor Detail

WebValidateMachine

public WebValidateMachine()

Method Detail

main

public static void main(java.lang.String[] args)

Reads the URL-encoded POST-data on standard input, decodes this as a Java map containing the key "url" associated with a value, the URL of the specification file. Reads the specification file, which is in the Broker@Cloud XML specification format conforming to ServiceSchema.xsd, and builds a model of the specification in memory. Validates the state machine of the specification, then outputs an annotated XML file, issuing warnings about any unreachable states; and also providing an analysis of missing transitions per state.

Parameters:

args - empty, since no command-line parameters are passed.