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,40 +29,44 @@
29	29	**KIELER**: Strong Abort, Week Abort, Normal Termination
30	30	)))
31	31	|(((
32		-Initial State
	32	+State
33	33	)))|(((
34		-[[image:attach:image2012-10-11 13:46:58.png]]
	34	+[[image:attach:image2012-10-11 13:47:11.png]]
35	35	)))|(((
36		-[[image:attach:image2012-10-11 13:52:3.png]]
	36	+[[image:attach:image2012-10-11 13:49:10.png]]
37	37	)))|(((
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.
	38	+
39	39	)))
40	40	|(((
41		-Final State
	41	+Composite State
42	42	)))|(((
43		-[[image:attach:image2012-10-11 13:47:5.png]]
	43	+[[image:attach:image2012-10-11 13:47:20.png]]
44	44	)))|(((
45		-[[image:attach:image2012-10-11 13:51:43.png]]
	45	+[[image:attach:image2012-10-11 13:47:58.png]]
46	46	)))|(((
47		-**YAKINDU**: Final States are pseudo states. The Final State may not be a Composite State
	47	+
48	48	)))
49	49	|(((
50		-State
	50	+Initial State
51	51	)))|(((
52		-[[image:attach:image2012-10-11 13:47:11.png]]
	52	+[[image:attach:image2012-10-15 14:41:10.png]][[image:attach:image2012-10-11 13:46:58.png]]
53	53	)))|(((
54		-[[image:attach:image2012-10-11 13:49:10.png]]
	54	+[[image:attach:image2012-10-11 13:52:3.png]]
55	55	)))|(((
56		-
	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**: Initial states are supposed to have a thicker border than normal states
57	57	)))
58	58	|(((
59		-Composite State
	61	+Final State
60	60	)))|(((
61		-[[image:attach:image2012-10-11 13:47:20.png]]
	63	+[[image:attach:image2012-10-15 14:40:31.png]][[image:attach:image2012-10-11 13:47:5.png]]
62	62	)))|(((
63		-[[image:attach:image2012-10-11 13:47:58.png]]
	65	+[[image:attach:image2012-10-11 13:51:43.png]]
64	64	)))|(((
65		-
	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
66	66	)))
67	67	|(((
68	68	History

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-2982113
	1	+2982140

URL

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