Method for verifying system structure with image-text method supporting dynamic changes of system structure
An architectural, dynamically changing technology, applied in the direction of program control devices, etc.
Active Publication Date: 2015-07-22
SHANGHAI JIAO TONG UNIV
View PDF5 Cites 2 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
However, the development and design of Attributed graph grammar is not aimed at the design and specification of software architecture
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0087] The present invention will be described in detail below in conjunction with specific embodiments. The following examples will help those skilled in the art to further understand the present invention, but do not limit the present invention in any form. It should be noted that those skilled in the art can make several modifications and improvements without departing from the concept of the present invention. These all belong to the protection scope of the present invention.
[0088] The purpose of the present invention is achieved through the following technical solutions:
[0089] 1. First, the definition of the general graph grammar is given. In the general graph grammar, a node in the graph is usually used to represent an entity, and an edge in the graph represents a connection channel or a relationship between nodes in the graph.
[0090] Definition 1, general graphical description:
[0091] Use G:=(N,E,l N , l E , s, t) represent a definition in the given two l...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention provides a method for verifying a system structure with an image-text method supporting dynamic changes of the system structure. Interfaces, interface label sets, states and additive attributes are led by expanding the formalized definition of an image in the general image-text method, elements, such as the composition structure, the connecting mode, the system structure configuration and the attributes, of the software system can be abstracted from the high layer, and modeling, analyzing and dynamic evolution of the software system structure are more completely supported. The method includes the steps that the basic elements, such as components and connection, of the software system structure are mapped to be nodes and sides in the image, the dynamic reconfiguration of the system can be described through the image rewriting principle of the Breeze image-text method, and the coincidence ad the integrity of the system structure before and after the reconfiguration are derived and verified through the formalized base of the Breeze image-text method. By means of the method, challenges of the software system in the four aspects that the functions are complex day by day, the scale is large day by day, running is carried out in the open network environment and the user requirements are changed can be effectively met.
Description
technical field [0001] The invention belongs to the field of software architecture, and specifically relates to a method for verifying the system structure by using a graph-grammar method that supports the dynamic change of the system structure, and especially relates to the graph-grammar theory and the dynamic evolution theory of the software system structure. Background technique [0002] In the graphical technology, Le Métayer used graph grammar to formally define the software architecture, mapping the nodes in the graph to the components / connectors in the architecture, and mapping the edges to the interaction relationship between components. In addition, he Notations like communication sequence processes are also used to support the definition of architectural styles and instances. Hirsch et al. use hypergraph to define software architecture, and they use graph rewriting rules to express the dynamic evolution process of architecture. Both Le Métayer's and Hirsch's metho...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/44
Inventor 黄林鹏李晨陈璐希吴惜文
Owner SHANGHAI JIAO TONG UNIV