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

• 作者: 高春鸣 黄园媛
• 来源期刊: 南华大学学报（自然科学版）
• 学科: 工学
• 关键词: π演算 并发 建模
• 年，卷（期）: 2005,（2）
• 页码范围: 77-81
• 页数: 5页
• 分类号: TP31
• 字数: 3547字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-0062.2005.02.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高春鸣	湖南师范大学数学与计算机科学学院	44	368	12.0	17.0
2	黄园媛	湖南师范大学数学与计算机科学学院	3	28	2.0	3.0