Software Running Dynamic Reconfiguration Model Based on B Diagram
Abstract: Aiming at limited
support of formalization method of present software system structure for dynamic
nature, adaptability nature of system structure and that it cannot verify
dynamic characteristics of consistency, integrity in the evolution process of
the system, put forward dynamic reconstruction system based on B Diagram theory
integrating π calculation and Mobile Ambient calculation during operation of software;
emphasize two factors of calculative position and connection; establish
relatively completed and extensible theoretical structure. Therefore, B Diagram
not only meets the requirement of self-adaption software to structure and
interaction, but also provides intuitive and universal presentation ability.
Briefly introduce basic conception and current situation; provide formalization
rules to self-adaption system structure by B Diagram theory. Analyze and verify
nature of dynamic evolution of system; investigate advantages and research
direction of self-adaption system structure in formalization aspect.
Author: Wang Ying, Mickey
Howard
Journal Code: jptkomputergg160129
