REPOSITORY SYSTEM amp; OPERATION METHOD FOR RIGOROUS STRUCTURED SYSTEMS ANALYSIS

摘要

The present invention relates to an information storage system for strict structural analysis of a structural analysis supporting automation system and its operation method, and to verifying a consistency rule between a model and a model to provide a more detailed and accurate analysis model for a target system. It provides information repositories that support detailed data types for rigorous analysis of data and various search methods for stored analysis models. The information storage system can be used to set and release the information storage environment for storage and retrieval of structural analysis models, to create, delete, open and close tables for searching the tables constituting the information storage, and to index specific records. Setting, browsing records, moving to the next record, moving to the first and last records, returning the total number of records in the table, modifying, adding, and deleting records, storing and playing field values for the specific fields that make up the record For this purpose, information storage interface commands are provided for storing and replaying characters, integers, long integers, real numbers, and double precisions according to the data type of the field.