uk.ac.sheffield.vtts.web

Class WebVerifyProtocol

java.lang.Object

uk.ac.sheffield.vtts.web.WebVerifyProtocol

public class WebVerifyProtocol
extends java.lang.Object

WebVerifyProtocol is a CGI program to verify the protocol 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 verifies the protocol of the service referenced in the form. The output is an annotated XML file of the protocol. Requires ASTReader and ASTWriter from the JAST package.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Constructor Summary

Constructors

Constructor and Description
WebVerifyProtocol()

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

WebVerifyProtocol

public WebVerifyProtocol()

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. Verifies the protocol of the specification, then outputs an annotated XML file, issuing warnings for any operation which is non-deterministic or blocking; and also indicating an analysis of input space partitions and which operation branch responded to each partition.

Parameters:

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