Summary

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

Details

Page properties

Content

...	...	@@ -29,44 +29,40 @@
29	29	**KIELER**: Strong Abort, Week Abort, Normal Termination
30	30	)))
31	31	|(((
32		-State
	32	+Initial State
33	33	)))|(((
34		-[[image:attach:image2012-10-11 13:47:11.png]]
	34	+[[image:attach:image2012-10-11 13:46:58.png]]
35	35	)))|(((
36		-[[image:attach:image2012-10-11 13:49:10.png]]
	36	+[[image:attach:image2012-10-11 13:52:3.png]]
37	37	)))|(((
38		-
	38	+**YAKINDU**: Initials State are pseudo states. The Initial State may not be a Composite State. (% style="color: rgb(0,0,0);" %)An initial state can only have one outgoing transition and no incoming.
39	39	)))
40	40	|(((
41		-Composite State
	41	+Final State
42	42	)))|(((
43		-[[image:attach:image2012-10-11 13:47:20.png]]
	43	+[[image:attach:image2012-10-11 13:47:5.png]]
44	44	)))|(((
45		-[[image:attach:image2012-10-11 13:47:58.png]]
	45	+[[image:attach:image2012-10-11 13:51:43.png]]
46	46	)))|(((
47		-
	47	+**YAKINDU**: Final States are pseudo states. The Final State may not be a Composite State
48	48	)))
49	49	|(((
50		-Initial State
	50	+State
51	51	)))|(((
52		-[[image:attach:image2012-10-15 14:41:10.png]][[image:attach:image2012-10-11 13:46:58.png]]
	52	+[[image:attach:image2012-10-11 13:47:11.png]]
53	53	)))|(((
54		-[[image:attach:image2012-10-11 13:52:3.png]]
	54	+[[image:attach:image2012-10-11 13:49:10.png]]
55	55	)))|(((
56		-**YAKINDU**: Initials State are pseudo states. The Initial State may not be a Composite State. (% style="color: rgb(0,0,0);" %)An initial state can only have one outgoing transition and no incoming.
57		-
58		-(% style="color: rgb(0,0,0);" %)**KIELER**:
	56	+
59	59	)))
60	60	|(((
61		-Final State
	59	+Composite State
62	62	)))|(((
63		-[[image:attach:image2012-10-15 14:40:31.png]][[image:attach:image2012-10-11 13:47:5.png]]
	61	+[[image:attach:image2012-10-11 13:47:20.png]]
64	64	)))|(((
65		-[[image:attach:image2012-10-11 13:51:43.png]]
	63	+[[image:attach:image2012-10-11 13:47:58.png]]
66	66	)))|(((
67		-**YAKINDU**: Final States are pseudo states. The Final State may not be a Composite State
68		-
69		-**KIELER**: Final states are depicted with a double border
	65	+
70	70	)))
71	71	|(((
72	72	History

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-2982130
	1	+2982113

URL

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