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

发布时间：2017-11-30 10:22

  本文关键词：基于扩展进程代数的云制造服务组合建模与QoS评价

  更多相关文章： 进程代数 云制造 服务组合 服务质量 形式化验证

【摘要】：为解决云制造服务组合建模与形式化验证问题,在Web服务编制演算的基础上提出一种扩展了服务质量信息的进程代数XPC4CMSC,给出了XPC4CMSC的语法、操作语义,建立了顺序组合、并发组合、选择组合的活动图与XPC4CMSC描述模型,计算了三种服务组合执行的响应时间、执行费用、可靠性、可用性、物流时间和物流费用。给出了服务质量评价算法与服务组合的形式化验证方案,通过一个柔性多车间调度问题展示了该方案的执行过程。示例研究表明,基于XPC4CMSC的云制造服务组合建模及形式化验证方案是可行的。
【作者单位】： 华南理工大学机械与汽车工程学院;吉林大学汽车仿真与控制国家重点实验室;
【基金】：国家自然科学基金资助项目(51175187) 国家863计划资助项目(2007AA04Z111) 汽车仿真与控制国家重点实验室资助项目(20121112)~~
【分类号】：TP393.09
【正文快照】： 0引言近年来,制造业与高新技术的融合变得愈加迅速和紧密。为提高企业的核心竞争力,加强企业对市场需求的快速响应能力,国内外学者对面向服务的制造进行了探索研究,形成了不同称谓的制造模式,如英国的产品服务系统(product service sys-tem)[1]、美国的基于服务制造(service-b

【参考文献】

中国期刊全文数据库 前5条

1 李伯虎;张霖;王时龙;陶飞;曹军威;姜晓丹;宋晓;柴旭东;;云制造——面向服务的网络化制造新模式[J];计算机集成制造系统;2010年01期

2 陶飞;张霖;郭华;罗永亮;任磊;;云制造特征及云服务组合关键问题研究[J];计算机集成制造系统;2011年03期

3 刘卫宁;李一鸣;刘波;;基于自适应粒子群算法的制造云服务组合研究[J];计算机应用;2012年10期

4 罗军舟;金嘉晖;宋爱波;东方;;云计算:体系架构与关键技术[J];通信学报;2011年07期

5 孙林岩;李刚;江志斌;郑力;何哲;;21世纪的先进制造模式——服务型制造[J];中国机械工程;2007年19期

【共引文献】

中国期刊全文数据库 前10条

1 王凌;孙林岩;冯泰文;;服务型制造企业供应商选择研究[J];商业研究;2010年02期

2 顾新建;陈芨熙;纪杨建;祁国宁;彭维;;云制造中的成组技术[J];成组技术与生产现代化;2010年03期

3 佘再玲;;论中国装备制造企业的服务化转型[J];当代经济;2011年21期

4 孙传明;路红;廖龙龙;;基于云操作系统的网络互动学习平台开发研究[J];中国远程教育;2012年06期

5 申超群;李东方;;面向中小企业的云制造应用[J];电脑知识与技术;2011年15期

6 王杰;;基于云计算的实验机房解决方案[J];电脑知识与技术;2011年31期

7 张德存;;中国发展服务型制造业面临的问题与对策[J];对外经贸实务;2010年04期

8 许知博;刘钊;;基于云计算的工厂信息监测系统设计[J];电子科技;2012年05期

9 齐二石;石学刚;李晓梅;;现代制造服务业研究综述[J];工业工程;2010年05期

10 张霖;任磊;陶飞;;复杂产品制造数字化集成平台技术[J];国防制造技术;2010年04期

中国重要会议论文全文数据库 前10条

1 汪云凤;李心科;;云服务环境下的服务聚合方法研究[A];2011中国仪器仪表与测控技术大会论文集[C];2011年

2 何博;田宁;;云计算技术专利初步分析及建议——基于专利统计分析的申请策略建议和基于实例评析的撰写注意事项[A];发展知识产权服务业，支撑创新型国家建设-2012年中华全国专利代理人协会年会第三届知识产权论坛论文选编(第二部分)[C];2011年

3 程勖;孙福权;刘超;张达伟;;基于云计算的校企合作平台设计与研究[A];2011年全国电子信息技术与应用学术会议论文集[C];2011年

4 ;Typical Cloud Computing System Design[A];Information Technology and Computer Science—Proceedings of 2012 National Conference on Information Technology and Computer Science[C];2012年

5 关亚东;;财经传媒数据中心的发展趋势[A];中国新闻技术工作者联合会2013年学术年会、五届五次理事会暨第六届“王选新闻科学技术奖”和优秀论文奖颁奖大会论文集（广电篇）[C];2013年

6 LI Yongxiang;YAO Xifan;ZHANG Jie;LI Bin;;Cloud Manufacturing Service Composition Modeling and Formal Verification Based on Calculus for Orchestration of Web Service[A];第25届中国控制与决策会议论文集[C];2013年

7 王庆龙;王智学;朱卫星;陈彬;朱宗科;;一种模糊扩展的C~4ISR系统效能需求建模与分析方法[A];2013第一届中国指挥控制大会论文集[C];2013年

8 刘海光;潘毅;李立新;;基于云计算的智能电网经济调度研究[A];2013年中国电机工程学会年会论文集[C];2013年

9 赵天然;刘陈荣;;基于云计算技术的企业门户[A];2013电力行业信息化年会论文集[C];2013年

10 司炜;;IT支撑系统云计算资源池实现研究[A];2013年中国通信学会信息通信网络技术委员会年会论文集[C];2013年

中国博士学位论文全文数据库 前10条

1 徐文君;面向制造的网络服务质量相关理论和关键技术研究[D];武汉理工大学;2010年

2 李晓;企业产品服务系统价值流理论与方法研究[D];浙江大学;2010年

3 鲁付俊;供需链环境下轿车制造模式与物流系统研究[D];合肥工业大学;2011年

4 沈铁松;制造企业产品延伸服务的投资与定价策略[D];重庆大学;2010年

5 龙跃;基于服务型制造的汽车零部件供应商服务博弈及优化研究[D];重庆大学;2010年

6 李文川;汽车制造企业RFID采纳过程模型及应用问题研究[D];重庆大学;2011年

7 林云;汽车物流服务供应链体系构建与应用研究[D];重庆大学;2011年

8 陈国荣;面向服务的滚齿机故障诊断模式及关键支撑技术研究[D];重庆大学;2011年

9 张在房;顾客需求驱动的产品服务系统方案设计技术研究[D];上海交通大学;2011年

10 代伊博;生产者服务业对制造业发展的作用及机制研究[D];武汉大学;2011年

中国硕士学位论文全文数据库 前10条

1 张鑫雨;基于服务型制造理念的传统制造业转型研究[D];北京交通大学;2011年

2 张晓兰;虚拟组织视角下的制造企业服务价值创造研究[D];兰州大学;2011年

3 郭雷风;农业科研云原型系统设计与应用理论研究[D];中国农业科学院;2011年

4 覃丹;网格技术在校园网中的设计与实现[D];电子科技大学;2011年

5 杜博;基于价值链的制造业企业服务化实现路径研究[D];哈尔滨工业大学;2010年

6 吴斌;制造企业服务化转型及其影响因素研究[D];哈尔滨工业大学;2010年

7 王帅;服务型制造模式下混合供应链重新配置问题的研究[D];上海交通大学;2011年

8 王凯甲;基于解决方案的装备制造企业服务转型过程研究[D];河北大学;2011年

9 李瑞;面向ICES-SSP的服务流程运行管理与监控系统的设计与实现[D];哈尔滨工业大学;2011年

10 O@妲;基于顾客价值理论的个人电脑产品服务质量研究[D];哈尔滨工业大学;2011年

【二级参考文献】

中国期刊全文数据库 前10条

1 吕振肃,侯志荣;自适应变异的粒子群优化算法[J];电子学报;2004年03期

2 顾乃华;毕斗斗;任旺兵;;中国转型期生产性服务业发展与制造业竞争力关系研究——基于面板数据的实证分析[J];中国工业经济;2006年09期

3 李祯;杨放春;苏森;;一种QoS感知的语义Web服务组合群决策算法[J];高技术通讯;2009年07期

4 孟祥中;杨玉中;邓叶飞;;安全质量标准化综合评价的基于熵权的灰色关联模型[J];河南科学;2009年07期

5 沈根荣;;产业转型:上海装备制造业发展战略探讨[J];上海经济研究;2006年11期

6 顾乃华;毕斗斗;任旺兵;;生产性服务业与制造业互动发展:文献综述[J];经济学家;2006年06期

7 李伯虎;张霖;王时龙;陶飞;曹军威;姜晓丹;宋晓;柴旭东;;云制造——面向服务的网络化制造新模式[J];计算机集成制造系统;2010年01期

8 陶飞;张霖;郭华;罗永亮;任磊;;云制造特征及云服务组合关键问题研究[J];计算机集成制造系统;2011年03期

9 郑湃;崔立真;王海洋;徐猛;;云计算环境下面向数据密集型应用的数据布局策略与方法[J];计算机学报;2010年08期

10 郑吉昌,夏晴;论生产性服务业的发展与分工的深化[J];科技进步与对策;2005年02期

【相似文献】

中国期刊全文数据库 前10条

1 夏虹;李增智;;粒子群算法求解Web服务组合中基于QoS的服务选择[J];北京邮电大学学报;2009年04期

2 张继东;余凡;李力;;语义动态服务组合模型研究[J];湖北工业大学学报;2009年02期

3 李勇军;刘敏娟;;基于Pi-演算的服务组合正确性验证[J];软件导刊;2009年07期

4 牛永洁;张成;;基于改进蚁群算法的服务组合研究[J];计算技术与自动化;2011年02期

5 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[J];北京邮电大学学报;2006年S1期

6 郑向宏;李院春;李增智;;支持语境约束的语用Web服务组合模型研究[J];电子科技大学学报;2007年S3期

7 王雷;侯立佩;;具有QoS保证的分布式服务组合策略[J];电子技术;2011年08期

8 王创伟;钱雪忠;;蚁群算法在Web服务组合问题中的应用研究[J];计算机工程与设计;2007年24期

9 张立敏;陈伟安;高春鸣;;基于QoS的自适应控制中间件研究与应用[J];电脑知识与技术;2008年36期

10 肖芳雄;黄志球;曹子宁;袁敏;张君华;;基于价格进程代数的Web服务组合描述和成本分析[J];计算机研究与发展;2009年05期

中国重要会议论文全文数据库 前10条

1 张艳梅;;基于Petri网的web服务动态组合方法[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）[C];2006年

2 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年

3 张艳;王月辉;;基于SERVQUAL模型的中国工商银行服务质量实证研究[A];中国高等院校市场学研究会2009年年会论文集[C];2009年

4 李丹荔;毛玉明;马立香;;在MPLS VPN中支持QoS的分析[A];2006中国西部青年通信学术会议论文集[C];2006年

5 文炜;;民办高校图书馆读者服务层次定位的思考[A];拓展与深化——全国民办高校图书馆与图书馆地方文献工作研讨会论文集[C];2005年

6 卫双囤;;关于病案信息为新型农村合作医疗服务的思考[A];中国医院协会病案管理专业委员会第15届全国病案管理学术会议论文集[C];2006年

7 戴弘;柴玉忠;;树立动车良好形象 打造一流服务水平——关于提高动车组服务质量的调研报告[A];河南省铁道学会2007年学术活动月优秀论文选集[C];2007年

8 戴弘;柴玉忠;;树立动车良好形象 打造一流服务水平——关于提高动车组服务质量的调研报告[A];河南省铁道学会2007年学术活动月优秀论文集[C];2007年

9 刘武;刘德明;朱光喜;胡保民;;以太无源光网络动态带宽分配算法研究[A];2006年全国光电技术学术交流会会议文集（D 光电信息处理技术专题）[C];2006年

10 谢燕霞;;浅析如何以服务塑造电信品牌[A];2007中国科协年会——通信与信息发展高层论坛论文集[C];2007年

中国重要报纸全文数据库 前10条

1 特约记者 陈才银 刘德茂 记者 王爱华;拓宽服务范围 提高服务质量[N];中国老年报;2004年

2 本报记者 李智勇;“我们的优势就是服务质量”[N];华东旅游报;2000年

3 ;中国电信今年上半年服务质量状况报告[N];人民邮电;2001年

4 记者　鹏玉;优化市场环境 提高服务质量 建设诚信体系[N];承德日报;2006年

5 记者 刘葆华邋通讯员 孙红良 叶晶;服务好不好 旅客说了算[N];中国民航报;2007年

6 陈萍;提高服务质量 没有标准不行[N];中国质量报;2006年

7 林靖;市长暗访公交挑“毛病”想对策[N];福州日报;2007年

8 李广厚;黑河殡仪馆强硬件建设 升服务质量[N];黑河日报;2007年

9 记者　 苏中宇;哈尔滨城市服务质量得75分[N];黑龙江日报;2006年

10 章伟胜;他们视服务质量为第一生命[N];中国纪检监察报;2006年

中国博士学位论文全文数据库 前10条

1 龚小勇;基于QoS的Web服务发现与组合方法研究[D];重庆大学;2008年

2 向峰;云制造系统中基于能耗的服务组合关键技术研究[D];武汉理工大学;2013年

3 刘波;云制造环境中面向多任务的服务组合与优化技术研究[D];重庆大学;2012年

4 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年

5 朱锐;可信服务组合若干关键技术研究[D];国防科学技术大学;2009年

6 史立;空间数据通信与组网技术研究[D];中国科学院研究生院（计算技术研究所）;2006年

7 苟定勇;无线多媒体网络服务质量关键技术研究[D];电子科技大学;2004年

8 刘安丰;基于QoS的分布式Web服务结构模型及其关键技术研究[D];中南大学;2005年

9 胡子祥;高等教育顾客感知服务质量的实证研究[D];西南交通大学;2007年

10 吴钊;保证服务质量的动态Web服务组合及其性能分析研究[D];武汉大学;2007年

中国硕士学位论文全文数据库 前10条

1 鲁琳;面向服务质量的服务组合方法研究[D];浙江大学;2006年

2 单宝宁;Web服务组合的研究与应用—服务组合中的QoS管理模型[D];江南大学;2008年

3 李延红;基于Pi演算的Web服务组合技术研究[D];山东经济学院;2011年

4 丁卫东;基于QoS的Web服务组合优化选取问题研究[D];曲阜师范大学;2011年

5 宫雪强;基于行为的Web服务相容性与可替换性研究[D];华东师范大学;2010年

6 秦佳;服务组合中基于混合QoS模型的服务选择研究[D];重庆大学;2010年

7 袁东维;基于SLA的语义Web服务组合[D];陕西师范大学;2010年

8 杜志文;基于动态工作流的面向服务企业应用集成研究[D];厦门大学;2007年

9 刘许伟;基于动态工作流的自适应Web服务组合[D];河北大学;2011年

10 武海峰;基于OWL-S的动态服务组合的改进的研究[D];江南大学;2007年

，

本文编号：1238982