本文關鍵詞：面向移動云服務系統(tǒng)的形式化語義描述方法

  更多相關文章： 移動云服務 agent 形式化描述 語義驗證 范疇理論

【摘要】：針對移動云服務系統(tǒng)構建過程中架構設計和語義描述等方面存在的問題,以類型范疇理論為基礎,為基于agent的移動云服務系統(tǒng)建立了一種形式化語義描述模型。該方法中,將agent描述為范疇理論中的對象節(jié)點,agent之間的交互和依賴關系作為態(tài)射,將整個云服務系統(tǒng)描述為一個類型范疇圖表。在此基礎上,對agent交互與協(xié)作、架構設計與精化、agent遷移、agent可替代性以及應用請求的可滿足性等進行了分析和討論。該形式化模型增強了系統(tǒng)架構的語義描述能力,有助于對移動云服務系統(tǒng)的規(guī)約進行分析和驗證。
【作者單位】： 濰坊學院計算機工程學院;
【基金】：山東省優(yōu)秀中青年科學家科研獎勵基金計劃資助項目(BS2011DX039) 山東省科技發(fā)展計劃資助項目(2011YD01042,2011YD01043) 山東省高等學校優(yōu)秀中青年骨干教師國際合作培養(yǎng)計劃資助項目(2013)
【分類號】：TP393.09
【正文快照】： 0引言作為云計算和移動計算的融合體,移動云計算具有移動性、分布性以及集中管理等特性,并使用應用分配的概念[1]。但由于移動設備和無線通信環(huán)境的局限性,這種計算模式一直面臨設備能量有限、低帶寬、帶寬利用受限、設備移動和頻繁斷連等一系列問題[1]。Agent技術在支持輕載

【相似文獻】

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

1 ;慈方數(shù)字名醫(yī)服務系統(tǒng)—2000位數(shù)字名醫(yī)會診系統(tǒng)[J];中華中醫(yī)藥雜志;2005年03期

2 聞;盲人報紙進入家庭[J];國際新聞界;1993年03期

3 陳廣華,袁文霞,李紅建;銀行卡全天候對外服務系統(tǒng)的解決方案[J];中國信用卡;2000年11期

4 尤軍,吳煒,鄒樹峰,李昌義,陳艷春;山東決策氣象服務的Web服務系統(tǒng)[J];山東氣象;2001年03期

5 張克升;客戶證券保證金服務系統(tǒng)的開發(fā)[J];中國金融電腦;2001年11期

6 胡雷;“電子營業(yè)服務系統(tǒng)”應用方案[J];電信網(wǎng)技術;2004年04期

7 ;寧波大學產(chǎn)學研亮點:“防偽稅控共享服務系統(tǒng)”解廣大中小企業(yè)燃眉之急[J];寧波大學學報(理工版);2005年03期

8 洪棋新;;美國城市311市民服務系統(tǒng)的建設經(jīng)驗[J];信息化建設;2006年05期

9 謝國琴;顏正恕;;手機智能飯店訂餐服務系統(tǒng)[J];電腦學習;2006年05期

10 李婭;陳大峰;;電信貼心服務系統(tǒng)框架的研究與實現(xiàn)[J];福建電腦;2007年08期

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

1 李研;毛弘毅;欒慧先;;如何構建可靠的云服務系統(tǒng)[A];2011年通信與信息技術新進展——第八屆中國通信學會學術年會論文集[C];2011年

2 趙哲;;長春市行政機關辦公決策服務系統(tǒng)的設計方法[A];OA’97全國辦公自動化學術與經(jīng)驗交流會論文集[C];1997年

3 覃文圣;李林;;數(shù)字課程教材教與學服務系統(tǒng)版權管理設計[A];全國第20屆計算機技術與應用學術會議(CACIS·2009)暨全國第1屆安全關鍵技術與應用學術會議論文集（下冊）[C];2009年

4 池天河;陳華斌;畢建濤;譚玉敏;曹彥榮;張新;;中國可持續(xù)發(fā)展信息共享服務系統(tǒng)的研究與實現(xiàn)[A];全國地圖學與GIS學術會議論文集[C];2004年

5 孫麗麗;陳明;;移動電話內(nèi)容服務系統(tǒng)的設計與實現(xiàn)[A];2006年全國開放式分布與并行計算學術會議論文集（一）[C];2006年

6 陳旭;黃澤謙;彭煜瑋;曾承;彭智勇;;網(wǎng)上專利個性化管理與服務系統(tǒng)[A];NDBC2010第27屆中國數(shù)據(jù)庫學術會議論文集(B輯)[C];2010年

7 黃少軍;薛波;宋洪盛;李剛;姜俊玲;;煙臺市城市環(huán)境氣象預報服務系統(tǒng)[A];城市氣象服務科學討論會學術論文集[C];2001年

8 張?zhí)K;;安徽省環(huán)境氣候監(jiān)測與服務系統(tǒng)建設探討[A];推進氣象科技創(chuàng)新加快氣象事業(yè)發(fā)展——中國氣象學會2004年年會論文集（下冊）[C];2004年

9 陳芨熙;顧新建;祁國寧;王海軍;;成套家電一對一服務系統(tǒng)的研究與開發(fā)[A];2008年中國機械工程學會年會暨甘肅省學術年會文集[C];2008年

10 林木;唐云;;含熟練度參數(shù)的開關服務系統(tǒng)[A];第十一屆全國非線性振動學術會議暨第八屆全國非線性動力學和運動穩(wěn)定性學術會議論文摘要集[C];2007年

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

1 榮德;日本引水服務系統(tǒng)將動大手術[N];中國水運報;2006年

2 鄧國芳;杭州公共自行車服務系統(tǒng)“五一”試運行[N];杭州日報;2008年

3 記者 岳雨若　通訊員 李決難;廊坊基地啟用“440”服務系統(tǒng)[N];石油管道報;2011年

4 記者 李艷春;賽迪網(wǎng)推出國內(nèi)首個網(wǎng)上調(diào)查服務系統(tǒng)[N];中國計算機報;2000年

5 王超;大商所：會員可通過會員服務系統(tǒng)出金[N];中國證券報;2007年

6 記者 李紅珠邋李磊;大商所會員即日起可通過會員服務系統(tǒng)出金[N];期貨日報;2007年

7 記者 魏曙光;會員可通過服務系統(tǒng)出金[N];證券時報;2007年

8 張惠;惠州開通網(wǎng)上審批服務系統(tǒng)[N];中國紀檢監(jiān)察報;2008年

9 ;眾旺消費儲值市場營銷服務系統(tǒng)迎來營銷新春天[N];中國信息報;2004年

10 記者 康民;人保財險啟動環(huán)球醫(yī)療保險服務系統(tǒng)[N];中國保險報;2009年

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

1 安靜;知識密集型服務系統(tǒng)的服務價值共創(chuàng)實現(xiàn)模式研究[D];吉林大學;2010年

2 鄂海紅;SSME中服務工程與服務系統(tǒng)的若干關鍵技術研究[D];北京郵電大學;2010年

3 朱海華;客戶需求驅動的產(chǎn)品服務系統(tǒng)在航空MRO領域的研究[D];南京理工大學;2013年

4 樂冠;面向服務系統(tǒng)的自適應資源管理技術研究[D];北京郵電大學;2013年

5 楊琴;汽車4S店維修服務系統(tǒng)動態(tài)調(diào)度[D];西南交通大學;2011年

6 王康周;生產(chǎn)與服務系統(tǒng)性能分析和管理策略研究[D];上海交通大學;2014年

7 陳覺;面向大批量定制的服務系統(tǒng)設計研究[D];浙江工商大學;2008年

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

1 李萍萍;AIS船岸服務系統(tǒng)研究與實現(xiàn)[D];大連海事大學;2015年

2 王萬強;分布式深海浮標數(shù)據(jù)服務系統(tǒng)的設計與實現(xiàn)[D];山東大學;2015年

3 葛善偉;基于微信平臺的患者就醫(yī)服務系統(tǒng)開發(fā)與實現(xiàn)[D];南京師范大學;2015年

4 孫偉超;濰坊市煙草公司市場監(jiān)管服務系統(tǒng)的設計與實現(xiàn)[D];山東大學;2015年

5 劉紀遵;服務系統(tǒng)變更分析與求解的研究[D];山東大學;2015年

6 吳小偉;面向腦卒中的遠程醫(yī)療協(xié)同服務系統(tǒng)[D];哈爾濱工業(yè)大學;2015年

7 許福量;城市社區(qū)空巢老年人精神養(yǎng)老服務系統(tǒng)的設計與研究[D];浙江大學;2015年

8 魏明雅;面向老年人健康監(jiān)測產(chǎn)品的服務系統(tǒng)設計[D];浙江大學;2015年

9 劉利;面向新媒體廣播的慢錄剪輯服務系統(tǒng)的設計與實現(xiàn)[D];中國科學院研究生院（沈陽計算技術研究所）;2015年

10 王虎;面向云教育的視頻服務系統(tǒng)[D];電子科技大學;2014年

，

本文編號：1223919