AUTOMATIC POWER NETWORK MODEL GENERATION

摘要

The article describes the object oriented technology usage in formal definition of system structure and behaviour model with basic well-defined objects (sets, trees, graphs, etc.). The reusable design patterns are defined via the standard user interface. The source code for implementation is generated automatically from the previously defined formal model. The article also analyses how the defined formal system related to some standard modeling mechanisms and where is their place in the hierarchy of the network model generation process.