In
the former case, the language could prevent making illegal connections between
certain model elements or force a modeler to specify certain data. In the latter case,
model checking could report illegal structures or incomplete designs. The narrow
focus of the language can also help modelers in following approved design guidelines
and in reusing available speci?¬?cations. By focusing on precise concepts that are
already known, the models in DSM become easier to read, remember, check, and
validate.
Narrow Solution Domain for Generation The generators are obviously
domain-speci?¬?c too as it would be impossible to have general-purpose generators. In
DSM, the generator reads the models based on the metamodel of the language to
produce the required code. DSM is not restricted to a speci?¬?c target language. As the
cases in Table 3.1 illustrate, the target languages can cover the whole spectrum from
assembly to 3GL and object-oriented languages as well as scripting languages and
various proprietary languages. The target language alone is not the factor that narrows
the focus; each case speci?¬?ed structures for the generated code and many used
libraries and platforms that further narrowed the implementation space. For example,
in a mobile phone that can run code written in C++ it is not possible to run just any
C++ whatsoever; it needs to follow the programming model, services of the operating
system (e.
Pages:
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108