Summary

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

Details

Page properties

Content

...	...	@@ -24,7 +24,9 @@
24	24	)))|(((
25	25	[[image:attach:image2012-10-11 13:46:50.png]]
26	26	)))|(((
27		-
	27	+**YAKINDU**: There is only one type for transitions
	28	+
	29	+**KIELER**: Strong Abort, Week Abort, Normal Termination
28	28	)))
29	29	|(((
30	30	Initial State
...	...	@@ -33,7 +33,7 @@
33	33	)))|(((
34	34	[[image:attach:image2012-10-11 13:52:3.png]]
35	35	)))|(((
36		-
	38	+**YAKINDU**: An extra State for Initial State. The Initial State may not be a Composite State
37	37	)))
38	38	|(((
39	39	Final State
...	...	@@ -42,7 +42,7 @@
42	42	)))|(((
43	43	[[image:attach:image2012-10-11 13:51:43.png]]
44	44	)))|(((
45		-
	47	+**YAKINDU**: An extra State for Final State. The Final State may not be a Composite State
46	46	)))
47	47	|(((
48	48	State
...	...	@@ -69,7 +69,9 @@
69	69	)))|(((
70	70	[[image:attach:image2012-10-11 13:47:54.png]]
71	71	)))|(((
72		-
	74	+**YAKINDU**: A History is a Pseudostate
	75	+
	76	+**KIELER**: A History is a Transition
73	73	)))
74	74	|(((
75	75	Synchronization

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-2982047
	1	+2982049

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982047/A SyncChart-Editor based on Yakindu
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982049/A SyncChart-Editor based on Yakindu