CN108363563A - Uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework - Google Patents

Uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework Download PDF

Info

Publication number
CN108363563A
CN108363563A CN201810109766.1A CN201810109766A CN108363563A CN 108363563 A CN108363563 A CN 108363563A CN 201810109766 A CN201810109766 A CN 201810109766A CN 108363563 A CN108363563 A CN 108363563A
Authority
CN
China
Prior art keywords
uml
entity
illustrative plates
data collection
knowledge mapping
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.)
Pending
Application number
CN201810109766.1A
Other languages
Chinese (zh)
Inventor
段玉聪
姜懿芮
宋正阳
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hainan University
Original Assignee
Hainan University
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Hainan University filed Critical Hainan University
Priority to CN201810109766.1A priority Critical patent/CN108363563A/en
Publication of CN108363563A publication Critical patent/CN108363563A/en
Pending legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/10Requirements analysis; Specification techniques
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/20Software design
    • G06F8/24Object-oriented

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

The present invention is a kind of uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework, belongs to Distributed Calculation and Software Engineering technology crossing domain.The present invention is primarily introduced into data collection of illustrative plates, Information Atlas, knowledge mapping framework and carries out knowledge reasoning to uml model figure, and entity in uml model is detected to realize automated intelligent.Specific implementation step is by analyzing UML modeling process, found in data collection of illustrative plates, Information Atlas or knowledge mapping can with uml model figure identical entity, entity on traversal collection of illustrative plates is carried out at the same time attributes similarity technology, the identical entity with uml diagram is found in collection of illustrative plates, if multiple entities correspond to identical entity in collection of illustrative plates in uml diagram, this multiple entity is identical in uml diagram.

Description

Uml model consistency inspection based on data collection of illustrative plates, Information Atlas and knowledge mapping framework Survey method
Technical field
The present invention is a kind of uml model consistency detection side based on data collection of illustrative plates, Information Atlas and knowledge mapping framework Method.It is mainly used under same semantic requirement in uml model, it is inconsistent existing for different expression methods to be detected.Belong to In Distributed Calculation and Software Engineering technology crossing domain.
Background technology
UML is that a kind of the graphical of the standard proposed from three planes of Rationa1 companies to the expert of object domain is built Mould language is made of four parts:Base configuration, upper layer construction, object constraint lanaguage and figure exchange standard.UML supports 13 kinds Figure, including 6 kinds of structure charts and 7 kinds of behavior figures.Structure chart is mainly used to the static structure of expression system, it includes class figure, object Figure, Bao Tu, component drawings, deployment diagram and organization chart.Behavior figure is mainly used to the dynamic behaviour of expression system, it includes activity Figure, interaction figure, Use Case Map and interchanger figure, wherein interaction figure are the systems of precedence diagram, traffic diagram, interaction sketch map and sequence diagram Claim.With the development of communication technology and network, information communication and knowledge sharing in product design process become extremely important.Point Cloth Collaborative Design shared information and resource between developer provide effective method.In the design that large size continues to develop Being consistent property is difficult in pattern, and the change designed model and distributed collaborative may introduce repugnancy, need It is detected and solves, UML lacks the formal semanteme for needing to model the key component of application program.For built Vertical uml model, the analysis of traditional uml model is attempt to reinforce the language of the expression constraint in UML meta-models, at present using most It is OCL that extensive UML bounded languages, which are object constraint lanaguages,.By reinforcing the ability to express of OCL, it is more about to make it description Beam, or a kind of new language or expression way are defined, replace OCL to describe all constraints.This method operability is not high, It is not vivid enough, it implements relatively difficult.With deepening continuously for Modern Modeling application level, modeling requirement increasingly increases.Such as What establishes correct, achievable model, how to improve modeling efficiency, becomes a problem in the urgent need to address.Master of the present invention If by by data collection of illustrative plates, Information Atlas, knowledge mapping framework under under same semantic requirement in uml model, no It is inconsistent existing for same expression method to be detected, make modeling language image conversion, improves modeling efficiency, make detection process more It is easy.
Invention content
Technical problem:The present invention is primarily introduced into data collection of illustrative plates, Information Atlas and knowledge mapping framework to entity in uml diagram Carry out knowledge reasoning, to realize under same semantic requirement in uml model, existing for different expression methods it is inconsistent into Row detection.For the present invention by the structure of image, feature, frequency and interactive relation, semantic relation is individually placed to data collection of illustrative plates, information In collection of illustrative plates and knowledge mapping, uml model is detected by means of this framework.
Technical solution:The present invention is a kind of tactic method, can be applied to model inspection, helps to solve uml diagram one The problems in cause property detection carries out nature examination by patterned model to UML, realize coherent consistent data, information and Knowledge is coordinated, and improves the modeling quality of model to the maximum extent.The present invention is primarily introduced into data collection of illustrative plates, Information Atlas, knowledge Collection of illustrative plates framework carries out knowledge reasoning to uml diagram, to realize the consistency detection of entity in uml model.Embodiment is to pass through The entity in uml diagram is traversed, similarity calculation is carried out in data collection of illustrative plates, Information Atlas or knowledge mapping, is found in collection of illustrative plates With the highest entity of entity similarity in uml diagram.
Architecture:The present invention is primarily introduced into data collection of illustrative plates, Information Atlas and knowledge mapping framework and knows uml diagram Reasoning is known, to realize the detection of consistency in uml model figure.The present invention sets three kinds of situations first:UML static state artworks Type, UML dynamics graph model, UML extend graph model, for these three situations respectively to uml diagram data collection of illustrative plates, Information Atlas and It is traversed on knowledge mapping, and finds the entity in corresponding uml diagram in three layers of collection of illustrative plates, found semantic present in entity It is inconsistent in demand.Structure data collection of illustrative plates, Information Atlas, knowledge mapping is given below to illustrate:
Data collection of illustrative plates:Data collection of illustrative plates can record the frequency of entity appearance, include the frequency of three structure, time and space levels. Our definition structure frequency are that entity appears in the number in different data structure, and time frequency is the time locus of entity, empty Between frequency be defined as the space tracking of entity.Data collection of illustrative plates can describe associated tightness degree between each node, we are referred to as For density, it can reflect which entity relationship is close, which entity relationship is sparse.But not to the accurate of entity on data collection of illustrative plates Property analyzed, in fact it could happen that the entities of different names but indicate same thing, this generates data redundancies.To sum up, data Collection of illustrative plates can only handle the image recognition of static relation(Identify that image is in unidentified image in the same data structure), nothing The image with interactive relation is predicted and analyzed to method;
Information Atlas:Information is conveyed by the context after data and data combination, by concept mapping and correlation The information of suitable analysis and explanation after composition of relations.Information Atlas can be expressed according to relational database.Information Atlas Redundant data is eliminated in upper carry out data cleansing.According to the interactive degree between node be tentatively abstracted, improves the cohesion of design Property, initial node is integrated into nodal set, a connected subgraph is constituted.By drawing a circle to approve certain amount of entity, calculate internal Interactive degree and external interactive degree cohesion cohesion are equal to the ratio of internal interactive degree and external interactive degree, we set institute It must be interconnected between the entity of delineation, i.e., there is communication path between first figure;
Knowledge mapping:Knowledge mapping is the overall understanding and consciousness obtained from the information of accumulation, information is carried out further Abstract and classification can form knowledge.Knowledge mapping can be expressed by the digraph comprising pipe between node and node. Knowledge mapping can express various semantic relations, and knowledge mapping is improved by information inference and entity link on knowledge mapping Side density and node density, knowledge mapping so that itself can be with seamless link without architectural characteristic.Information inference needs correlation The support of rule, these rules can be time-consuming and laborious by people's manual construction, but often, obtains all reasonings rule in complex relationship It is then more difficult.Currently, information inference depends on the co-occurrence of relationship, and reasoning is searched automatically using association mining technology and is advised Then.Using each different relation path as one-dimensional characteristic, by building a large amount of relation path in knowledge mapping come structure Feature vector and the relationship extractor of relationship classification are built to extract relationship, it is to think newly to close that the correctness of relationship, which is more than a certain threshold value, It is tied to form vertical.The correctness Cr of the new relation obtained by reasoning can be obtained by formula 1.It is new between entity 1 and entity 2 Relationship can be expressed as E1 → E2, and z indicates all relationships, new relation weight is indicated, between presentation-entity 1 and entity 2 One relationship is to think that the relationship is set up when correctness is more than a threshold value:
Advantageous effect:The present invention is a kind of consistent with the uml model of knowledge mapping framework based on data collection of illustrative plates, Information Atlas Property detection method, have the following remarkable advantage:
(1)The present invention constructs data collection of illustrative plates, Information Atlas and knowledge mapping three-tier architecture, progressive, realizes
Efficient detection;
(2)It can correctly identify semantic identical entity in uml diagram;
(3)The present invention carries out consistency detection in data collection of illustrative plates, Information Atlas and knowledge mapping level to uml model, eliminates superfluous It is remaining, improve modeling quality.
Description of the drawings
Fig. 1 is to data collection of illustrative plates, the formal definitions of Information Atlas and knowledge mapping;
Fig. 2 is the specific stream of the uml model consistency detection process based on data collection of illustrative plates, Information Atlas and knowledge mapping framework Cheng Tu.
Specific implementation mode
A kind of uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework it is specific Flow is as follows:
Step 1)Shown in 001 in corresponding diagram 2, according to user demand, establish based on data collection of illustrative plates, Information Atlas, knowledge mapping Frame indicates data collection of illustrative plates, Information Atlas, knowledge mapping in the form of xml;
Step 2)Shown in 002 in corresponding diagram 2, according to user demand, UML illustratons of model to be detected are obtained;
Step 3)Shown in 003 in corresponding diagram 2, according to the type of uml diagram, UML static maps, UML Dynamic Graphs, UML enterprises are extended Entity A i to be detected classifies in figure;
Step 4)Shown in 004 in corresponding diagram 2, UML static map entity attributes are indicated in the form of xml, with data collection of illustrative plates entity Attribute be compared;
Step 5)Shown in 005 in corresponding diagram 2, UML Dynamic Graph entity attributes are indicated in the form of xml, with Information Atlas entity Attribute be compared;
Step 6)Shown in 006 in corresponding diagram 2, UML expander graphs entity attributes are indicated in the form of xml, with knowledge mapping entity Attribute be compared;
Step 7)Shown in 007 in corresponding diagram 2, by the reality in the attribute and collection of illustrative plates of the entity A i to be detected obtained based on step 3 The attribute of body Bi carries out similarity calculation, according to formula(2)Calculate similarity S(Ai).Assuming that the attribute of entity A i to be detected is, The attribute of entity B i is in collection of illustrative plates:
Step 8)Shown in 008 in corresponding diagram 2, similarity S(Ai)Highest value then can determine that entity A i is corresponded in collection of illustrative plates in UML Entity B i;
Shown in 009 in step 9) corresponding diagram 2, if the entity in two uml diagrams corresponds to an entity in same collection of illustrative plates, this Entity in two uml diagrams is identical.

Claims (1)

1. the present invention is primarily introduced into data collection of illustrative plates, Information Atlas, knowledge mapping framework and carries out knowledge reasoning to uml model figure, To realize identical semantic lower expression is inconsistent in uml model figure the entity of identifying of automated intelligent, the present invention is by UML The structure of modeling, feature, frequency and interactive relation, semantic relation are individually placed to data collection of illustrative plates, Information Atlas and knowledge mapping In, the highest recognition result of similarity is provided by means of this framework, detailed process is as follows:
Step 1)According to user demand, establish the frame based on data collection of illustrative plates, Information Atlas, knowledge mapping, by data collection of illustrative plates, Information Atlas, knowledge mapping are indicated in the form of xml;
Step 2)Uml diagram is traversed, UML illustratons of model to be detected are obtained;
Step 3)According to the type of uml diagram, by entity A i to be detected in UML static maps, UML Dynamic Graphs, UML expander graphs into Row classification;
Step 4)UML static map entity attributes are indicated in the form of xml, are compared with data collection of illustrative plates entity attributes;
Step 5)UML Dynamic Graph entity attributes are indicated in the form of xml, are compared with Information Atlas entity attributes;
Step 6)UML enterprises expander graphs entity attributes are indicated in the form of xml, are compared with knowledge mapping entity attributes Compared with;
Step 7)The attribute of the entity A i to be detected obtained based on step 3 and the attribute of the entity B i in collection of illustrative plates are subjected to phase It is calculated like degree, according to formula(2)Calculate similarity S(Ai);
Assuming that the attribute of entity A i to be detected is that the attribute of entity B i is in collection of illustrative plates
(2)
Step 8)Similarity S(Ai)Highest value then can determine that entity A i corresponds to entity B i in collection of illustrative plates in UML;
If the entity in two uml diagrams of step 9) corresponds to an entity in same collection of illustrative plates, the entity in the two uml diagrams It is identical.
CN201810109766.1A 2018-02-05 2018-02-05 Uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework Pending CN108363563A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201810109766.1A CN108363563A (en) 2018-02-05 2018-02-05 Uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201810109766.1A CN108363563A (en) 2018-02-05 2018-02-05 Uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework

Publications (1)

Publication Number Publication Date
CN108363563A true CN108363563A (en) 2018-08-03

Family

ID=63004832

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201810109766.1A Pending CN108363563A (en) 2018-02-05 2018-02-05 Uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework

Country Status (1)

Country Link
CN (1) CN108363563A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113743467A (en) * 2021-08-03 2021-12-03 浙江工商大学 Use case graph similarity judgment method based on maximum public subgraph calculation

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2013235508A (en) * 2012-05-10 2013-11-21 Fuji Electric Co Ltd Object-oriented program generation device, method therefor, and program
CN104484518A (en) * 2014-12-03 2015-04-01 中国航空工业集团公司第六三一研究所 Transfer method from demand model to simulation model
CN107038262A (en) * 2017-05-30 2017-08-11 海南大学 It is a kind of associate frequency calculate based on data collection of illustrative plates, the semantic modeling of Information Atlas and knowledge mapping framework and abstract Enhancement Method

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2013235508A (en) * 2012-05-10 2013-11-21 Fuji Electric Co Ltd Object-oriented program generation device, method therefor, and program
CN104484518A (en) * 2014-12-03 2015-04-01 中国航空工业集团公司第六三一研究所 Transfer method from demand model to simulation model
CN107038262A (en) * 2017-05-30 2017-08-11 海南大学 It is a kind of associate frequency calculate based on data collection of illustrative plates, the semantic modeling of Information Atlas and knowledge mapping framework and abstract Enhancement Method

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
YUCONG DUAN 等: ""Specifying architecture of knowledge graph with data graph, information graph, knowledge graph and wisdom graph"", 《2017 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS (SERA)》 *
陈卉 等: ""UML顺序图与状态图的一致性检查"", 《计算机工程》 *

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113743467A (en) * 2021-08-03 2021-12-03 浙江工商大学 Use case graph similarity judgment method based on maximum public subgraph calculation
CN113743467B (en) * 2021-08-03 2024-01-12 浙江工商大学 Case diagram similarity judging method based on maximum public subgraph calculation

Similar Documents

Publication Publication Date Title
CN107038262B (en) A kind of Semantic Modeling Method based on data map, Information Atlas and knowledge mapping frame that association frequency calculates
Björk A unified approach for modelling construction information
Stell et al. Stratified map spaces: A formal basis for multi-resolution spatial databases
Björk Requirements and information structures for building product data models
Lung et al. Applications of clustering techniques to software partitioning, recovery and restructuring
CN105808853B (en) A kind of ontological construction management of Engineering Oriented application and ontology data automatic obtaining method
Sacks et al. Toward artificially intelligent cloud-based building information modelling for collaborative multidisciplinary design
CN109947950B (en) Method and device for constructing domain knowledge graph based on middle-layer core ontology
CN103116574B (en) From the method for natural language text excavation applications process body
CN108229578B (en) Image data target identification method based on three layers of data, information and knowledge map framework
CN111930956A (en) Integrated system for recommending and stream-driving multiple innovation methods by adopting knowledge graph
CN107038261A (en) A kind of processing framework resource based on data collection of illustrative plates, Information Atlas and knowledge mapping can Dynamic and Abstract Semantic Modeling Method
Dao et al. Semantic framework for interdependent infrastructure resilience decision support
Bellatreche et al. The central role of data repositories and data models in Data Science and Advanced Analytics
CN108363563A (en) Uml model consistency detecting method based on data collection of illustrative plates, Information Atlas and knowledge mapping framework
Caneparo Semantic knowledge in generation of 3D layouts for decision-making
Milanič et al. Minimal separators in graph classes defined by small forbidden induced subgraphs
Cárdenas et al. Asymmetric Cell-DEVS models with the Cadmium simulator
Qian et al. Structural descriptions of process models based on goal-oriented unfolding
Martino et al. Semantic techniques for discovering architectural patterns in building information models
CN115066673A (en) System and method for ETL pipeline processing
Zeng et al. Bibliometric Analysis and Science Mapping Approach in Digital Landscape Published in WoS and JoDLA from 2010 to 2021
Chen et al. Concurrent multi-process graph-based design component synthesis: Framework and algorithm
Sangüesa et al. A parallel algorithm for building possibilistic causal networks
Szárnyas Query, analysis, and benchmarking techniques for evolving property graphs of software systems

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20180803

WD01 Invention patent application deemed withdrawn after publication