This is a simple validator that checks the result Statchart models of the TTC 2013 PetriNet-to-Statechart Case. It works with the main testcases 1 to 11, and it also does some checks for the performance test cases.

The following things are checked for the main testcases:

• For the test cases where a complete reduction is feasible, there has to be exactly one Statechart element containing exactly one AND state containing the top-most OR state created by the reduction rules.

  This check is also performed for the performance test cases.

• For every element type, the expected number of instances is checked against the actual number of instances.

  This check is also performed for the performance test cases.

• The expected containment hierarchy is checked against the actual containment hierarchy.

  This check is not performed for the performance test cases.

• The expected contents of the rnext and next references of each HyperEdge are checked against their actual contents. Hereby, the order is ignored.

  This check is not performed for the performance test cases.

The validator requires one assumption about the statechart models: every Basic state and every HyperEdge has to be named according to the Place or Transition it has been created for by the initialization transformation as stated in section 2.2 of the case description. The names of the OR and AND may be chosen arbitrary. As a consequence, the provided result models in Louis example solution project are not valid according to this validator, because his transformation doesn't preserve the names.

First of all, you need a JDK version 7.

Also, you need to install the lein script from Leiningen and place it somewhere in your PATH.

• Linux/Mac: lein
• Windows: lein.bat

Leiningen is a configuration and build management tool based on Maven.

First, clone this project and change into its directory:

$ cd ttc-stuff/
$ git clone git://github.com/tsdh/ttc-2013-pn2sc-validation.git
$ cd ttc-2013-pn2sc-validation/

Afterwards, you can use lein run to run the validator. The first invocation will fetch all required dependencies for you. This may seem as if it was downloading the whole internet (it'll also download Maven and everything required by it), so be patient.

lein run without arguments will print the synopsis of the command:

$ lein run
You are using me wrongly!

Usage: lein run <testcase> <statechart-xmi>
  - <testcase> may be 1 to 11 for one of the 11 main testcases.
	It may also be one of 200, 300, 400, 500, 1000, 2000, 3000,
	4000, 5000, 10000, 20000, 40000, 80000, 100000, or 200000,
	denoting one of the performance testcases.  For the performance
	testcases, only the number of elements are checked.
  - <statechart-xmi> is an EMF XMI file containing the target statechart.

So you should call it with a number and a statechart model XMI file. The number tells the validator to what testcase the provided model corresponds. An invocation for testing a model sc1.xmi if it conforms to the expected outcome of the first testcase is given below:

$ lein run 1 ../path/to/testcase1result.statechart
Testing ttc-2013-pn2sc-validation.main

Ran 1 tests containing 23 assertions.
0 failures, 0 errors.
The model passes the validator. :-)

Copyright © 2013 Tassilo Horn [email protected]

Distributed under the GNU General Public License, version 3 (or later).