Summary

• Page properties (2 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Title

...	...	@@ -1,1 +1,1 @@
1		-SCT - Textual Description Language for SCCharts
	1	+Textual SCCharts Description Language (SCT)

Content

...	...	@@ -60,3 +60,34 @@
60	60	1. Transitions outgoing from a state must be declared right before a state is terminated with// ;//. For example a transition from state //WA// to state //DA// is declared in Line 11.
61	61	1. Transitions can have triggers and effects which are separated by a dash~:// <trigger>/<effects>//. Multiple sequential effects are separated by a //;//. The transition in Line 11 declares just a trigger //A// (a dash is not necessary in this case), while the transition from line 18 declares only an effect// O = true// (here the dash is mandatory).
62	62	1. There are three types of transitions: 1. normal/weak abort transitions //~-~->//,  2. strong abort transitions //o->// and 3. termination/join transitions// >->//.
	63	+
	64	+
	65	+
	66	+= Detailed Syntax of SCCharts Language Elements =
	67	+
	68	+== SCCharts, Initial States, States, Transitions ==
	69	+
	70	+{{column width="50%"}}
	71	+{{code linenumbers="true"}}
	72	+ scchart StateTransition {
	73	+ initial state A
	74	+ --> B;
	75	+ state B
	76	+ --> C;
	77	+ state C
	78	+ --> A immediate;
	79	+}
	80	+{{/code}}
	81	+{{/column}}
	82	+
	83	+{{column width="50%"}}
	84	+ [[image:attach:01statetransition.png]]
	85	+{{/column}}
	86	+
	87	+
	88	+
	89	+
	90	+
	91	+
	92	+
	93	+

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-9471380
	1	+9471385

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471380/SCT - Textual Description Language for SCCharts
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471385/Textual SCCharts Description Language (SCT)