com.
20
21
22 The generated code forms a complete service whose validity has already been
checked at the design stage. Because the modeling language contains the rules of the
domain, service creators can only make valid and well-formed design models. The
modeling language can also help service creators with consistency checks and
guidelines, for example, by informing them about missing information (such as no
call redirect being speci?¬?ed). These rules are highly domain-speci?¬?c and thus can be
handled only with a domain-speci?¬?c language.
The generator producing the call processing scripts, and related model checking,
was tested against several test cases. First, script samples were taken from the CPL
speci?¬?cation, but further cases were made to cover situations that were not available in
the speci?¬?cation documentation. In total, about 40 different kinds of service
speci?¬?cations were used and found to be enough to test the possible combinations.
Then the generator was executed and the result was compared ?¬?rst for legality asXML
and then against the test cases.
5.6 FRAMEWORK SUPPORT
The CPL generation did not require any framework code to make model-based code
generation possible. As the service speci?¬?cation is made based on the CPL
speci?¬?cation, the schema largely de?¬?nes what the generated code should look like.
Pages:
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239