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

【Abstract】 <Abstrcat> On the basis of researches of an on-line auction market’s requirement,this paper utilizes π-calculus to set up a model for the E-commerce system,which is characterized by a dynamically changing network of communicating processes.At first , this paper simply introduces π-calculus syntax and semantics and describes the system by expression of process algebra, then analyses the π-calculus ability of modeling. Finally, we can find that π-calculus is especially suitable for the kind of E-commerce system because it owns the merit of describing dynamically processes interaction and facilitating code realization.更多还原