计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2014年
3期
689-700
,共12页
李永湘%姚锡凡%徐川%张洁%李彬
李永湘%姚錫凡%徐川%張潔%李彬
리영상%요석범%서천%장길%리빈
进程代数%云制造%服务组合%服务质量%形式化验证
進程代數%雲製造%服務組閤%服務質量%形式化驗證
진정대수%운제조%복무조합%복무질량%형식화험증
process calculus%cloud manufacturing%service composition%quality of service%formal verification
为解决云制造服务组合建模与形式化验证问题,在Web服务编制演算的基础上提出一种扩展了服务质量信息的进程代数XPC4CMSC,给出了XPC4CMSC的语法、操作语义,建立了顺序组合、并发组合、选择组合的活动图与XPC4CMSC描述模型,计算了三种服务组合执行的响应时间、执行费用、可靠性、可用性、物流时间和物流费用.给出了服务质量评价算法与服务组合的形式化验证方案,通过一个柔性多车间调度问题展示了该方案的执行过程.示例研究表明,基于XPC4CMSC的云制造服务组合建模及形式化验证方案是可行的.
為解決雲製造服務組閤建模與形式化驗證問題,在Web服務編製縯算的基礎上提齣一種擴展瞭服務質量信息的進程代數XPC4CMSC,給齣瞭XPC4CMSC的語法、操作語義,建立瞭順序組閤、併髮組閤、選擇組閤的活動圖與XPC4CMSC描述模型,計算瞭三種服務組閤執行的響應時間、執行費用、可靠性、可用性、物流時間和物流費用.給齣瞭服務質量評價算法與服務組閤的形式化驗證方案,通過一箇柔性多車間調度問題展示瞭該方案的執行過程.示例研究錶明,基于XPC4CMSC的雲製造服務組閤建模及形式化驗證方案是可行的.
위해결운제조복무조합건모여형식화험증문제,재Web복무편제연산적기출상제출일충확전료복무질량신식적진정대수XPC4CMSC,급출료XPC4CMSC적어법、조작어의,건립료순서조합、병발조합、선택조합적활동도여XPC4CMSC묘술모형,계산료삼충복무조합집행적향응시간、집행비용、가고성、가용성、물류시간화물류비용.급출료복무질량평개산법여복무조합적형식화험증방안,통과일개유성다차간조도문제전시료해방안적집행과정.시례연구표명,기우XPC4CMSC적운제조복무조합건모급형식화험증방안시가행적.
