In DSM, models are formal and backed by a code generator, domain framework,
and underlying target platform. These provide the necessary lifting work to make
models ?¬?rst class citizens so that models are an adequate speci?¬?cation to develop
complete systems from a modeler??™s perspective. This is nothing new compared to
manual coding: programmers easily forget that compilers, linkers, and libraries
actually make manual coding possible. By following this analogy, we can see that C
code is just a partial model for a compiler developer.
MODELS 77
4.3.2 Working with Models
Use of a modeling language naturally leads to working with models. And in true
model-based development, we end up having a lot of models.A???lot??? is not necessarily
the best word here as there is clearly less speci?¬?cation work in models when compared
to manual coding, or visualizing code with UML or other modeling languages
originating from the coding world. This is simply because the abstraction in DSM is
always at a higher level. But we still end up having more models than we usually may
have experienced.
In DSM, the role of models in the development process changes:
. Models are versioned, not code. In DSM, models are now the source??”?¬?rst
class citizens which we don??™t throw away as the development progresses. We
version the models.
Pages:
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168