Formal description method for adaptive software architecture during operation

A technology of software architecture and formal description, applied in the direction of program control devices, etc., can solve problems such as poor comprehensibility, poor adaptability, and poor execution

Inactive Publication Date: 2011-12-07
ZHEJIANG IND POLYTECHNIC COLLEGE
View PDF3 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0030] In order to overcome the deficiencies of poor adaptability, poor comprehensibility and poor execution of the formal description method of the existing runtime software architecture, the present invention provides a method with good execution, reasonability and readability. A Formal Description Method for Adaptive Runtime Adaptive 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
  • Formal description method for adaptive software architecture during operation
  • Formal description method for adaptive software architecture during operation
  • Formal description method for adaptive software architecture during operation

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0103] The present invention will be further described below in conjunction with accompanying drawings.

[0104] refer to figure 1 with figure 2 , a formal method for describing runtime adaptive software architecture, according to the formally described architecture, its content includes component 1, connector 2 and architecture configuration, the present invention models around the above entities, such as figure 1 shown. FDA4RSA uses high-order polytype π-calculus as the basis for describing behavioral semantics, and provides support for describing the concurrency and interaction characteristics of SA from the perspective of runtime.

[0105] Component is one of the basic elements of SA. From the structural view, it is composed of external ports and internal behaviors. External ports are the links between components and the external environment or other connectors. A A port is composed of one or more channels, which include sending data channels, receiving data channels, ...

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 invention discloses a formal description method for adaptive software architecture during operation. The formal description method comprises the following steps of: (1) describing the adaptive software architecture framework and setting a formally described architecture framework, wherein the framework comprises components, a connecting element and architecture configuration; (2) building an adaptive component model based on Agent internetware, and forming the internal part of the adaptive component by using a computing module which finishes calculation action and an adaptive model which finishes dynamic action in a manner of using the adaptive component as a component in the internetware; (3) formally describing various mental attitudes of the adaptive component in sequence, and providing formal definition of an atomic component and the connecting element; and (4) finishing appointed definition of the calculation action and dynamic action of the adaptive component, providing the corresponding relation of pi calculation thereof, and then dynamically reasoning the architecture action according to the performability and embedded background debug interface (EBDI) of the Pi calculation. The formal description method for adaptive software architecture during operation has performability, reasonability and legibility.

Description

technical field [0001] The invention relates to software modeling technology, in particular to a formalized description method of software architecture during runtime. Background technique [0002] Formal methods are also widely used in the research of component-based software system design. One is to directly use general formal methods to describe the architecture, and the other is to propose a special architecture description language to describe the architecture. [0003] 1. A general formal method to describe the architecture [0004] In recent years, a lot of research work has appeared in the description of software architecture specification using general formal methods. Current work in this area broadly falls into four categories: [0005] (1) Model-based approach [0006] The formalization method based on the model is to support the specification of the system by constructing a mathematical model, which gives the state of the system and the explicit operation of t...

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 Applications(China)
IPC IPC(8): G06F9/44
Inventor 高俊
Owner ZHEJIANG IND POLYTECHNIC COLLEGE
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap