Model Kinds

Home ] Overview ] Publications ] OMG ] Case Study ] Support ] Other Work ] Search ]
horiz-space.GIF (952 bytes)

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).
 
Email suggestions to webmaster@catalysis.org. All contents copyrighted © 1998.