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

摘要：

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

关键词：Pi演算、软件过程、活动交互、移动进程、形式化

分类号：TP311(计算技术、计算机技术)

资助基金：中国科学院金华科技园专项资金重点项目20061010

在线出版日期：2007-11-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：83-85