基于扩展进程代数的云制造服务组合建模与QoS评价

摘要：

为解决云制造服务组合建模与形式化验证问题,在Web服务编制演算的基础上提出一种扩展了服务质量信息的进程代数XPC4CMSC,给出了XPC4CMSC的语法、操作语义,建立了顺序组合、并发组合、选择组合的活动图与XPC4CMSC描述模型,计算了三种服务组合执行的响应时间、执行费用、可靠性、可用性、物流时间和物流费用.给出了服务质量评价算法与服务组合的形式化验证方案,通过一个柔性多车间调度问题展示了该方案的执行过程.示例研究表明,基于XPC4CMSC的云制造服务组合建模及形式化验证方案是可行的.

关键词：进程代数、云制造、服务组合、服务质量、形式化验证

所属期刊栏目：20

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目51175187;国家863计划资助项目2007AA04Z111;汽车仿真与控制国家重点实验室资助项目20121112.Project supported by the National Natural Science Foundation,China51175187;the National High-Tech.R&D Program,China2007AA04Z111;the State Key Laboratory of Automotive Simulation and Control,China20121112

在线出版日期：2014-05-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：689-700