Unlock instant, AI-driven research and patent intelligence for your innovation.

A method for verifying architectures using a graph-grammatical method that supports dynamic changes in architectures

An architectural, dynamically changing technology, applied in the direction of program control devices, etc.

Active Publication Date: 2018-03-23
SHANGHAI JIAOTONG UNIV
View PDF5 Cites 0 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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A method for verifying architectures using a graph-grammatical method that supports dynamic changes in architectures
  • A method for verifying architectures using a graph-grammatical method that supports dynamic changes in architectures
  • A method for verifying architectures using a graph-grammatical method that supports dynamic changes in architectures

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

No PUM Login to View More

Abstract

The present invention provides a method for verifying the architecture by using the graph-grammar that supports dynamic changes in the architecture. By extending the formal definition of graphs in the general graph-grammar, interfaces, interface label sets, states and additional attributes are introduced. It can abstract the composition structure, connection mode, system structure configuration and attributes of the software system from a high level, and more completely support the modeling, analysis and dynamic evolution of the software architecture. The basic elements of the software architecture, such as components and connections, are mapped into nodes and edges in the graph, and the dynamic reconfiguration of the system can be described by using the Breeze graph grammar graph rewriting rules, and using the formal basis of the Breeze graph grammar, the derivation Verify the consistency and integrity of the architecture before and after reconfiguration. The present invention can effectively deal with the challenges of the software system in four aspects of increasingly complex functions, increasingly large scale, operating in an open network environment and changing user requirements.

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
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F9/44
Inventor 黄林鹏李晨陈璐希吴惜文
Owner SHANGHAI JIAOTONG UNIV