Extensible system for verification, transformation and Simulation of computer system models

摘要

The invention relates to a system for applying transformation, verification or simulation operations to a set of documents constituting a computer system model. The extensibility of the system depends on the syntax and semantics of the language and format of document expression defined by modules.And determine the operation of the file. Add a new module to use the new language and format in the template and apply new actions to the document. The system allows you to reuse the functions provided by the system, such as parsing and syntax generation, when adding new modules.Instead of repeating it in each module. It also allows new languages or formats and new operations to be defined from existing modules. The system also includes a mechanism for updating modules from servers connected to the network.Provide a mechanism to provide transformation, verification and simulation services of computer models to users connected to the system, and provide users of the service with the confidentiality of their models, Users of this service are also prevented from accessing the data used to replicate this information. service Especially when analyzing, designing, implementing and maintaining a multi language computer system, the system is implemented. Data formats and model tools.