摘要
为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后,通过一个构件化系统的实例来说明所提出方法的可行性。
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.
出处
《计算机应用研究》
CSCD
北大核心
2009年第4期1345-1348,1352,共5页
Application Research of Computers
基金
河北省自然科学基金资助项目(F2008000861)
关键词
构件
动态演化
进程代数
行为一致性
主动请求接口
component
dynamic evolution
process algebra（PA）
behavioral consistency
initiate request port
