Dynamic Evolution Method and Symmetric Consistency Analysis for Big Data-Oriented Software Architecture Based on Extended Bigraph
Year: 2025
Type: article
Abstract: With the development of artificial intelligence technology, there are increasingly high requirements for processing big data systems. Big data systems have undergone rapid evolution in response to changing demands. Due to the complex structural connections and dispersed component positions of big data processing systems, traditional formal methods find it difficult to dynamically model their structure and position simultaneously. To address this issue, this study proposes a formal modeling framework that extends Bigraph to support the dynamic evolution of big data software architecture. This model is capable of verifying the symmetry consistency of structural connections and component positions in evolutionary systems and evaluating them through real-life case studies of banking big data systems. The results confirmed its correctness and practical feasibility.
Source: Symmetry
DOI: 10.3390/sym17040626
Authors: Chaoze Lu, Qifeng Zou
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
Estimated APC paid: $2,896
Award: 智能无人系统软件演化的时空安全性约束验证方法研究
OpenAlex ID: W4409637547
