| 一种扩展了价格信息的进程代数 |
| |
| 引用本文： | 肖芳雄,黄志球,曹子宁,张君华,覃志东.一种扩展了价格信息的进程代数[J].南京航空航天大学学报,2009,41(1). |
| |
| 作者姓名： | 肖芳雄 黄志球 曹子宁 张君华 覃志东 |
| |
| 作者单位： | 1. 南京航空航天大学信息科学与技术学院,南京,210016
2. 东华大学计算机科学与技术学院,上海,201620 |
| |
| 摘 要： | 针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price process algebra,PPA).在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性.
|
| 关 键 词： | 进程代数 组合 价格 成本 |
Process Algebra Extended with Price Information |
| |
| Xiao Fangxiong,Huang Zhiqiu,Cao Zining,Zhang Junhua,Qin Zhidong.Process Algebra Extended with Price Information[J].Journal of Nanjing University of Aeronautics & Astronautics,2009,41(1). |
| |
| Authors: | Xiao Fangxiong Huang Zhiqiu Cao Zining Zhang Junhua Qin Zhidong |
| |
| Institution: | 1.College of Information Science and Technology;Nanjing University of Aeronautics & Astronautics;Nanjing;210016;China;2.School of Computer Science & Technology;Donghua University;Shanghai;201620;China |
| |
| Abstract: | All kinds of process algebra cannot model and analyze the cost by themselves.To improve the situation,this paper proposes a process algebra,called PPA(price process algebra).In PPA,each action and each state of the process are associated with a priced function,respectively.The semantics of PPA is proved by priced labeled transition system.The soundness and the completeness for extending accumulative cost of each state are discussed.An algorithm is given to construct priced state space and its effectiveness ... |
| |
| Keywords: | process algebra composition price cost |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
