Bigraph-Based Software Architecture Update Method
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing software update methods fail to effectively describe and manage place changes in software systems, leading to errors and incompatibilities when converting between different modeling languages, and are inadequate for new-generation systems like mobile, Internet-of-things, and cyber-physical systems.
Innovation Solution
A place change driven software update method using Bigraph to model software architecture and evolution rules, compute changes, and replace subgraphs to update the software architecture uniformly, avoiding language conversion risks and complexities.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Ease of manufacture
If different modeling languages are used to describe place change model and software system model, then the models can be described separately, but conversion errors and information loss occur during language translation
Solution Approach 1:
The patent segments the software architecture into place graphs and link graphs, where place graphs describe place changes and link graphs describe system connections. This segmentation allows each aspect to be modeled independently using the same Bigraph language, avoiding conversion errors while maintaining modeling flexibility.
Solution Approach 2:
The patent merges place change modeling and system model modeling into a unified Bigraph framework. Both place graphs and link graphs use the same formal language syntax and semantics, eliminating the need for language conversion and ensuring information integrity while preserving the ability to describe different aspects separately.
2Ease of operation
If place change model and software system model are described with separate modeling languages, then each model can be independently described, but the intrinsic implicit information is difficult to capture
Solution Approach 1:
The Bigraph language serves multiple functions simultaneously: it describes place changes through place graphs, system connections through link graphs, and their interactions through unified graph matching operations. This universal language captures implicit information about relationships between place changes and system structure that separate languages would miss.
Solution Approach 2:
The patent nests place graphs and link graphs within the unified Bigraph framework, where place graphs are embedded in the overall architecture description alongside link graphs. This nesting structure allows implicit information about the relationship between place changes and system connections to be captured while maintaining independent describability of each aspect.
3Adaptability or versatility
If existing requirement change driven or environment change driven methods are used, then functional or environmental changes can be managed, but place change driven evolution cannot be effectively described
Solution Approach 1:
The patent changes the fundamental parameter of what drives software evolution from requirements or environment to place. By using place graphs to explicitly model place changes and matching them with link graphs, the framework achieves adaptability for place-driven evolution while maintaining manageable complexity through the unified Bigraph syntax and automated graph matching algorithms.
Data Source
AI summary
The present invention relates to a place change driven software update method and apparatus, and a readable storage medium. The method includes: modeling a software architecture SA and an evolution rule set L⇒R through Bigraph; acquiring a software architecture SAt after movement and before evolution of the SA; computing a place ΔP that changes between the SA and the SAt, thereby acquiring a corresponding evolution rule Lj→Rj; and cutting a matching subgraph GL on a link graph SAL and replacing with a link graph RjL to obtain a new SA link graph SAL,e; and merging the new SA place graph and the new SA link graph, thereby implementing update of the software architecture. Compared with the prior art, the present invention may describe place change information and system change information at the same time, and avoid the complexity, risk, unreliability and the like of conversion between different models.