本文關(guān)鍵詞：面向概率服務(wù)組合系統(tǒng)的需求描述　出處：《小型微型計(jì)算機(jī)系統(tǒng)》2015年11期 　論文類型：期刊論文

  更多相關(guān)文章： 隨機(jī)場景 三段式概率消息 隨機(jī)狀態(tài)對象化 pLSC需求描述語言

【摘要】：高度開放的計(jì)算環(huán)境使web服務(wù)系統(tǒng)面臨各種不確定性.為了有效地配置計(jì)算資源以實(shí)現(xiàn)系統(tǒng)業(yè)務(wù)價(jià)值最大化,需要對不確定的概率服務(wù)組合系統(tǒng)需求進(jìn)行建模.在LSC的基礎(chǔ)上,提出一種基于三段式概率消息的需求描述語言p LSC,用于描述概率服務(wù)組合系統(tǒng)中隨機(jī)場景描述的不確定的需求.從馬爾可夫隨機(jī)過程特性出發(fā),提出隨機(jī)變量與消息相結(jié)合的三段式概率消息概念,p LSC語言是一種基于三段式概率消息的需求描述語言,將三段式概率消息中隨機(jī)變量對象化,通過隨機(jī)變量對象消息交互序列直觀表示隨機(jī)場景描述的系統(tǒng)需求.文中給出了p LSC語言的圖形表示方法,并展示了p LSCEditor編輯工具用于圖形化編輯隨機(jī)場景.
[Abstract]:The highly open computing environment makes web services systems face various uncertainties. In order to effectively configure computing resources to maximize the business value of the system. The requirements of uncertain probabilistic service composition systems need to be modeled. On the basis of LSC, a requirement description language p LSC based on three-segment probabilistic message is proposed. It is used to describe the uncertain requirements of stochastic scene description in probabilistic service composition systems. Based on the characteristics of Markov stochastic processes, a three-segment probabilistic message concept combining random variables with messages is proposed. P LSC language is a requirement description language based on three-segment probabilistic message, which objectifies random variables in three-segment probabilistic message. The system requirements of random scene description are intuitively expressed by random variable object message interaction sequence. A graphic representation method of p LSC language is given in this paper. And shows the p LSCEditor editing tool for graphical editing random scenarios.
【作者單位】： 上海大學(xué)計(jì)算機(jī)工程與科學(xué)學(xué)院;上海市計(jì)算機(jī)軟件評測重點(diǎn)實(shí)驗(yàn)室;上海大學(xué)計(jì)算中心;
【基金】：國家自然科學(xué)基金項(xiàng)目(60970007,61170044,61572306,61502294)資助 上海市自然科學(xué)基金項(xiàng)目(15ZR1415200)資助 上海高校青年教師培訓(xùn)計(jì)劃項(xiàng)目(ZZSD13008)資助
【分類號】：TP393.09
【正文快照】： 1引言面向服務(wù)的體系架構(gòu)(SOA,Service-Oriented Architec-ture)提供了一種松散耦合的分布式計(jì)算范式,在WSDL、UD-DI、SOAP等技術(shù)構(gòu)成的標(biāo)準(zhǔn)化體系基礎(chǔ)上,不同類型和形式的上層業(yè)務(wù)功能和數(shù)據(jù)等計(jì)算資源都可以以統(tǒng)一地方式被描述、發(fā)布和發(fā)現(xiàn)和訪問,形成了一個(gè)基于標(biāo)準(zhǔn)、開放

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 戴雨婷;繆淮扣;梅佳;高洪皓;;基于LSC模型檢驗(yàn)的性質(zhì)抽取[J];上海大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年02期

2 梅佳;繆淮扣;高洪皓;;構(gòu)件式實(shí)時(shí)系統(tǒng)建模與驗(yàn)證研究[J];小型微型計(jì)算機(jī)系統(tǒng);2012年02期

3 陳曙;毋國慶;葉俊民;陳明楷;;一種面向軟件行為和多視點(diǎn)的需求模型驗(yàn)證方法[J];小型微型計(jì)算機(jī)系統(tǒng);2013年07期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張鵬程;周宇;李必信;徐寶文;;屬性序列圖:形式語法和語義[J];計(jì)算機(jī)研究與發(fā)展;2008年02期

2 邱曉康;陳銘松;王林章;李宣東;鄭國梁;;UML行為圖驅(qū)動(dòng)的Java程序運(yùn)行時(shí)驗(yàn)證工具[J];計(jì)算機(jī)科學(xué);2007年12期

3 胡軍;于笑豐;張巖;王林章;李宣東;鄭國梁;;基于場景規(guī)約的構(gòu)件式系統(tǒng)設(shè)計(jì)分析與驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2006年04期

4 李磊;錢彥嶺;楊擁民;杜凱;;基于概率模型檢驗(yàn)的復(fù)雜武器系統(tǒng)任務(wù)可靠性評估方法研究[J];機(jī)械工程學(xué)報(bào);2011年24期

5 吳宏;齊治昌;;基于LSC的模型檢驗(yàn)研究[J];計(jì)算機(jī)應(yīng)用與軟件;2006年07期

6 張亞紅;張琳琳;趙楷;陳佳麗;馮在文;;基于UML2.0序列圖的Web服務(wù)運(yùn)行時(shí)驗(yàn)證方法[J];計(jì)算機(jī)科學(xué);2013年07期

7 馬麗;吳懷廣;毋國慶;;面向軟件行為的需求模型可視化研究[J];計(jì)算機(jī)應(yīng)用研究;2015年08期

8 盧暾;;基于可生存性規(guī)范的軟件構(gòu)件系統(tǒng)恢復(fù)的建模與推理[J];軟件學(xué)報(bào);2007年12期

9 KAZMI Syed Asad Raza;張文輝;;直覺線性μ-演算中的合成推理(英文)[J];軟件學(xué)報(bào);2009年08期

10 張鵬程;李必信;李雯睿;;時(shí)間屬性序列圖:語法和語義[J];軟件學(xué)報(bào);2010年11期

相關(guān)博士學(xué)位論文 前9條

1 張晉津;轉(zhuǎn)換系統(tǒng)行為近似等價(jià)性的研究[D];南京航空航天大學(xué);2010年

2 劉志鋒;模型檢測中關(guān)鍵技術(shù)的研究及其應(yīng)用[D];南京大學(xué);2011年

3 楊峰;面向效能評估的平臺級體系對抗仿真跨層次建模方法研究[D];國防科學(xué)技術(shù)大學(xué);2003年

4 王洪媛;UML行為模型之間模型轉(zhuǎn)換的研究[D];吉林大學(xué);2007年

5 胡軍;構(gòu)件化嵌入式軟件設(shè)計(jì)的分析與驗(yàn)證[D];南京大學(xué);2005年

6 李勇華;目標(biāo)和場景相結(jié)合的需求工程[D];武漢大學(xué);2006年

7 陳超;語境驅(qū)動(dòng)的仿真模型可組合性測試方法研究[D];國防科學(xué)技術(shù)大學(xué);2007年

8 許靜;面向模塊化產(chǎn)品平臺的技術(shù)對象有序化及重用技術(shù)研究[D];浙江大學(xué);2011年

9 陳艷文;分布式系統(tǒng)的時(shí)間化通信行為模型[D];華東師范大學(xué);2014年

相關(guān)碩士學(xué)位論文 前10條

1 劉志遠(yuǎn);基于密鑰鏈的認(rèn)證郵件協(xié)議的擴(kuò)展及形式化驗(yàn)證[D];山東大學(xué);2011年

2 吳宏;基于LSC的模型檢驗(yàn)研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2004年

3 張曉春;基于用戶場景的需求引出及其行為建模技術(shù)研究[D];浙江師范大學(xué);2007年

4 張曉旭;工兵團(tuán)裝備保障工作流模型建立與驗(yàn)證[D];國防科學(xué)技術(shù)大學(xué);2009年

5 康維;基于UML模型的類簇級測試用例生成方法研究[D];中南大學(xué);2009年

6 張穎;基于博弈的多參與者合同簽署協(xié)議的驗(yàn)證[D];山東大學(xué);2010年

7 張紀(jì)昌;基于場景的構(gòu)件組合方式的研究[D];浙江師范大學(xué);2010年

8 徐利偉;基于改進(jìn)遺傳算法的懸架結(jié)構(gòu)優(yōu)化[D];河北工程大學(xué);2013年

9 辜劍;基于時(shí)間屬性序列圖的運(yùn)行時(shí)驗(yàn)證技術(shù)研究[D];華中師范大學(xué);2014年

10 丁哲;迭代閉序列模式挖掘算法及其在軟件可信性分析中的應(yīng)用研究[D];蘭州大學(xué);2012年

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前9條

1 楊芙清,梅宏,李克勤;軟件復(fù)用與軟件構(gòu)件技術(shù)[J];電子學(xué)報(bào);1999年02期

2 吳懷廣;毋國慶;陳曙;萬黎;;面向軟件行為的需求模型及特性檢測[J];計(jì)算機(jī)研究與發(fā)展;2011年05期

3 譚亮;曾紅衛(wèi);;基于接口自動(dòng)機(jī)的Web應(yīng)用驗(yàn)證[J];計(jì)算機(jī)工程與應(yīng)用;2009年03期

4 萬黎;毋國慶;吳懷廣;;面向行為的需求建模研究及實(shí)現(xiàn)[J];計(jì)算機(jī)科學(xué);2011年04期

5 胡軍;于笑豐;張巖;王林章;李宣東;鄭國梁;;基于場景規(guī)約的構(gòu)件式系統(tǒng)設(shè)計(jì)分析與驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2006年04期

6 吳宏;齊治昌;;基于LSC的模型檢驗(yàn)研究[J];計(jì)算機(jī)應(yīng)用與軟件;2006年07期

7 萬麟瑞,胡宏,孫紅星;面向構(gòu)件的軟件開發(fā)方法學(xué)研究[J];小型微型計(jì)算機(jī)系統(tǒng);2003年03期

8 于東,盧艷軍,楊建剛;面向控制器的實(shí)時(shí)組件技術(shù)研究[J];小型微型計(jì)算機(jī)系統(tǒng);2004年12期

9 陳曙;毋國慶;陳明楷;;面向軟件行為和多視點(diǎn)的需求建模方法[J];小型微型計(jì)算機(jī)系統(tǒng);2011年01期

相關(guān)博士學(xué)位論文 前2條

1 江敏;多視點(diǎn)需求工程中不一致性的檢測與處理[D];武漢大學(xué);2007年

2 曾紅衛(wèi);Web應(yīng)用的驗(yàn)證與測試方法研究[D];上海大學(xué);2008年

相關(guān)碩士學(xué)位論文 前1條

1 吳宏;基于LSC的模型檢驗(yàn)研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2004年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 秦振;陸昌輝;張維明;;信息需求描述方法綜述[J];科學(xué)技術(shù)與工程;2006年15期

2 王顯志;王忠杰;徐曉飛;;面向服務(wù)整合的顧客個(gè)性化需求分類與描述方法[J];黑龍江大學(xué)自然科學(xué)學(xué)報(bào);2009年05期

3 王利;;軟件需求描述方法的比較與分析[J];瀘州職業(yè)技術(shù)學(xué)院學(xué)報(bào);2009年04期

4 于龍;蹇強(qiáng);;面向主題的信息抽取需求描述與分析[J];計(jì)算機(jī)工程;2012年23期

5 雍信陽，蔡希堯，陳平;6種需求描述方法的比較[J];西安電子科技大學(xué)學(xué)報(bào);1996年02期

6 文必龍;張全;馬世濱;;基于資源的需求描述方法[J];計(jì)算機(jī)工程與科學(xué);2008年10期

7 夏幼明,徐天偉,李剛;智能型交互式用戶需求描述的方法設(shè)計(jì)與知識獲取[J];計(jì)算機(jī)應(yīng)用與軟件;1999年05期

8 姚昱;毋國慶;吳懷廣;萬黎;;一種軟件需求描述語言的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;2009年21期

9 王舜燕;邱昌程;寧海波;張梅芬;;構(gòu)件搜索中需求描述關(guān)鍵詞提取方法[J];計(jì)算機(jī)與數(shù)字工程;2009年11期

10 陸云，，馬利民;用戶需求描述與軟件設(shè)計(jì)自動(dòng)化技術(shù)[J];微機(jī)發(fā)展;1996年01期

相關(guān)會議論文 前1條

1 朱揚(yáng)勇;施伯樂;;數(shù)據(jù)庫設(shè)計(jì)的一個(gè)需求描述語言RDL[A];第十一屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集[C];1993年

相關(guān)重要報(bào)紙文章 前1條

1 張振坤;為什么要搞信息化[N];中國信息化周報(bào);2014年

相關(guān)博士學(xué)位論文 前1條

1 鄧娜;BPEL流程生命周期中若干關(guān)鍵問題研究[D];北京郵電大學(xué);2011年

相關(guān)碩士學(xué)位論文 前5條

1 汪云鳳;個(gè)性化需求描述方法在云服務(wù)環(huán)境下的應(yīng)用研究[D];合肥工業(yè)大學(xué);2012年

2 黃龍;基于格式化的自然語言需求描述方法研究[D];上海師范大學(xué);2011年

3 鄭莉平;基于服務(wù)需求的自動(dòng)測試技術(shù)研究[D];重慶大學(xué);2011年

4 聶鐵錚;服務(wù)網(wǎng)格中資源需求描述方法與服務(wù)選擇策略的研究[D];東北大學(xué);2005年

5 張文萃;面向智能流程的個(gè)性化需求獲取方法研究[D];山東大學(xué);2008年

本文編號：1412049