A Research on Pi-Calculus Based Component Evolution

龚洪泉,赵文耘,徐如志,钱乐秋
2004-01-01
Abstract: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.
What problem does this paper attempt to address?