|
|
|
|
|
|
|
|
|
|
|
|
|
• |
Source
models are extracted using tools
|
|
|
• |
Any
source model can be extracted in
|
|
|
multiple
ways
|
|
|
|
– |
That
is, more than one tool can produce a given
|
|
kind
of source model
|
|
|
• |
The
tools are sometimes off-the-shelf,
|
|
|
sometimes
hand-crafted, sometimes
|
|
|
customized
|
|
|
|