Integrating Specifications: Development Relations and Correspondences

Integrating Specifications: Development Relations and Correspondences Realistic system specifications consist of many sub-specifications in a heterogeneous collection of notations. We have investigated what it means for such ''partial specifications'' to collectively describe possible implementations of the system, and what it means for them to be consistent. The crucial notion in this is the ''development relation'' which relates a specification to acceptable developments or implementations. Our current focus is on correspondences: how do we cross-reference between two partial specifications, especially when they are written in different notations? What does it mean for specifications to be integrated with respect to such a correspondence relation?