Active Models in Support of Collaborative Design

摘要

The project was concerned with providing mathematical models of artifacts that capture both their externally visible properties and their behavior as well. It was also concerned with providing ways to share these models among various software systems.