论文部分内容阅读
进程代数可有效地用于Web服务组合的描述和验证，然而缺乏对服务组合成本建模和分析的能力．提出一种扩展了价格信息的进程代数PPA，在CCS基础上为进程动作和状态扩展价格函数，给进程动作的执行标记价格，给进程的迁移状态标记成本．给出了PPA的语法和语义，定义了PPA成本弱互模拟并分析了其与CCS弱互模拟的关系，证明了PPA在CCS基础上扩展了成本建模能力，给出了成本状态空间构造算法，该算法支持选择成本优化的组合服务．实验分析了PPA用于Web服务组合成本建模和分析的可行性．