| 黄园媛,高春鸣.网上拍卖系统的π演算建模[J].南华大学学报(自然科学版),2005,(2):77~81.[.A π-Calculus Model of an on-Line Auction Market[J].Journal of University of South China(Science and Technology),2005,(2):77~81.] |
| 网上拍卖系统的π演算建模 |
| A π-Calculus Model of an on-Line Auction Market |
| 修订日期：2005-03-02 |
| DOI： |
| 中文关键词: π演算 并发 建模 |
| 英文关键词: |
| 基金项目: |
| 黄园媛 高春鸣 |
| 湖南师范大学数学与计算机科学学院,湖南长沙410081 |
| 摘要点击次数: 739 |
| 全文下载次数: 3 |
| 中文摘要: |
| 在分析了基于WEB的网上拍卖系统的需求基础上，针对具有多进程并发通讯特点的该类电子商务系统，采用π演算对系统进行结构和功能建模．本文在简单介绍π演算的语法和语义基础上，用进程表达式对整个系统软件结构框架进行了形式化描述，并分析了π演算的建模能力．结果表明π演算在描述动态进程间的通讯所表现出的优势以及便于编程实现的技术特点，尤其适合这类电子商务系统的分析与设计。 |
| 英文摘要: |
| |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|