Up Basics Fractals Models Concept Map How to... OOA/D? CBD Model Kinds This 'n That
| |
Static, Dynamic, and Interactive Models
This distinction has been recognized in more rigorous methods for some time now, and it
allows you to separate certain aspects of your models so that changes are more localized.
Think how much simpler your code would be if implementation technologies allowed us to
separately describe code bits the way you can separate your modeling concerns:
 | Static models are about the state of some object(s), described by a set of typed
attributes (and static invariants which reduce the permitted state combinations of
attribute values). |
 | Dynamic models are about the state changes of some object(s), described by a set of
actions and their pre/postconditions (and dynamic invariants which reduce the permitted
state transitions for any action). State charts are a graphical notation which defines
states (Boolean attributes) and invariants on states (if you are awake you cannot
be asleep), as well as the effects of actions as state transitions. |
 | Interactive models are about the permitted interactions between objects, and about how
some of those interactions help to realize some more abstract action (a refinement). |
|