In this paper we present techniques for constructing Z speciications from the analysis and design models of the Fusion method. We show how the speciications can be used to more closely tie the Fusion models together. In particular, we outline how the speciications can be used to support rigorous veriication of Fusion design models against analysis models.
In this paper we provide a characterization of aggregation as used in static conceptual modeling of applications. Based on this characterization we suggest changes to UML notation that allow for more precise characterization of aggregate structures.