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

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

【摘要】：高度開放的計算環(huán)境使web服務系統(tǒng)面臨各種不確定性.為了有效地配置計算資源以實現系統(tǒng)業(yè)務價值最大化,需要對不確定的概率服務組合系統(tǒng)需求進行建模.在LSC的基礎上,提出一種基于三段式概率消息的需求描述語言p LSC,用于描述概率服務組合系統(tǒng)中隨機場景描述的不確定的需求.從馬爾可夫隨機過程特性出發(fā),提出隨機變量與消息相結合的三段式概率消息概念,p LSC語言是一種基于三段式概率消息的需求描述語言,將三段式概率消息中隨機變量對象化,通過隨機變量對象消息交互序列直觀表示隨機場景描述的系統(tǒng)需求.文中給出了p LSC語言的圖形表示方法,并展示了p LSCEditor編輯工具用于圖形化編輯隨機場景.
[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.
【作者單位】： 上海大學計算機工程與科學學院;上海市計算機軟件評測重點實驗室;上海大學計算中心;
【基金】：國家自然科學基金項目(60970007,61170044,61572306,61502294)資助 上海市自然科學基金項目(15ZR1415200)資助 上海高校青年教師培訓計劃項目(ZZSD13008)資助
【分類號】：TP393.09
【正文快照】： 1引言面向服務的體系架構(SOA,Service-Oriented Architec-ture)提供了一種松散耦合的分布式計算范式,在WSDL、UD-DI、SOAP等技術構成的標準化體系基礎上,不同類型和形式的上層業(yè)務功能和數據等計算資源都可以以統(tǒng)一地方式被描述、發(fā)布和發(fā)現和訪問,形成了一個基于標準、開放

【參考文獻】

相關期刊論文 前3條

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

2 梅佳;繆淮扣;高洪皓;;構件式實時系統(tǒng)建模與驗證研究[J];小型微型計算機系統(tǒng);2012年02期

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

【共引文獻】

相關期刊論文 前10條

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

2 邱曉康;陳銘松;王林章;李宣東;鄭國梁;;UML行為圖驅動的Java程序運行時驗證工具[J];計算機科學;2007年12期

3 胡軍;于笑豐;張巖;王林章;李宣東;鄭國梁;;基于場景規(guī)約的構件式系統(tǒng)設計分析與驗證[J];計算機學報;2006年04期

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

5 吳宏;齊治昌;;基于LSC的模型檢驗研究[J];計算機應用與軟件;2006年07期

6 張亞紅;張琳琳;趙楷;陳佳麗;馮在文;;基于UML2.0序列圖的Web服務運行時驗證方法[J];計算機科學;2013年07期

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

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

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

10 張鵬程;李必信;李雯睿;;時間屬性序列圖:語法和語義[J];軟件學報;2010年11期

相關博士學位論文 前9條

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

2 劉志鋒;模型檢測中關鍵技術的研究及其應用[D];南京大學;2011年

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

4 王洪媛;UML行為模型之間模型轉換的研究[D];吉林大學;2007年

5 胡軍;構件化嵌入式軟件設計的分析與驗證[D];南京大學;2005年

6 李勇華;目標和場景相結合的需求工程[D];武漢大學;2006年

7 陳超;語境驅動的仿真模型可組合性測試方法研究[D];國防科學技術大學;2007年

8 許靜;面向模塊化產品平臺的技術對象有序化及重用技術研究[D];浙江大學;2011年

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

相關碩士學位論文 前10條

1 劉志遠;基于密鑰鏈的認證郵件協(xié)議的擴展及形式化驗證[D];山東大學;2011年

2 吳宏;基于LSC的模型檢驗研究與實現[D];國防科學技術大學;2004年

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

4 張曉旭;工兵團裝備保障工作流模型建立與驗證[D];國防科學技術大學;2009年

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

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

7 張紀昌;基于場景的構件組合方式的研究[D];浙江師范大學;2010年

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

9 辜劍;基于時間屬性序列圖的運行時驗證技術研究[D];華中師范大學;2014年

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

【二級參考文獻】

相關期刊論文 前9條

1 楊芙清,梅宏,李克勤;軟件復用與軟件構件技術[J];電子學報;1999年02期

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

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

4 萬黎;毋國慶;吳懷廣;;面向行為的需求建模研究及實現[J];計算機科學;2011年04期

5 胡軍;于笑豐;張巖;王林章;李宣東;鄭國梁;;基于場景規(guī)約的構件式系統(tǒng)設計分析與驗證[J];計算機學報;2006年04期

6 吳宏;齊治昌;;基于LSC的模型檢驗研究[J];計算機應用與軟件;2006年07期

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

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

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

相關博士學位論文 前2條

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

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

相關碩士學位論文 前1條

1 吳宏;基于LSC的模型檢驗研究與實現[D];國防科學技術大學;2004年

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

8 姚昱;毋國慶;吳懷廣;萬黎;;一種軟件需求描述語言的設計與實現[J];計算機工程與應用;2009年21期

9 王舜燕;邱昌程;寧海波;張梅芬;;構件搜索中需求描述關鍵詞提取方法[J];計算機與數字工程;2009年11期

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

相關會議論文 前1條

1 朱揚勇;施伯樂;;數據庫設計的一個需求描述語言RDL[A];第十一屆全國數據庫學術會議論文集[C];1993年

相關重要報紙文章 前1條

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

相關博士學位論文 前1條

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

相關碩士學位論文 前5條

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

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

3 鄭莉平;基于服務需求的自動測試技術研究[D];重慶大學;2011年

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

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

本文編號：1412049