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

  更多相關(guān)文章： 移動(dòng)云服務(wù) agent 形式化描述 語義驗(yàn)證 范疇理論

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

【相似文獻(xiàn)】

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

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

2 聞;盲人報(bào)紙進(jìn)入家庭[J];國際新聞界;1993年03期

3 陳廣華,袁文霞,李紅建;銀行卡全天候?qū)ν夥⻊?wù)系統(tǒng)的解決方案[J];中國信用卡;2000年11期

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

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

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

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

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

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

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

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

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

2 趙哲;;長春市行政機(jī)關(guān)辦公決策服務(wù)系統(tǒng)的設(shè)計(jì)方法[A];OA’97全國辦公自動(dòng)化學(xué)術(shù)與經(jīng)驗(yàn)交流會(huì)論文集[C];1997年

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

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

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

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

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

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

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

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

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

1 榮德;日本引水服務(wù)系統(tǒng)將動(dòng)大手術(shù)[N];中國水運(yùn)報(bào);2006年

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

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

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

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

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

7 記者 魏曙光;會(huì)員可通過服務(wù)系統(tǒng)出金[N];證券時(shí)報(bào);2007年

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

9 ;眾旺消費(fèi)儲(chǔ)值市場營銷服務(wù)系統(tǒng)迎來營銷新春天[N];中國信息報(bào);2004年

10 記者 康民;人保財(cái)險(xiǎn)啟動(dòng)環(huán)球醫(yī)療保險(xiǎn)服務(wù)系統(tǒng)[N];中國保險(xiǎn)報(bào);2009年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：1223919