Version 20.1 by wah on 2012/11/01 20:49
Show last authors
1 |=(((
2
3 )))|=(((
4 KIELER SyncCharts
5 )))|=(((
6 YAKINDU SCT
7 )))|=(((
8
9 )))
10 |(% colspan="1" %)(% colspan="1" %)
11 (((
12 **Declarations**
13 )))|(% colspan="1" %)(% colspan="1" %)
14 (((
15 **Pure Signals**: signals have a present status:
16
17 * absent or present
18 * must be set for input signals
19 * computed for local and output signals:\\
20 ** for each tick absent by default unless signal is emitted
21 * Example:\\
22 ** Emit signal S: S
23 ** Test for presence: S
24
25 **Valued Signals**:
26
27 * are pure signals than additionally are able to store a value
28 * values are persistent across ticks
29 * Example:
30 ** Emit signal V with value 3: V(3)
31 ** Test for presence: V
32 ** Get the last emitted value of V: ?V
33 \\
34
35 (% style="color: rgb(0,0,0);" %)**Variables: **
36
37 * (% style="color: rgb(0,0,0);" %)Are not(%%) shared between concurrent regions
38 * Currently implemented by host type  variables
39 )))|(% colspan="1" %)(% colspan="1" %)
40 (((
41 **Events**:
42
43 * (% style="color: rgb(0,0,0);" %)interface scope: events can either be ingoing (in event event) or outgoing (out event event).
44 * (% style="color: rgb(0, 0, 0); color: rgb(0, 0, 0)" %)local scope: events are able to store a value.{{code language="none"}}internal: event localEvent : bool{{/code}}(%%)
45
46 {{{}}}
47
48 (% style="color: rgb(0,0,0);" %)**Variables:**
49
50 * variable:{{code language="none"}}var variable: string{{/code}}
51
52 {{{}}}(% style="color: rgb(0,0,0);" %)** **
53 * read-only variable:{{code language="none"}}var readonly size: int = 10 {{/code}}
54
55 {{{}}}
56 * external variable: can be referenced by the environment
57 (% style="color: rgb(0,0,255);" %)Q: Wo werden diese sichtbar? {{code language="none"}}var external variable: int = 44{{/code}}(%%)
58
59 {{{}}}
60 )))|(% colspan="1" %)(% colspan="1" %)
61 (((
62
63 )))
64 |(((
65 **Types**
66 )))|(((
67 * **int**
68 * **bool**
69 * **string**
70 \\
71 * **pure**: only makes sense for Signals. Signals are absent or present.
72 * **unsigned**
73 * **float**
74 * **double**
75 * **host: **no actual type is given. The given type in the hostType attribute is used.
76 )))|(((
77 * **integer**
78 * **boolean **
79 * **string**
80 \\
81 * **real**
82 * **void**
83 (% style="color: rgb(0,0,255);" %)Q: Wird das Metamodell/Typsystem in Zukunft noch weitere Typen bereitstellen?{{code language="none"}}{{/code}}(%%)
84
85 {{{}}}
86 )))|(((
87
88 )))
89 |(((
90 **Expressions**
91 )))|(((
92 * **Logical AND:** var1 && var2
93 * **Logical OR:** var1 || var2
94 * **Logical NOT:** !var1
95
96
97 {{{(A and B) or ((not C) and D) }}}
98 )))|(((
99 * **Logical AND:** var1 && var2
100 * **Logical OR:** var1 || var2
101 * **Logical NOT:** !var1
102 * **Conditional Expression:** var1 ? var2 : var3
103 (% style="color: rgb(0,0,255);" %)Q: Eventuell problematisch?{{code language="none"}}{{/code}}(%%)
104
105 {{{}}}
106 )))|(((
107
108 )))
109 |(((
110 **Operations**
111 )))|(((
112 * **Equal**: '='
113 * (% style="color: rgb(0,0,0);" %)**Less Than**(%%)**: '**<'
114 * (% style="color: rgb(0,0,0);" %)**Equal Or Less Than**(%%)**: '**<='
115 * (% style="color: rgb(0,0,0);" %)**Greater Than**(%%)**:** '>'
116 * (% style="color: rgb(0,0,0);" %)**Equal Or Greater Than**(%%)**:** '>='
117 * **NOT: '**!='
118 * **Value**: '?'
119
120 {{{?B = 3}}}
121 * **PRE**: 'pre'
122
123 {{{pre(B)}}}
124 * **NE**: '<>'
125 * **AND: '**and'
126 * **OR**: 'or'
127 * **Add**: '+'
128 * **Minus** : '-'
129 * **Multiply**: '*'
130 * **Divide**: '/'
131 * **Modulo**: 'mod'
132 )))|(((
133 * **Equal**: '=='
134 * **less than:** '<'
135 * **Equal Or Less Than**: '<='
136 * **Greater Than**: '>'
137 * **Equal Or Greater Than** '>='
138 * **Not Equal:** '!='
139 * **Shift Left**: '<<'
140 * **Shift Right**: '>>'
141 * **Plus:** '+'
142 * **Minus:** '-'
143 * **Multiply:** '*'
144 * **Divide:** '/'
145 * **Modulo:** '%'
146 * **Positive: '**+'
147 * **Negative: '**-'
148 * **Complement: **'~~'
149 )))|(((
150
151 )))
152 |(% colspan="1" %)(% colspan="1" %)
153 (((
154 **Trigger**
155 )))|(% colspan="1" %)(% colspan="1" %)
156 (((
157 * Simple signal reference: I / O
158 * Boolean expression: 
159
160 {{{(A and B) or ((not C) and D)}}}
161 * (% style="color: rgb(0, 0, 0); color: rgb(0, 0, 0); color: rgb(0, 0, 0)" %)Valued Signals and Variables can be used in conditions in these boolean expressions(% style="color: rgb(0,0,0);" %)
162
163 {{{variable &#x3e; 1}}}
164
165 {{{?A = 1}}}
166 * (% style="color: rgb(0, 0, 0); color: rgb(0, 0, 0); color: rgb(0, 0, 0)" %)Comparison(% style="color: rgb(0,0,0);" %)
167
168 {{{?A &#x3e; (variable + 1)}}}
169
170 {{{A and (3 &#x3e; ?B) or ((var5 + 2) = 6)}}}
171 * (% style="color: rgb(0, 0, 0); color: rgb(0, 0, 0)" %)Pre
172
173 {{{A and pre(B)}}}
174
175 {{{3 &#x3c; pre(?A)}}}
176 * (((
177 Immediate, #S
178 )))
179 * (((
180 Count Delays, 3 S
181
182 {{{ }}}
183 )))
184 * (((
185 Time in SyncCharts: Multiform notion of time,
186 e.g., signal SECOND appears every second (depending on the physical tick length).
187
188
189
190 \\
191
192 {{{ }}}
193
194
195 )))
196 )))|(% colspan="1" %)(% colspan="1" %)
197 (((
198 * **event:**
199 {{code language="none"}}I / raise O{{/code}}
200
201 {{{}}}
202 * **after**:{{code language="none"}}after 20 s{{/code}}
203
204 {{{}}}
205 * **every**{{code language="none"}}every 200 ms{{/code}}
206
207 {{{}}}
208 * **always: **
209 (% style="color: rgb(0,0,0);" %)enables a reaction to be executed in every run to completion step
210 * (% style="color: rgb(0,0,0);" %)**default: **(%%)
211 (% style="color: rgb(0,0,0);" %)enables a reaction to be executed in every run to completion step
212 * (% style="color: rgb(0,0,0);" %)**else**: (%%)
213 (% style="color: rgb(0,0,0);" %)used in transitions and implies the lowest evaluation priority for that transition.
214 * (% style="color: rgb(0,0,0);" %)**entry**
215 * (% style="color: rgb(0,0,0);" %)**exit**
216 * (% style="color: rgb(0,0,0);" %)**oncycle**(%%) 
217 {{code language="none"}}{{/code}}
218
219 {{{}}}
220 )))|(% colspan="1" %)(% colspan="1" %)
221 (((
222
223 )))
224 |(% colspan="1" %)(% colspan="1" %)
225 (((
226 **Effects**
227 )))|(% colspan="1" %)(% colspan="1" %)
228 (((
229 * Emission of a simple signal
230
231 {{{/ A}}}
232 * (% style="color: rgb(0, 0, 0); color: rgb(0, 0, 0)" %)Emission of value of a valued Signal
233
234 {{{/ A(3)}}}
235 * (% style="color: rgb(0, 0, 0); color: rgb(0, 0, 0); color: rgb(0, 0, 0)" %)Assignment of a variable(% style="color: rgb(0,0,0);" %)
236
237 {{{/ varA := 42}}}
238 * (% style="color: rgb(0, 0, 0); color: rgb(0, 0, 0); color: rgb(0, 0, 0)" %)Multiple effects get comma- or whitespace separated(% style="color: rgb(0,0,0);" %)
239
240 {{{/ A, B, C(25), varA := 2}}}
241 * (% style="color: rgb(0, 0, 0); color: rgb(0, 0, 0); color: rgb(0, 0, 0)" %)New values may use value expressions as explained above
242
243 {{{/ A(3 + pre(?B)), varC := (varD + 1)}}}
244 )))|(% colspan="1" %)(% colspan="1" %)
245 (((
246 * **raise** myvar
247 * **myvar = valueof(event)**: (% style="color: rgb(0,0,0);" %)Returns the value of an valued event that it passed to the function as parameter.
248 * **mybool = active(StateA)**: (% style="color: rgb(0,0,0);" %)Returns „true” if a state is active or „false” otherwise.
249 )))|(% colspan="1" %)(% colspan="1" %)
250 (((
251
252 )))
253
254
255 \\

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage