本文關(guān)鍵詞：基于擴展進程代數(shù)的云制造服務組合建模與QoS評價

  更多相關(guān)文章： 進程代數(shù) 云制造 服務組合 服務質(zhì)量 形式化驗證

【摘要】：為解決云制造服務組合建模與形式化驗證問題,在Web服務編制演算的基礎上提出一種擴展了服務質(zhì)量信息的進程代數(shù)XPC4CMSC,給出了XPC4CMSC的語法、操作語義,建立了順序組合、并發(fā)組合、選擇組合的活動圖與XPC4CMSC描述模型,計算了三種服務組合執(zhí)行的響應時間、執(zhí)行費用、可靠性、可用性、物流時間和物流費用。給出了服務質(zhì)量評價算法與服務組合的形式化驗證方案,通過一個柔性多車間調(diào)度問題展示了該方案的執(zhí)行過程。示例研究表明,基于XPC4CMSC的云制造服務組合建模及形式化驗證方案是可行的。
【作者單位】： 華南理工大學機械與汽車工程學院;吉林大學汽車仿真與控制國家重點實驗室;
【基金】：國家自然科學基金資助項目(51175187) 國家863計劃資助項目(2007AA04Z111) 汽車仿真與控制國家重點實驗室資助項目(20121112)~~
【分類號】：TP393.09
【正文快照】： 0引言近年來,制造業(yè)與高新技術(shù)的融合變得愈加迅速和緊密。為提高企業(yè)的核心競爭力,加強企業(yè)對市場需求的快速響應能力,國內(nèi)外學者對面向服務的制造進行了探索研究,形成了不同稱謂的制造模式,如英國的產(chǎn)品服務系統(tǒng)(product service sys-tem)[1]、美國的基于服務制造(service-b

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前5條

1 李伯虎;張霖;王時龍;陶飛;曹軍威;姜曉丹;宋曉;柴旭東;;云制造——面向服務的網(wǎng)絡化制造新模式[J];計算機集成制造系統(tǒng);2010年01期

2 陶飛;張霖;郭華;羅永亮;任磊;;云制造特征及云服務組合關(guān)鍵問題研究[J];計算機集成制造系統(tǒng);2011年03期

3 劉衛(wèi)寧;李一鳴;劉波;;基于自適應粒子群算法的制造云服務組合研究[J];計算機應用;2012年10期

4 羅軍舟;金嘉暉;宋愛波;東方;;云計算:體系架構(gòu)與關(guān)鍵技術(shù)[J];通信學報;2011年07期

5 孫林巖;李剛;江志斌;鄭力;何哲;;21世紀的先進制造模式——服務型制造[J];中國機械工程;2007年19期

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 王凌;孫林巖;馮泰文;;服務型制造企業(yè)供應商選擇研究[J];商業(yè)研究;2010年02期

2 顧新建;陳芨熙;紀楊建;祁國寧;彭維;;云制造中的成組技術(shù)[J];成組技術(shù)與生產(chǎn)現(xiàn)代化;2010年03期

3 佘再玲;;論中國裝備制造企業(yè)的服務化轉(zhuǎn)型[J];當代經(jīng)濟;2011年21期

4 孫傳明;路紅;廖龍龍;;基于云操作系統(tǒng)的網(wǎng)絡互動學習平臺開發(fā)研究[J];中國遠程教育;2012年06期

5 申超群;李東方;;面向中小企業(yè)的云制造應用[J];電腦知識與技術(shù);2011年15期

6 王杰;;基于云計算的實驗機房解決方案[J];電腦知識與技術(shù);2011年31期

7 張德存;;中國發(fā)展服務型制造業(yè)面臨的問題與對策[J];對外經(jīng)貿(mào)實務;2010年04期

8 許知博;劉釗;;基于云計算的工廠信息監(jiān)測系統(tǒng)設計[J];電子科技;2012年05期

9 齊二石;石學剛;李曉梅;;現(xiàn)代制造服務業(yè)研究綜述[J];工業(yè)工程;2010年05期

10 張霖;任磊;陶飛;;復雜產(chǎn)品制造數(shù)字化集成平臺技術(shù)[J];國防制造技術(shù);2010年04期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 汪云鳳;李心科;;云服務環(huán)境下的服務聚合方法研究[A];2011中國儀器儀表與測控技術(shù)大會論文集[C];2011年

2 何博;田寧;;云計算技術(shù)專利初步分析及建議——基于專利統(tǒng)計分析的申請策略建議和基于實例評析的撰寫注意事項[A];發(fā)展知識產(chǎn)權(quán)服務業(yè)，支撐創(chuàng)新型國家建設-2012年中華全國專利代理人協(xié)會年會第三屆知識產(chǎn)權(quán)論壇論文選編(第二部分)[C];2011年

3 程勖;孫福權(quán);劉超;張達偉;;基于云計算的校企合作平臺設計與研究[A];2011年全國電子信息技術(shù)與應用學術(shù)會議論文集[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 關(guān)亞東;;財經(jīng)傳媒數(shù)據(jù)中心的發(fā)展趨勢[A];中國新聞技術(shù)工作者聯(lián)合會2013年學術(shù)年會、五屆五次理事會暨第六屆“王選新聞科學技術(shù)獎”和優(yōu)秀論文獎頒獎大會論文集（廣電篇）[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 王慶龍;王智學;朱衛(wèi)星;陳彬;朱宗科;;一種模糊擴展的C~4ISR系統(tǒng)效能需求建模與分析方法[A];2013第一屆中國指揮控制大會論文集[C];2013年

8 劉海光;潘毅;李立新;;基于云計算的智能電網(wǎng)經(jīng)濟調(diào)度研究[A];2013年中國電機工程學會年會論文集[C];2013年

9 趙天然;劉陳榮;;基于云計算技術(shù)的企業(yè)門戶[A];2013電力行業(yè)信息化年會論文集[C];2013年

10 司煒;;IT支撐系統(tǒng)云計算資源池實現(xiàn)研究[A];2013年中國通信學會信息通信網(wǎng)絡技術(shù)委員會年會論文集[C];2013年

中國博士學位論文全文數(shù)據(jù)庫 前10條

1 徐文君;面向制造的網(wǎng)絡服務質(zhì)量相關(guān)理論和關(guān)鍵技術(shù)研究[D];武漢理工大學;2010年

2 李曉;企業(yè)產(chǎn)品服務系統(tǒng)價值流理論與方法研究[D];浙江大學;2010年

3 魯付俊;供需鏈環(huán)境下轎車制造模式與物流系統(tǒng)研究[D];合肥工業(yè)大學;2011年

4 沈鐵松;制造企業(yè)產(chǎn)品延伸服務的投資與定價策略[D];重慶大學;2010年

5 龍躍;基于服務型制造的汽車零部件供應商服務博弈及優(yōu)化研究[D];重慶大學;2010年

6 李文川;汽車制造企業(yè)RFID采納過程模型及應用問題研究[D];重慶大學;2011年

7 林云;汽車物流服務供應鏈體系構(gòu)建與應用研究[D];重慶大學;2011年

8 陳國榮;面向服務的滾齒機故障診斷模式及關(guān)鍵支撐技術(shù)研究[D];重慶大學;2011年

9 張在房;顧客需求驅(qū)動的產(chǎn)品服務系統(tǒng)方案設計技術(shù)研究[D];上海交通大學;2011年

10 代伊博;生產(chǎn)者服務業(yè)對制造業(yè)發(fā)展的作用及機制研究[D];武漢大學;2011年

中國碩士學位論文全文數(shù)據(jù)庫 前10條

1 張鑫雨;基于服務型制造理念的傳統(tǒng)制造業(yè)轉(zhuǎn)型研究[D];北京交通大學;2011年

2 張曉蘭;虛擬組織視角下的制造企業(yè)服務價值創(chuàng)造研究[D];蘭州大學;2011年

3 郭雷風;農(nóng)業(yè)科研云原型系統(tǒng)設計與應用理論研究[D];中國農(nóng)業(yè)科學院;2011年

4 覃丹;網(wǎng)格技術(shù)在校園網(wǎng)中的設計與實現(xiàn)[D];電子科技大學;2011年

5 杜博;基于價值鏈的制造業(yè)企業(yè)服務化實現(xiàn)路徑研究[D];哈爾濱工業(yè)大學;2010年

6 吳斌;制造企業(yè)服務化轉(zhuǎn)型及其影響因素研究[D];哈爾濱工業(yè)大學;2010年

7 王帥;服務型制造模式下混合供應鏈重新配置問題的研究[D];上海交通大學;2011年

8 王凱甲;基于解決方案的裝備制造企業(yè)服務轉(zhuǎn)型過程研究[D];河北大學;2011年

9 李瑞;面向ICES-SSP的服務流程運行管理與監(jiān)控系統(tǒng)的設計與實現(xiàn)[D];哈爾濱工業(yè)大學;2011年

10 O@妲;基于顧客價值理論的個人電腦產(chǎn)品服務質(zhì)量研究[D];哈爾濱工業(yè)大學;2011年

【二級參考文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 呂振肅,侯志榮;自適應變異的粒子群優(yōu)化算法[J];電子學報;2004年03期

2 顧乃華;畢斗斗;任旺兵;;中國轉(zhuǎn)型期生產(chǎn)性服務業(yè)發(fā)展與制造業(yè)競爭力關(guān)系研究——基于面板數(shù)據(jù)的實證分析[J];中國工業(yè)經(jīng)濟;2006年09期

3 李禎;楊放春;蘇森;;一種QoS感知的語義Web服務組合群決策算法[J];高技術(shù)通訊;2009年07期

4 孟祥中;楊玉中;鄧葉飛;;安全質(zhì)量標準化綜合評價的基于熵權(quán)的灰色關(guān)聯(lián)模型[J];河南科學;2009年07期

5 沈根榮;;產(chǎn)業(yè)轉(zhuǎn)型:上海裝備制造業(yè)發(fā)展戰(zhàn)略探討[J];上海經(jīng)濟研究;2006年11期

6 顧乃華;畢斗斗;任旺兵;;生產(chǎn)性服務業(yè)與制造業(yè)互動發(fā)展:文獻綜述[J];經(jīng)濟學家;2006年06期

7 李伯虎;張霖;王時龍;陶飛;曹軍威;姜曉丹;宋曉;柴旭東;;云制造——面向服務的網(wǎng)絡化制造新模式[J];計算機集成制造系統(tǒng);2010年01期

8 陶飛;張霖;郭華;羅永亮;任磊;;云制造特征及云服務組合關(guān)鍵問題研究[J];計算機集成制造系統(tǒng);2011年03期

9 鄭湃;崔立真;王海洋;徐猛;;云計算環(huán)境下面向數(shù)據(jù)密集型應用的數(shù)據(jù)布局策略與方法[J];計算機學報;2010年08期

10 鄭吉昌,夏晴;論生產(chǎn)性服務業(yè)的發(fā)展與分工的深化[J];科技進步與對策;2005年02期

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 夏虹;李增智;;粒子群算法求解Web服務組合中基于QoS的服務選擇[J];北京郵電大學學報;2009年04期

2 張繼東;余凡;李力;;語義動態(tài)服務組合模型研究[J];湖北工業(yè)大學學報;2009年02期

3 李勇軍;劉敏娟;;基于Pi-演算的服務組合正確性驗證[J];軟件導刊;2009年07期

4 牛永潔;張成;;基于改進蟻群算法的服務組合研究[J];計算技術(shù)與自動化;2011年02期

5 陳彥萍;李增智;夏虹;朱海萍;;服務質(zhì)量驅(qū)動的Web服務組合框架的設計與實現(xiàn)[J];北京郵電大學學報;2006年S1期

6 鄭向宏;李院春;李增智;;支持語境約束的語用Web服務組合模型研究[J];電子科技大學學報;2007年S3期

7 王雷;侯立佩;;具有QoS保證的分布式服務組合策略[J];電子技術(shù);2011年08期

8 王創(chuàng)偉;錢雪忠;;蟻群算法在Web服務組合問題中的應用研究[J];計算機工程與設計;2007年24期

9 張立敏;陳偉安;高春鳴;;基于QoS的自適應控制中間件研究與應用[J];電腦知識與技術(shù);2008年36期

10 肖芳雄;黃志球;曹子寧;袁敏;張君華;;基于價格進程代數(shù)的Web服務組合描述和成本分析[J];計算機研究與發(fā)展;2009年05期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 張艷梅;;基于Petri網(wǎng)的web服務動態(tài)組合方法[A];2006北京地區(qū)高校研究生學術(shù)交流會——通信與信息技術(shù)會議論文集（下）[C];2006年

2 陳彥萍;李增智;夏虹;朱海萍;;服務質(zhì)量驅(qū)動的Web服務組合框架的設計與實現(xiàn)[A];2006年全國通信軟件學術(shù)會議論文集[C];2006年

3 張艷;王月輝;;基于SERVQUAL模型的中國工商銀行服務質(zhì)量實證研究[A];中國高等院校市場學研究會2009年年會論文集[C];2009年

4 李丹荔;毛玉明;馬立香;;在MPLS VPN中支持QoS的分析[A];2006中國西部青年通信學術(shù)會議論文集[C];2006年

5 文煒;;民辦高校圖書館讀者服務層次定位的思考[A];拓展與深化——全國民辦高校圖書館與圖書館地方文獻工作研討會論文集[C];2005年

6 衛(wèi)雙囤;;關(guān)于病案信息為新型農(nóng)村合作醫(yī)療服務的思考[A];中國醫(yī)院協(xié)會病案管理專業(yè)委員會第15屆全國病案管理學術(shù)會議論文集[C];2006年

7 戴弘;柴玉忠;;樹立動車良好形象 打造一流服務水平——關(guān)于提高動車組服務質(zhì)量的調(diào)研報告[A];河南省鐵道學會2007年學術(shù)活動月優(yōu)秀論文選集[C];2007年

8 戴弘;柴玉忠;;樹立動車良好形象 打造一流服務水平——關(guān)于提高動車組服務質(zhì)量的調(diào)研報告[A];河南省鐵道學會2007年學術(shù)活動月優(yōu)秀論文集[C];2007年

9 劉武;劉德明;朱光喜;胡保民;;以太無源光網(wǎng)絡動態(tài)帶寬分配算法研究[A];2006年全國光電技術(shù)學術(shù)交流會會議文集（D 光電信息處理技術(shù)專題）[C];2006年

10 謝燕霞;;淺析如何以服務塑造電信品牌[A];2007中國科協(xié)年會——通信與信息發(fā)展高層論壇論文集[C];2007年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 特約記者 陳才銀 劉德茂 記者 王愛華;拓寬服務范圍 提高服務質(zhì)量[N];中國老年報;2004年

2 本報記者 李智勇;“我們的優(yōu)勢就是服務質(zhì)量”[N];華東旅游報;2000年

3 ;中國電信今年上半年服務質(zhì)量狀況報告[N];人民郵電;2001年

4 記者　鵬玉;優(yōu)化市場環(huán)境 提高服務質(zhì)量 建設誠信體系[N];承德日報;2006年

5 記者 劉葆華邋通訊員 孫紅良 葉晶;服務好不好 旅客說了算[N];中國民航報;2007年

6 陳萍;提高服務質(zhì)量 沒有標準不行[N];中國質(zhì)量報;2006年

7 林靖;市長暗訪公交挑“毛病”想對策[N];福州日報;2007年

8 李廣厚;黑河殯儀館強硬件建設 升服務質(zhì)量[N];黑河日報;2007年

9 記者　 蘇中宇;哈爾濱城市服務質(zhì)量得75分[N];黑龍江日報;2006年

10 章偉勝;他們視服務質(zhì)量為第一生命[N];中國紀檢監(jiān)察報;2006年

中國博士學位論文全文數(shù)據(jù)庫 前10條

1 龔小勇;基于QoS的Web服務發(fā)現(xiàn)與組合方法研究[D];重慶大學;2008年

2 向峰;云制造系統(tǒng)中基于能耗的服務組合關(guān)鍵技術(shù)研究[D];武漢理工大學;2013年

3 劉波;云制造環(huán)境中面向多任務的服務組合與優(yōu)化技術(shù)研究[D];重慶大學;2012年

4 龍軍;基于信任感知與演化的服務組合關(guān)鍵技術(shù)研究[D];中南大學;2011年

5 朱銳;可信服務組合若干關(guān)鍵技術(shù)研究[D];國防科學技術(shù)大學;2009年

6 史立;空間數(shù)據(jù)通信與組網(wǎng)技術(shù)研究[D];中國科學院研究生院（計算技術(shù)研究所）;2006年

7 茍定勇;無線多媒體網(wǎng)絡服務質(zhì)量關(guān)鍵技術(shù)研究[D];電子科技大學;2004年

8 劉安豐;基于QoS的分布式Web服務結(jié)構(gòu)模型及其關(guān)鍵技術(shù)研究[D];中南大學;2005年

9 胡子祥;高等教育顧客感知服務質(zhì)量的實證研究[D];西南交通大學;2007年

10 吳釗;保證服務質(zhì)量的動態(tài)Web服務組合及其性能分析研究[D];武漢大學;2007年

中國碩士學位論文全文數(shù)據(jù)庫 前10條

1 魯琳;面向服務質(zhì)量的服務組合方法研究[D];浙江大學;2006年

2 單寶寧;Web服務組合的研究與應用—服務組合中的QoS管理模型[D];江南大學;2008年

3 李延紅;基于Pi演算的Web服務組合技術(shù)研究[D];山東經(jīng)濟學院;2011年

4 丁衛(wèi)東;基于QoS的Web服務組合優(yōu)化選取問題研究[D];曲阜師范大學;2011年

5 宮雪強;基于行為的Web服務相容性與可替換性研究[D];華東師范大學;2010年

6 秦佳;服務組合中基于混合QoS模型的服務選擇研究[D];重慶大學;2010年

7 袁東維;基于SLA的語義Web服務組合[D];陜西師范大學;2010年

8 杜志文;基于動態(tài)工作流的面向服務企業(yè)應用集成研究[D];廈門大學;2007年

9 劉許偉;基于動態(tài)工作流的自適應Web服務組合[D];河北大學;2011年

10 武海峰;基于OWL-S的動態(tài)服務組合的改進的研究[D];江南大學;2007年

，

本文編號：1238982