一种扩展了价格信息的进程代数

• 作者: 张君华 曹子宁 肖芳雄 覃志东 黄志球
• 来源期刊: 南京航空航天大学学报
• 学科: 工学
• 关键词: 进程代数 组合 价格 成本
• 年，卷（期）: 2009,（1）
• 页码范围: 69-74
• 页数: 6页
• 分类号: TP311
• 字数: 6802字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-2615.2009.01.014

摘要

针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price process algebra,PPA).在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学信息科学与技术学院	183	1755	20.0	33.0
2	张君华	南京航空航天大学信息科学与技术学院	7	74	3.0	7.0
3	肖芳雄	南京航空航天大学信息科学与技术学院	10	149	6.0	10.0
4	曹子宁	南京航空航天大学信息科学与技术学院	25	200	8.0	13.0
5	覃志东	东华大学计算机科学与技术学院	19	83	4.0	8.0