diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:02:03 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:02:03 (GMT) |
commit | 1fb6bcf30f954e426f2d3002d14887574fb941dd (patch) | |
tree | 08cff7f2b879c50efe79e3c04d255075522af862 /test/uscxml/test-initial-config.scxml | |
parent | 71c334bf4e35559496feac3f3cf00b72ceb88812 (diff) | |
download | uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.zip uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.gz uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.bz2 |
Major refactoring
- Moved tests
- Changes to promela datamodel
- Implemented Trie
Diffstat (limited to 'test/uscxml/test-initial-config.scxml')
-rw-r--r-- | test/uscxml/test-initial-config.scxml | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/test/uscxml/test-initial-config.scxml b/test/uscxml/test-initial-config.scxml new file mode 100644 index 0000000..cac0b8a --- /dev/null +++ b/test/uscxml/test-initial-config.scxml @@ -0,0 +1,58 @@ +<scxml name="CuCo" version="0.9" xmlns="http://www.w3.org/2005/07/scxml"> + <parallel id="MAIN-PARALLEL"> + <state id="MAIN_STATE"> + <state id="1_PROPOSAL" initial="1_START"> + <state id="1_START"> + <onentry> + </onentry> + <transition event="event.role.system" target="SYSTEM_1.1_BEGIN"></transition> + <transition event="event.role.coordinator" target="COORDINATOR_1.1_BEGIN"></transition> + </state> + <state id="SYSTEM_1.1_ANNOUNCEMENT" initial="SYSTEM_1.1_BEGIN"> + <state id="SYSTEM_1.1.2_REMINDER_COORDINATOR-PREPARE-INFO"> + <onentry> + </onentry> + </state> + <state id="SYSTEM_1.1_BEGIN"> + <onentry> + + </onentry> + <transition cond="DATETIME_NOW == DATETIME_EVENT$REMINDER$1_PROPOSAL$ANNOUNCEMENT" event="event.datetime.reminder-2week-coordinator-prepare-info" target="SYSTEM_1.1.2_REMINDER_COORDINATOR-PREPARE-INFO"></transition> + </state> + </state> + <state id="COORDINATOR_1.1_ANNOUNCEMENT" initial="COORDINATOR_1.1_BEGIN"> + <state id="COORDINATOR_1.1_BEGIN"> + <onentry> + + </onentry> + <transition event="FLAG_REMINDER1 == TRUE" target="COORDINATOR_1.1.1_ANNOUNCEMENT-CONTENTS-VALIDATE"></transition> + </state> + <state id="COORDINATOR_1.1.1_ANNOUNCEMENT-CONTENTS-VALIDATE"></state> + </state> + </state> + </state> + <state id="finish_shortcut"> + <transition event="event.finish" target="finished"></transition> + </state> + <state id="ADMINISTRATIVE_TASKS"> + <state id="ADMINISTRATIVE_NON-HR-MANAGEMENT"> + <onentry> + + </onentry> + <transition event="event.administrative.next" target="ADMINISTRATIVE_NON-HR-MANAGEMENT_2"></transition> + </state> + <state id="ADMINISTRATIVE_NON-HR-MANAGEMENT_2"> + <onentry> + + </onentry> + </state> + </state> + <state id="COORDINATOR_TASKS"> + <state id="COORDINATOR_1"></state> + </state> + <state id="HR-MANAGER_TASKS"> + <state id="HR-MANAGER_MANAGE-HR"></state> + </state> + </parallel> + <final id="finished"></final> +</scxml> |