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

被引：7

作者：

李永湘 ^{[1
]}

姚锡凡 ^{[1
,2
]}

徐川 ^{[1
]}

张洁 ^{[1
]}

李彬 ^{[1
]}

机构：

[1] 华南理工大学机械与汽车工程学院

[2] 吉林大学汽车仿真与控制国家重点实验室

来源：

计算机集成制造系统 | 2014年 / 20卷 / 03期

关键词：

进程代数; 云制造; 服务组合; 服务质量; 形式化验证;

D O I：

10.13196/j.cims.2014.03.liyongxiang.0689.12.20140326

中图分类号：

TP393.09 [];

学科分类号：

080402 ;

摘要：

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

引用

页码：689 / 700

页数：12

共 10 条

[1] 基于自适应粒子群算法的制造云服务组合研究 [J].

刘卫宁 ;

李一鸣 ;

刘波 .

计算机应用, 2012, 32 (10) :2869-2874+2878

[2] 云计算:体系架构与关键技术 [J].

罗军舟 ;

金嘉晖 ;

宋爱波 ;

东方 .

通信学报, 2011, 32 (07) :3-21

[3] 云制造特征及云服务组合关键问题研究 [J].

陶飞 ;

张霖 ;

郭华 ;

罗永亮 ;

任磊 .

计算机集成制造系统, 2011, 17 (03) :477-486

[4] 云制造——面向服务的网络化制造新模式 [J].

李伯虎 ;

张霖 ;

王时龙 ;

陶飞 ;

曹军威 ;

姜晓丹 ;

宋晓 ;

柴旭东 .

计算机集成制造系统, 2010, 16 (01) :1-7+16

[5] 21世纪的先进制造模式——服务型制造 [J].

孙林岩 ;

李刚 ;

江志斌 ;

郑力 ;

何哲 .

中国机械工程, 2007, (19) :2307-2312

[6]

Representing and reasoning on fuzzy UML models: A description logic approach[J] . Z.M. Ma,Fu Zhang,Li Yan,Jingwei Cheng.Expert Systems With Applications . 2010 (3)

[7] Service Discovery and Negotiation With COWS [J].

Lapadula, Alessandro ;

Pugliese, Rosario ;

Tiezzi, Francesco .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 200 (03) :133-154

[8]

A monotone framework for CCS[J] . Hanne Riis Nielson,Flemming Nielson.Computer Languages, Systems & Structures . 2008 (4)

[9] Intelligent dynamic workflow support for a ubiquitous Web service-based manufacturing environment [J].

Lee, Minsoo ;

Yoon, Hyejung ;

Shin, Hyoseop ;

Lee, Deok Gyu .

JOURNAL OF INTELLIGENT MANUFACTURING, 2009, 20 (03) :295-302

[10]

Service-enhanced manufacturing: a study of perceived service quality of apparel manufacturers[J] . Chester Kin-man To,Chun-sun Leung.Journal of Fashion Marketing and Management . 2001 (4)

← 1 →