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

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

支持模型重用的舰艇作战仿真模型框架

针对舰艇作战仿真研究中的模型重用问题,改进面向实体的系统分析和描述方法,即EATI(Entities、Actions、Tasks、Interactions,实体、动作、任务、交互)方法,提出面向角色的舰艇作战仿真系统分析与描述方法,即RA-EP(Roles、Actions;Entities、Processes,角色、行动;实体、过程)方法;提出了领域相关、应用和实现无关的舰艇作战仿真模型框架的设计思想与设计方法,设计并实现了舰艇作战仿真模型框架;说明了模型框架支持模型重用的实现方式,即基于模型框架的三阶段仿真设计与实现方法.为复杂系统建模与仿真领域中的模型重用提供了一条重要的技术途径.