Books for you

3.7 Abstraction Dependency
Defi nition
An abstraction dependency is a mapping between model elements on various
abstraction levels.
A design model is developed on the basis of an analysis model (specification). The
test model verifies the correctness of the design with regard to the analysis. These
relations are examples for relationships between various abstraction levels. The
abstraction dependency allows us to explicitly model them.
The notation is a dashed arrow, similar to how we denote a dependency, except
that it carries the additional keyword ?«abstraction?». The semantics of an abstraction
dependency is often refi ned by a stereotype. In SysML we can use ?«allocate?»
or ?«deriveReqt?» , for example. UML defi nes ?«derive?» , ?«trace?» , and ?«refi ne?» .
Figure 3.17 shows an abstraction dependency between two abstraction
levels??”business process model and system model.
3.3.8 Generalization
Defi nition
A generalization is a taxonomic relationship from a special class to a general
class.
Taxonomy is the division of things in groups.


Pages:
303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327