【摘要】 构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。更多还原

【Abstract】 Component adaptation is a crucial problem of Component-based Software Engineer. Firstly,the behaviors of component are analyzed and specified based on Process Algebra. The rules are proposed which can realize the translation from the Process Algebra specification of component behavior to the Petri Nets specification of component behavior,and the translation algorithm is proposed according to the translation rules. The correspond relation of components behavior which are alternating can be calculated automatically according to the synchronous distance of Petri Nets,and the specification of adaptor which is used to adapt the mismatch behavior between components which are alternating can be produced automatically according to the correspond relation of components behavior. A formal method to solve the mismatch of components behaviors is proposed. At last the future works are listed.更多还原