GONG Hong-quan, ZHAO Wen-yun, XU Ru-zhi, et al. A Research on Pi-Calculus Based Component Evolution[J]. Acta Electronica Sinica, 2004, 32(S1): 243-246.
GONG Hong-quan, ZHAO Wen-yun, XU Ru-zhi, et al. A Research on Pi-Calculus Based Component Evolution[J]. Acta Electronica Sinica, 2004, 32(S1): 243-246.DOI：
Preservation of consistency is the ultimate criterion of component evolution.With component interaction processes and inspired by typing system and process construction methods of Pi-calculus
component interaction typing system and interaction-based component model are proposed.To ensure correct interaction behaviors of component ports and channels
service port type and channel type are introduced.At the same time
consistent component system is defined based on the notion of well-typedness in Pi-calculus.Then
based on the peculiarity of component evolution
static and dynamic evolution rules are proposed.At last
method for recovering from inconsistent state is introduced.
京公网安备11010802024621