Abstract:The expanding smart distribution grid with gradually updating business modes is requiring a superior information model to reflect its state precisely. This paper proposed a formal modeling and verification method based on common information model. Considering the imprecision and ambiguity of UML in the modeling process, we constructed the formal definitions and logical descriptions for objects, logics and scenes of the information model, followed by the derivation of ontology rules and propositions. To verify whether the model possesses the expected semantic features, formal verification method is generalized using underlying logics and semantics derived from the ontology rules. Later on, the formal verification tool SPIN is applied to the distribution control area model as an example for formal verification to ensure the synchronization of semantics and structure for data exchange process between information models. The formal symbols in this paper adopt the following conventions:a) The formal expressions conform with Backus Naur form, BNF;b) The capital letters represent sets, lowercase letters denote the elements: t is an element of T;c) Definitions use the combination of numbers: 2-3; Rules use number and uppercase letter combination: 2-A; Inference use number and lowercase letter combination: 2-d;d)

Representation and Transformation of Substation Models Based on Predicate Logic

Formalized Framework for Substation Model Transduction

Research of system configuration process based on IEC61850 substation automation system

Model of middleware framework in demand for management information ontology

IMPLEMENTATION OF SEMANTIC INFORMATION MODEL IN IEC61850

Coordination Between IEC 61850 and IEC 61970 for the Protection Model

MODELING AND IMPLEMENTATION OF THE SUBSYSTEM IN SUBSTATIONS BASED ON IEC 61850

A Meta-Model of the CIM Update Process for Smart Grid Information Integration

Interoperability analyses and system implement to IEC61850 semantic information model

Formal verification of ontology transformation for distribution network information model based on meta-model theory

Information Modeling and SCL Description of IED for Transformer Condition Monitoring Based on IEC61850

An Ontological Meta-Model Framework for Implementation of IEC 61968 | Ontologiczny meta-model struktury standardu IEC 61968

IED Information Modeling and SCL Description for Transformer Condition Monitoring Based on IEC 61850

An Iec 61850 Universal Gateway Based on Metadata Modeling

Model of Intelligent Distributed Feeder Automation Based on IEC 61850

Formal Modeling And Verification Of Smart Distribution Grid Based On Common Information Model

Transformation from System Design Models in SysML to Executable IEC 61499 Function Block Models

Unified Modeling of Physical- Cyber -Logic -Attack - Protection for Digital Substation by Extension of IEC61850 Logic Space Model

Translation of Modified Predicate Transition Nets Models of Cummunication Protocols into Simulation Programs

Modeling and Simulation of Data Flow for VLAN-Based Communication in Substations

Substation Management Information System Based on CIM Modeling and Workflow Technology