基于Pi-演算的移动自助服务系统缴费流程的建模与验证

• 作者: 丁志义 高娟
• 来源期刊: 宁夏工程技术
• 学科: 工学
• 关键词: 移动自助服务系统 Pi-演算 系统建模 MWB
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 工程理论与新技术
• 页码范围: 102-105,109
• 页数: 5页
• 分类号: TN929.5
• 字数: 4373字
• 语种: 中文

摘要

在应用Pi-演算对移动自助服务系统的缴费流程建模时,采用自顶向下的方法,首先建立了顶层的缴费流程模型,然后将主要的活动逐层细化,最终得到移动自助服务系统缴费流程的完整模型,同时在Pi-演算专业仿真软件工具MWB中验证了该模型的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁志义	宁夏大学信息工程学院	15	42	4.0	6.0
2	高娟	宁夏大学信息工程学院	3	1	1.0	1.0