WebApplication README.md done

jon-jacky · jon-jacky · commit a7fb6eb19f80 · 2013-03-29T20:22:32.000-07:00
diff --git a/samples/WebApplication/README.md b/samples/WebApplication/README.md
@@ -59,11 +59,11 @@ The modules are:
 - *Stepper*: enables *pmt* to use *WebModel* (etc.) to drive *webapp*
 
 - *WSGIVerboseConfig*, *wsgiconfig*, *PHPLocalConfig*,
-  *local8080config*, VerboseConfig*, *nmodelconfig*: 
+  *local8080config*, *VerboseConfig*, *nmodelconfig*: 
   configuration modules for *Stepper* that select different URLs for the web
   application, or other options such as printing the HTTP headers.
 
-- *OneUserDomain*: configuration for *WebMOdel*, limits *users* domain to one
+- *OneUserDomain*: configuration for *WebModel*, limits *users* domain to one
    particular element
 
 - *OneUserFilter*: configuration for *WebModel*, assigns *StateFilter*
@@ -80,10 +80,10 @@ The modules are:
   one particular user to log in and log out
 
 - *TestIntFailure*, *TestIntSuccess*, *TestIntSuccessNoNone*, 
-  *TestIntTwoRuns*, TestIntTwoUsers*, *TestIntWrong*, *TestIntWrongLogout*,
+  *TestIntTwoRuns*, *TestIntTwoUsers*, *TestIntWrong*, *TestIntWrongLogout*,
   *TestLoginFiveFailures*: test suites, use as offline tests
 
-- *test*: use *pmt* to generate traces from WebModel*, with many test
+- *test*: use *pmt* to generate traces from *WebModel*, with many test
    cases that demonstrate various *pmt* options and the built-in
    *ActionNameCoverage* and *StateCoverage* strategies.  Also, one
    test case that executes the *TestIntTwoRuns* test suite.
@@ -128,22 +128,33 @@ The modules are:
 - *fsmpy*, *svg*: directories of output files from *test_graphics*
   or *test_viewer*
 
-You can view the generated graphics files in a browser.  Hover the
-pointer over any state bubble to see a tooltip that shows the state
-variables in that state.
+View the generated graphics files in a browser.  Hover the pointer
+over any state bubble to see a tooltip that shows the state variables
+in that state.
 
 - *WebModelFSM*: graph generated by exploring *WebModel* alone,
   limited only by the *pma -m 50* option (to limit the number of
   transitions).  Exploration stopped at all the states colored orange.
 
-- *TestIntWrongLogout*, ...: graphs of test suites including traces
-  that are forbidden by the model.  They all reach their own accepting
-  states, which are colored green.
-
-- *...*: graphs of tests suites composed with the model.  Each trace ends
-  in the last state allowed by the model.  If this is not the last state
-  in the trace from the test suite, it is colored yellow.
-
-(more to come)
+- *OneUserScenario*, *OneUserNoIntScenario*: scenario machines (FSMs)
+   for composing with *WebModel*
+
+- *OneUserScenarioFSM*, *OneUserNoIntScenarioFSM*, *OneUserFilterFSM*,
+  *OneUserDomainFSM*: graphs generated from *WebModel* combined with 
+  other modules that restrict its behavior.
+
+- *TestIntWrongLogoutFSM*, *TestIntWrongFSM*,
+  *TestIntTwoRuns_NoLogout*, *TwoIntTwoRuns_Add*, *TestIntTwoRunsFSM*,
+  *TestIntSuccessFSM*, *TestIntFailureFSM*: graphs of test
+  suites including traces that are forbidden by the model.  They all
+  reach their own accepting states, which are colored green.
+
+- *TestWrongComposeFSM*, *TestSuccessComposeFSM*,
+  *TestComposeLogoutFSM*, *TestIntComposeFSM*: graphs of tests
+  suites composed with the model.  Each trace ends in the last state
+  allowed by the model.  If this is not the last state in the trace
+  from the test suite, it is colored yellow.  This indicates that the
+  trace is not allowed by the model.  If the whole trace is allowed by
+  the model, the last state is green.
 
 Revised Mar 2013
