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

作     者：黄园媛 高春鸣 HUANG Yuan-yuan;GAO Chun-ming

作者机构：湖南师范大学数学与计算机科学学院湖南长沙410081 

出 版 物：《南华大学学报（自然科学版）》 (Journal of University of South China：Science and Technology)

年 卷 期：2005年第19卷第2期

页      码：77-81页

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

主 题 词：π演算 并发 建模 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1673-0062.2005.02.020

馆 藏 号：203146991...