%0 Journal Article
%T Research on Pi-calculus-based behavioral compatibility of components
基于Pi演算的构件行为兼容性研究*
%A ZHAO Chun-bo
%A WU Qing
%A HU Wei-hua
%A
赵春波
%A 吴卿
%A 胡维华
%J 计算机应用研究
%D 2010
%I
%X Making research on behavioral compatibility of components is an important issue when studing the dynamic interaction of them.The research result could be applied to the research of component replacement, migration, dynamic adaptive evolution and so on.In order to ensure the stability of the whole system after replacement or combination of component,this paper used Pi-calculus to model the component behavior,and verified the compatibility between two component behaviors.Besides, gave some definitions,such as absolute compatibility, relative compatibility and compatible degree which could be used to judge the compatibility strength. At last, made a concrete example to analyse the behavioral compatibility of components.
%K Pi-calculus
%K component behavior
%K behavioral interaction
%K compatibility
%K compatible degree
Pi演算
%K 构件行为
%K 行为交互
%K 兼容性
%K 兼容度
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=E86A98E57B55DFFA56B09FF6921762B6&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=0B39A22176CE99FB&sid=FD207D3C5E9776FA&eid=DFBC046213B3DD86&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=11