More specialized model veri?¬?cation and validation tasks may be better performed
in existing external programs. For example, tools exist for validating that a system,
expressed as a state machine, cannot exhibit various kinds of undesirable behavior. A
generator could be used to export a state-like model into a format readable by such a
tool, and then call the tool. Attempting to analyze the behavior directly with the
generator facility would be a poor idea: generator facilities are not renowned for their
speed, and these calculations are computation intensive.
GENERATOR OUTPUT PATTERNS 279
11.3.3 Documentation
In DSM, the models form the best documentation of the system: expressed in highlevel
terms, yet precise and always up-to-date. The DSM tool also provides the best
environment for accessing this documentation, supporting various views, browsers,
and queries. However, not everybody will have access to the DSM tool, or be
familiar with it, and in any case a strong tradition for paper, Word, or web-based
documentation is something that many organizations will ?¬?nd takes time to
overcome.
Around the time a DSM solution is being deployed to a pilot group, the ?¬?rst
requests for documentation appear. While these are often for documentation of the
modeling language, in many tools the modeling language is treated as just another
model, and so there is a requirement to generate some traditional documentation
format from a model.
Pages:
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517