基于Pi演算的软件过程形式化描述

• 作者: 冷家锋 张晓春 陈中育
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: Pi演算 软件过程 活动交互 移动进程 形式化
• 年，卷（期）: 2007,（10）
• 所属期刊栏目: 程序设计与算法
• 页码范围: 83-85
• 页数: 3页
• 分类号: TP311
• 字数: 2898字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2007.10.024

摘要

软件过程技术已成为软件工程领域的一个研究热点.本文借鉴Pi演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化描述方法,以分析为例,对活动交互行为作出Pi描述,并验证过程描述的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈中育	浙江师范大学数理与信息工程学院	44	211	7.0	13.0
2	张晓春	浙江师范大学数理与信息工程学院	3	6	2.0	2.0
3	冷家锋	浙江师范大学数理与信息工程学院	1	2	1.0	1.0