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