The primary contribution of this thesis is to propose, prototype and demonstrate proof-of-concept of a fine grained object and library management system. This OMS/LMS is capable of representing evolving semantic models of computing systems such as those required for life cycle support environments (LSCE) to support the Clear Lake Life Cycle Model (CLLCM). At least four features distinguish this thesis from previous work: (1) description and demonstration of the concepts of precise models; (2) description of an approach to evolving unified, precise models which integrate contexts, structure, function and behavior within the models; (3) unambiguous temporal, spatial, normal, fault, failure, and recovery semantics can be added, extended, modified and deleted according to precise modeling rules; (4) adoption, integration and use of two national standards, Ada and Information Resource Dictionary System (IRDS). |