CN103617320B - Model verification method is joined by a kind of electric power based on ontology battalion - Google Patents
Model verification method is joined by a kind of electric power based on ontology battalion Download PDFInfo
- Publication number
- CN103617320B CN103617320B CN201310611231.1A CN201310611231A CN103617320B CN 103617320 B CN103617320 B CN 103617320B CN 201310611231 A CN201310611231 A CN 201310611231A CN 103617320 B CN103617320 B CN 103617320B
- Authority
- CN
- China
- Prior art keywords
- model
- complete
- attribute
- class
- collected works
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 24
- 238000012795 verification Methods 0.000 title claims abstract description 22
- 238000012360 testing method Methods 0.000 claims abstract description 8
- 238000013507 mapping Methods 0.000 claims description 4
- 238000010586 diagram Methods 0.000 description 4
- 238000012937 correction Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 2
- 238000007689 inspection Methods 0.000 description 2
- 230000010354 integration Effects 0.000 description 2
- 238000006243 chemical reaction Methods 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 230000007812 deficiency Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 230000002452 interceptive effect Effects 0.000 description 1
- 239000000463 material Substances 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 230000002093 peripheral effect Effects 0.000 description 1
- 230000008569 process Effects 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 230000009467 reduction Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 230000000717 retained effect Effects 0.000 description 1
- 238000000926 separation method Methods 0.000 description 1
- 230000007704 transition Effects 0.000 description 1
- 238000013519 translation Methods 0.000 description 1
- 239000002699 waste material Substances 0.000 description 1
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02E—REDUCTION OF GREENHOUSE GAS [GHG] EMISSIONS, RELATED TO ENERGY GENERATION, TRANSMISSION OR DISTRIBUTION
- Y02E60/00—Enabling technologies; Technologies with a potential or indirect contribution to GHG emissions mitigation
Abstract
The present invention relates to a kind of electric power based on ontology battalion join model verification method, including key step have: the common information model that eXtensible Markup Language pattern is stated is converted to network ontology language structure representation by (1)；(2) complete or collected works' model specification is set up；(3) use complete or collected works' model specification as calibration reference, the subset information model participating in mutual external system is carried out uniformity test (4) complete to the subset information model of external system and the consistency desired result step of complete or collected works' model, the uniformity test result that verification generates is fed back to external system.The present invention can carry out heat deployment on the basis of not restarting bus service at each Utilities Electric Co. scene, do not affect the operation conditions of original service, efficiently solve the data validity problem of data interoperation in power system, there is deployment simple, plug and play, flexibly and easily, the features such as accurate are verified.
Description
Technical field
The invention belongs to electric power system data administrative skill field, model checking is joined by a kind of electric power based on ontology battalion
Method.
Background technology
Since the eighties in 20th century, China's electric power enterprise takes a large amount of manpower and materials in terms of informatization, establishes
Type and large number of management information system, serve certain effect.But great majority are only only oriented to the needs of a certain department,
Often leading to data sharing poor, level of integrated system is the highest brings difficulty so that there are multiple information " isolated island " to information sharing,
Cause repeated construction, waste money simultaneously.In order to solve this difficult problem, middle nineteen nineties in last century, IEC(International Power skill
The art committee) proceed by the research of relevant information integration technology standard, IEC61970 series standard has formulated power industry
Common information model (Common Information Model, CIM).IEC61968 series standard has formulated electric power management system
Interface specification between middle subsystems.But during data integration, whether information model and message specification be in each factory
The system of family is well performed, needs to carry out grammer, many inspections such as the meaning of one's words.Electric network information develops into now,
Integrated between operation system has defined with the electric power enterprise bus (ESB) Service-Oriented Architecture Based as middleware
(Service Oriented Architecture) is as it is shown in figure 1, grasp mutually with other system by bus between operation system
Make, bussing technique commonly used, will bring great convenience to the consistency desired result of message model specification undoubtedly.
At present, in power system peripheral system when requiring access service to information interactive bus, the often mould of subsidiary service
Formula definition (XSD--XML Schemas Definition), this XSD is the pattern definition of a subset common model
(Schema).The pattern definition element type of common information model, corresponding attribute and attribute constraint, but each element
Between the semantic relation of hierarchical relationship, the attribute of class and attribute constraint the most unintelligible, hard to understand, and be machine
Itself can not understand voluntarily, this just verification to the subset message model specification (XSD) of external system bring the biggest difficulty.
OWL(Web Ontology Language) it is the network ontology language of W3C Organisation recommendations, network ontology language has
There is the strongest expressive faculty, it is possible to semanteme and the semantic relation of element model be may be appreciated, with computer, the table that mode is explicit
Reveal to come, if network ontology language can be become to state the message model normative translation of present extending mark language pattern statement,
To bring great convenience to the consistency desired result of message model specification undoubtedly.
As we are noted earlier, what extending mark language pattern was obscure is implied by a lot of semantic informations, such as element
(elements) the alternative element group (substitutionGroup) between and the base in complicated type (complexTypes) expand
It is semantic that exhibition/base constraint (extension/restriction base) is just implied by hierarchical relationship.So extending mark language pattern (XML
Semanteme in pattern the most explicitly is stated out by main mesh ground exactly that Schemas) be mapped to network ontology language (OWL).
Semanteme in extending mark language pattern (XML Schemas) mainly lies in the middle of the combination of mode configuration, the effect of mapping
It is exactly the syntactic structure that these structures are converted to network ontology language, so that machine is better understood on these semantemes, such as
In the IEC CIM_61968_61970 document of eXtensible Markup Language pattern definition, the type of single common information model element
It is complicated type (complexType), after being converted into network ontology language structure, is expressed as owl:Class, eXtensible Markup Language mould
The xs:extension base of formula definition derived relation is converted to rdfs:subClassOf, thus original eXtensible Markup Language pattern
The hierarchical relationship implied in definition states out in the way of Similar integral clearly；Say for another example in eXtensible Markup Language pattern list
The statement of certain attribute constraint of individual common information model is probably such < xs:element name=" isDC "
type="xs:boolean"minOccurs="1"maxOccurs="1"
sawsdl:modelReference="http://iec.ch/TC57/CIM-generic#BaseVoltage.isDC" >, expression is entitled
The attribute of isDC, value type is Boolean type, is one and must occur and attribute once can only occur.Such statement is complete
Being the form of a kind of text entirely, the semantic information wherein implied is very big, but the most disorderly and the most unsystematic, do not say machine without
Method understands, it is simply that people also is difficult to understand clearly.And be converted into the such structure bar of OWL structure representation and put in order clear, semantic information
Very clear, very convenient machine processing.
Summary of the invention
Present invention aims to the deficiencies in the prior art, it is provided that model checking side is joined by a kind of electric power based on ontology battalion
Method.
The present invention solves it and technical problem is that and take techniques below scheme to realize:
Model verification method is joined by a kind of electric power based on ontology battalion, comprises the following steps that
(1) common information model that eXtensible Markup Language pattern is stated is converted to network ontology language structure representation, concrete grammar
For:
1. the mapping relations of the keyword of shared semantic information between eXtensible Markup Language pattern and network ontology language are set up；
2., on the basis of shared semantic key words, eXtensible Markup Language pattern semantic structure is converted to network ontology language structure；
(2) complete or collected works' model specification is set up；Concretely comprise the following steps:
1. use UML, on the basis of international IEC common information model, set up complete or collected works' common information model figure；
2. in lifecycle software design, derive complete or collected works' common information model；
3. equivalent network Ontology Language body is generated；
(3) use complete or collected works' model specification as calibration reference, the subset information model participating in mutual external system is carried out unanimously
Property test, method particularly includes:
1. the subset common model needing the eXtensible Markup Language pattern statement of verification is transferred to netspeak body；
2. isolate each class in subset common model with the prefix of class in Network ontology for keyword, and find out often according to keyword
All parents of individual class, and by the attribute in the parent of subsidiary parent name, attribute constraint copies in this type of, thus obtains class
All model informations；
3. with the entitled keyword of the class in subset common model, complete or collected works' model is searched class of the same name and obtains this type of from the context
Whole attributes in complete or collected works' model and constraint information (are comprised and are obtained by inheritance)；
4., on the basis of 2. step with 3. step, in units of class name, model Compatible Check in agent model and complete or collected works' model is done；
(4) complete to the subset information model of external system and the consistency desired result step of complete or collected works' model, verification is generated uniformity
Test result feeds back to external system.
And in described step (3) 3. with the entitled keyword of the class in subset common model, complete or collected works' model is searched class of the same name
Method particularly includes:
I, if there is no class of the same name, feeds back class name error message；
II, if finding class of the same name, finds out all parents of this class in complete or collected works' model, and by the attribute in parent, attribute constraint
Copy in this type of, thus obtain this type of whole model informations in complete or collected works' model.
And, in described step (4), the model Compatible Check 4. walked specifically includes step and is:
I, if the attribute not having under occurring in complete or collected works' model this type of in agent model under certain class, Report Properties name mistake；
II, if the minimum cardinality of the attribute of certain attribute is constrained to 1 under certain class in complete or collected works' model, does not has this under this type of in agent model
Individual attribute, reporting critical attribute missing errors；
III, if under certain class, the minimum cardinality of the attribute of certain attribute is constrained to 1 in complete or collected works' model, in agent model, this type of lower this belongs to
Property minimum cardinality be constrained to 0, reporting critical attribute minimum cardinality retrains incompatible mistake；
IV, if under certain class, the maximum constraint base of the attribute of certain attribute belongs to less than this type of lower this in agent model in complete or collected works' model
The maximum constraint base of property, the reporting critical attribute incompatible mistake of maximum constraint base；
V, if in the span of certain attribute of certain class and complete or collected works' model, the span of this type of this attribute is not in agent model
With, report the inconsistent mistake of span.
Advantages of the present invention and good effect are
1, the correction verification module of the present invention is a composition plug-in unit of data/address bus, can always not restart at each Utilities Electric Co. scene
Carry out heat deployment on the basis of line service, do not affect the operation conditions of original service.
2, the correction verification module flexible configuration of the present invention is convenient, can carry out Knowledge Verification Model according to the concrete situation of Utilities Electric Co.'s data
Seamless reduction, meets the inspection demand of various electric power system model.
3, the verification basis of the correction verification module of the present invention is IEC61970/IEC61968 specification, meets international electric power standard.
4, the present invention is reasonable in design, efficiently solves the data validity problem of data interoperation in the power system that there is currently,
There is deployment simple, plug and play, flexibly and easily, the features such as verification is accurate.
Accompanying drawing explanation
Fig. 1 is the mutual schematic diagram of data/address bus；
Fig. 2 is the eXtensible Markup Language pattern transition diagram to Network ontology；
Fig. 3 is Network ontology separation category information schematic diagram；
Fig. 4 is the common information model uniformity test schematic diagram of external system.
Detailed description of the invention
Being further described the embodiment of the present invention below in conjunction with accompanying drawing, following example are illustrative, are not determinate,
Protection scope of the present invention can not be limited with this.
Model verification method is joined by a kind of electric power based on ontology battalion, comprises the following steps that
(1) common information model (CIM) that eXtensible Markup Language pattern (XML Schemas) is stated is converted to Network ontology language
Speech (OWL) structure representation, the named XSD2OWL of conversion method, as in figure 2 it is shown, method particularly includes:
1. the mapping relations of the keyword of shared semantic information between eXtensible Markup Language pattern and network ontology language are set up, as
Following table:
Table 1 eXtensible Markup Language pattern and ontology web language are shared semantic key words and are mapped
2., on the basis of shared semantic key words, eXtensible Markup Language pattern semantic structure is converted to network ontology language structure；
In eXtensible Markup Language pattern, the name information of title can remain untouched and be retained in network ontology language, but name space meeting
It is changed to the name space of body, and simple to simple types (simpleTypes) this semanteme, do not have in network ontology language
Having the keyword of correspondence, be converted directly into String, practice is not it has been proved that semantic information is affected by order of elements；
(2) setting up complete or collected works' model specification, concrete grammar step is:
1. use UML (UML), on the basis of international IEC common information model (CIM), set up complete or collected works
Common information model figure；
2. in lifecycle software design (Enterprise Architect), derive complete or collected works' common information model；
3. equivalent network Ontology Language body is generated；
(3) use complete or collected works' model specification as calibration reference, the subset information model participating in mutual external system is carried out unanimously
Property test, as shown in Figure 4, method particularly includes:
1. the subset common model needing the eXtensible Markup Language pattern statement of verification is transferred to netspeak body；
2. using body to process function interface (body API) is that keyword is isolated with the prefix (OWL:Class) of class in body
Each class in subset common model, and all parents of each class are found out according to keyword (OWL:SubClassOf), and by father
Attribute (subsidiary parent name) in class, attribute constraint (constraint base and span) copies in this type of, thus obtains class
All model informations, as shown in Figure 3；
3. with the entitled keyword of the class in subset common model, complete or collected works' model is searched class of the same name, method particularly includes:
I, if there is no class of the same name, feeds back class name error message；
II, if finding class of the same name, finding out all parents of this class in complete or collected works' model, and by the attribute in parent, attribute is about
Bundle (constraint base and span) copies in this type of, thus obtains this type of whole model informations in complete or collected works' model；
4., on the basis of 2. step with 3. step, in units of class name, model Compatible Check in agent model and complete or collected works' model is done, tool
Body method is:
I, if the attribute not having under occurring in complete or collected works' model this type of in agent model under certain class, Report Properties name mistake；
II, if under certain class, the minimum cardinality of the attribute of certain attribute is constrained to 1 in complete or collected works' model, does not has under this type of in agent model
This attribute, reporting critical attribute missing errors；
III, if under certain class, the minimum cardinality of the attribute of certain attribute is constrained to 1 in complete or collected works' model, in agent model, this type of descends this
The minimum cardinality of attribute is constrained to 0, and reporting critical attribute minimum cardinality retrains incompatible mistake；
IV, if under certain class, the maximum constraint base of the attribute of certain attribute belongs to less than this type of lower this in agent model in complete or collected works' model
The maximum constraint base of property, the reporting critical attribute incompatible mistake of maximum constraint base；
V, if the taking of this type of this attribute in the span (type) of certain attribute of certain class and complete or collected works' model in agent model
Value scope (type) is different, reports the inconsistent mistake of span.
(4) complete to the subset information model of external system and the consistency desired result step of complete or collected works' model, verification is generated uniformity and surveys
Test result feeds back to external system.
Claims (3)
1. model verification method is joined by electric power based on an ontology battalion, it is characterised in that comprise the following steps that
(1) complete or collected works' model and agent model eXtensible Markup Language pattern stated is converted to network ontology language structure representation, tool
Body method is:
1. the mapping relations of the keyword of shared semantic information between eXtensible Markup Language pattern and network ontology language are set up；
2., on the basis of shared semantic key words, eXtensible Markup Language pattern semantic structure is converted to network ontology language structure；
(2) complete or collected works' model specification is set up；Concretely comprise the following steps:
1. use UML, on the basis of international IEC common information model, set up complete or collected works' illustraton of model；
2. in lifecycle software design, derive complete or collected works' model；
3. equivalent network Ontology Language body is generated；
(3) use complete or collected works' model specification as calibration reference, the agent model participating in mutual external system is carried out uniformity survey
Examination, method particularly includes:
1. the agent model needing the eXtensible Markup Language pattern statement of verification is transferred to netspeak body；
2. isolate each class in agent model with the prefix of class in Network ontology for keyword, and find out each class according to keyword
All parents, and by the attribute in the parent of subsidiary parent name, attribute constraint copies in this type of, thus obtains the whole of class
Model information；
3. with the entitled keyword of the class in agent model, complete or collected works' model is searched class of the same name and obtains this type of from the context entirely
Whole attributes in collection model and constraint information；
4., on the basis of 2. step with 3. step, in units of class name, model Compatible Check in agent model and complete or collected works' model is done；
(4) complete to the agent model of external system and the consistency desired result step of complete or collected works' model, verification is generated uniformity test
Result feeds back to external system.
Model verification method is joined by electric power based on ontology the most according to claim 1 battalion, it is characterised in that: described step
Suddenly in (3) 3. with the entitled keyword of the class in agent model, complete or collected works' model is searched class of the same name method particularly includes:
I, if there is no class of the same name, feeds back class name error message；
II, if finding class of the same name, finds out all parents of this class in complete or collected works' model, and by the attribute in parent, attribute constraint
Copy in this type of, thus obtain this type of whole model informations in complete or collected works' model.
Model verification method is joined by electric power based on ontology the most according to claim 1 battalion, it is characterised in that: described step
Suddenly in (3), the model Compatible Check 4. walked specifically includes step and is:
I, if the attribute not having under occurring in complete or collected works' model this type of in agent model under certain class, Report Properties name mistake；
II, if the minimum cardinality of the attribute of certain attribute is constrained to 1 under certain class in complete or collected works' model, does not has this under this type of in agent model
Individual attribute, reporting critical attribute missing errors；
III, if under certain class, the minimum cardinality of the attribute of certain attribute is constrained to 1 in complete or collected works' model, in agent model, this type of lower this belongs to
Property minimum cardinality be constrained to 0, reporting critical attribute minimum cardinality retrains incompatible mistake；
IV, if under certain class, the maximum constraint base of the attribute of certain attribute belongs to less than this type of lower this in agent model in complete or collected works' model
The maximum constraint base of property, the reporting critical attribute incompatible mistake of maximum constraint base；
V, if in the span of certain attribute of certain class and complete or collected works' model, the span of this type of this attribute is not in agent model
With, report the inconsistent mistake of span.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201310611231.1A CN103617320B (en) | 2013-11-26 | 2013-11-26 | Model verification method is joined by a kind of electric power based on ontology battalion |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201310611231.1A CN103617320B (en) | 2013-11-26 | 2013-11-26 | Model verification method is joined by a kind of electric power based on ontology battalion |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN103617320A CN103617320A (en) | 2014-03-05 |
| CN103617320B true CN103617320B (en) | 2016-09-07 |
Family
ID=50168023
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201310611231.1A Active CN103617320B (en) | 2013-11-26 | 2013-11-26 | Model verification method is joined by a kind of electric power based on ontology battalion |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN103617320B (en) |
Families Citing this family (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104331839A (en) * | 2014-10-22 | 2015-02-04 | 国家电网公司 | CIM ontology modeling calibration system and method by utilizing high-speed IO technology |
| CN104881739B (en) * | 2015-05-20 | 2018-02-16 | 国家电网公司 | Data consistency verification method is matched somebody with somebody by a kind of battalion based on IEC61970/61968 CIM standards |
| CN112597645A (en) * | 2020-12-17 | 2021-04-02 | 武汉大学 | Power distribution network model checking method based on cloud platform |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101873335A (en) * | 2009-04-24 | 2010-10-27 | 同济大学 | Distributed type searching method of cross-domain semantic Web service |
| CN102542513A (en) * | 2012-01-17 | 2012-07-04 | 上海交通大学 | Body-based verification tool of power grid public information model and method thereof |
| CN103123646A (en) * | 2012-12-11 | 2013-05-29 | 北京航空航天大学 | Conversion method for automatically converting XML document into OML document and device |
-
2013
- 2013-11-26 CN CN201310611231.1A patent/CN103617320B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101873335A (en) * | 2009-04-24 | 2010-10-27 | 同济大学 | Distributed type searching method of cross-domain semantic Web service |
| CN102542513A (en) * | 2012-01-17 | 2012-07-04 | 上海交通大学 | Body-based verification tool of power grid public information model and method thereof |
| CN103123646A (en) * | 2012-12-11 | 2013-05-29 | 北京航空航天大学 | Conversion method for automatically converting XML document into OML document and device |
Non-Patent Citations (1)
| Title |
|---|
| 基于本体技术的IEC61970语义信息模型;谢俊 等;《电网技术》;20080131;第32卷(第1期);全文 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN103617320A (en) | 2014-03-05 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Hogan et al. | An empirical survey of linked data conformance | |
| Berners-Lee et al. | Delta: an ontology for the distribution of differences between RDF graphs | |
| CN102542513B (en) | Body-based verification tool of power grid public information model and method thereof | |
| Patel-Schneider | Analyzing schema. org | |
| CN101482875A (en) | Information query method and apparatus | |
| CN104156219A (en) | Electric power marketing and distributing model verifying method based on ontology technology | |
| CN103617320B (en) | Model verification method is joined by a kind of electric power based on ontology battalion | |
| Liao et al. | Research on learning owl ontology from relational database | |
| CN114661832A (en) | Multi-mode heterogeneous data storage method and system based on data quality | |
| CN109344306B (en) | Method and system for customized online transaction and service of field multi-standard metadata | |
| Harrison et al. | StandardsRegExt: a VOResource Schema Extension for Describing IVOA Standards Version 1.0 | |
| Sane et al. | Generating OWL ontologies from a relational databases for the semantic web | |
| Thalheim | Extended Entity-Relationship Model. | |
| García et al. | Publishing xbrl as linked open data | |
| CN104573053A (en) | Configuration item template dynamic customizing method based on XML | |
| KR100971683B1 (en) | Representation method of feed relationship in design processes using interrelationship among parts | |
| Rajugan et al. | Modeling dynamic properties in the layered view model for XML using XSemantic nets | |
| Tan et al. | XML data exchange with target constraints | |
| Greenhalgh et al. | Engineering a replay application based on RDF and OWL | |
| Sharma et al. | Query intensive interface information extraction protocol for deep web | |
| Fu et al. | Program slicing based web service publishing and discovery | |
| Rajugan et al. | Extensible Web (xWeb): An XML-view based web engineering methodology | |
| Zhang et al. | Networked Intelligent Retrieval System Based on Semantic | |
| Montero et al. | Toward hypermedia design methods for the semantic web | |
| Zainol et al. | A Formal Specification of G-DTD: A Conceptual Model to Describe XML Documents |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant |