The path order could also be taken from the
order of speci?¬?cation??”the path speci?¬?ed ?¬?rst in the model is executed ?¬?rst??”or from
spatial information??”the path speci?¬?ed highest is taken ?¬?rst. These choices, however,
could restrict the modeling process, and reuse of larger model chunks between
different speci?¬?cations would not necessarily work??”the context would be different
between models in a library and their use in design.
As not all design rules can be de?¬?ned in the modeling language to be checked at
modeling time, model checking generators were de?¬?ned. Rather than calling
individual model checks, they were all called by one checking generator named
???!Check.??? This generator checked a service speci?¬?cation and created warning reports
about cyclic speci?¬?cations. The result of the warning report was de?¬?ned to be shown in
a separate window, although an other possibility would have been to place the warning
information as a visible part of the designs. One approach considered was showing in
the model that there were inconsistencies, but not showing the details; the details
could then be seen by running the complete model checking report.
5.5.2 Generator in Action
The task of the generator is to follow the nodes via their connections and create the
corresponding CPL document structure inXML.
Pages:
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236