软构件行为适应的Petri网方法研究
构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。
基于构件 软件工程 软构件行为 构件适应 形式化方法 Petri网
谢兄 张维石
大连海事大学计算机科学与技术学院 辽宁大连 116026
国内会议
大连
中文
79-83
2007-08-01（万方平台首次上网日期，不代表论文的发表时间）