温控系统的π-演算的描述与验证

• 作者: 李文翔
• 来源期刊: 安庆师范大学学报（自然科学版）
• 学科: 工学
• 关键词: π-演算 μ-演算 形式化建模 模型检测 温控系统
• 年，卷（期）: 2018,（3）
• 页码范围: 65-68
• 页数: 4页
• 分类号: TP311.5
• 字数: 3258字
• 语种: 中文
• DOI: 10.13757/j.cnki.cn34-1328/n.2018.03.015

摘要

根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程,使用μ-演算和移动工作平台(MWB)工具分析和验证了该交互模型具有温度控制和阈值修改功能,从形式上证明了温控系统的需求说明及其π-演算模型的一致性.结果表明,π-演算能够清楚地描述和分析并发系统的行为交互,而μ-演算可以证明模型的有效性和正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李文翔	福建商学院信息工程系	5	6	1.0	2.0