软构件行为适应的Petri网方法研究  

Research on Analysis Method of Petri Nets of Component Behavior Adaptation

作　　者：谢兄[1] 张维石[1] 

机构地区：[1]大连海事大学计算机科学与技术学院,辽宁大连116026

出　　处：《系统仿真学报》2007年第A01期79-83,共5页Journal of System Simulation

基　　金：国家自然科学基金(60573087)

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

关 键 词：基于构件的软件工程 软构件 构件适应 形式化方法 PETRI网 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]