Abstract :
Models must be more than informal pictures. By carefully considering a modelʹs relationship to the thing being modeled and to other models derivable from it, we can understand how to use models to reason about the systems we build and how to use metamodels to specify languages for expressing models.
