网上拍卖系统的π演算建模

在分析了基于WEB的网上拍卖系统的需求基础上，针对具有多进程并发通讯特点的该类电子商务系统，采用π演算对系统进行结构和功能建模．本文在简单介绍π演算的语法和语义基础上，用进程表达式对整个系统软件结构框架进行了形式化描述，并分析了π演算的建模能力．结果表明π演算在描述动态进程间的通讯所表现出的优势以及便于编程实现的技术特点，尤其适合这类电子商务系统的分析与设计。