%0 Journal Article
%T Research on behavioral consistency of component dynamic evolution based on process algebra<br>基于进程代数的构件动态演化行为一致性研究*
%A SHEN Li-min
%A MA Chuan
%A WANG Tao
%A <br>申利民
%A 马川
%A 王涛
%J 计算机应用研究
%D 2009
%I 
%X To ensure behavioral consistency of components during dynamic evolution, defined a component model based on process algebra which formally specified the components and their interaction behaviors. Introduced the initiate request port and internal connection into the model, and then presented a set of rules and arithmetic to verify the behavioral consistency. Finally, presented an example of component-based system to illustrate the feasibility of the approach.
%K component
%K dynamic evolution
%K process algebra(PA)
%K behavioral consistency
%K initiate request port<br>构件
%K 动态演化
%K 进程代数
%K 行为一致性
%K 主动请求接口
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=B104FF2E59360B362707AE95C94A158F&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=E158A972A605785F&sid=5D2AEAEFE5867538&eid=A9974A3EA5885863&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=2&reference_num=11