文件名称:论文研究-基于Pi演算的构件行为兼容性研究.pdf
文件大小:423KB
文件格式:PDF
更新时间:2022-08-11 17:26:37
Pi演算,构件行为,行为交互,兼容性,兼容度
构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证构件在替换或组合之后系统仍能正常稳定运行,利用Pi演算对构件行为进行建模,并对多个构件行为间的兼容性进行验证,提出了绝对兼容、相对兼容等理论,并运用兼容度来判定构件行为兼容性强弱,且通过实例进行分析说明。