【摘要】：SaaS(Software as a Service)伴隨云計(jì)算而出現(xiàn),它與傳統(tǒng)軟件的區(qū)別較大。根據(jù)SaaS軟件的特點(diǎn),提出支持SaaS軟件成熟度的SaaS軟件分層元模型,使用形式化方法對(duì)每一層進(jìn)行建模描述。受面向?qū)ο驪etri網(wǎng)(ObjectOriented Petri Nets,OOPN)和有色Petri網(wǎng)(Colored Petri Nets,CPN)思想的啟發(fā),提出面向服務(wù)網(wǎng)結(jié)構(gòu)SOP(ServiceOriented Petri Nets)和CSOP(Colored Service-Oriented Petri Nets)。一方面,使用封裝的庫(kù)所元素代表服務(wù),體現(xiàn)了服務(wù)對(duì)外不可見(jiàn),且內(nèi)部結(jié)構(gòu)影響系統(tǒng)運(yùn)行。另一方面,不同的顏色集代表不同租戶(hù)請(qǐng)求,突出了SaaS多租戶(hù)的特點(diǎn)。這不僅為復(fù)雜的SaaS軟件建模提供了方法,還能夠折疊系統(tǒng)變遷,壓縮狀態(tài)空間。最后,以一個(gè)客戶(hù)關(guān)系管理(Customer Relationship Management,CRM)SaaS軟件系統(tǒng)為例,驗(yàn)證了文中工作的可行性。
[Abstract]:SaaS (Software as a Service) comes along with cloud computing, and it is different from traditional software. According to the characteristics of SaaS software, a hierarchical meta-model of SaaS software supporting maturity of SaaS software is proposed, and each layer is modeled and described by formal method. Inspired by the ideas of object oriented Petri net (ObjectOriented Petri Nets,OOPN) and colored Petri net (Colored Petri Nets,CPN), the service oriented network architecture SOP (ServiceOriented Petri Nets) and CSOP (Colored Service-Oriented Petri Nets). Are proposed. On the one hand, the service is represented by the encapsulated library elements, which shows that the service is invisible to the outside, and the internal structure affects the operation of the system. On the other hand, different color sets represent different tenant requests, highlighting the characteristics of SaaS multi-tenant. This not only provides a method for modeling complex SaaS software, but also can fold system transition and compress state space. Finally, a customer relationship management (Customer Relationship Management,CRM) SaaS software system is taken as an example to verify the feasibility of the work in this paper.
【作者單位】： 云南大學(xué)軟件學(xué)院;云南大學(xué)云南省軟件工程重點(diǎn)實(shí)驗(yàn)室;
【基金】：國(guó)家自然科學(xué)基金(61379032,61262024,61462092) 云南省教育廳科學(xué)研究基金(2014Y012)資助
【分類(lèi)號(hào)】：TP301.1;TP311.5

【相似文獻(xiàn)】

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

1 李唯;熊建峰;;高職院校軟件建模課程的教學(xué)設(shè)計(jì)[J];計(jì)算機(jī)教育;2010年21期

2 宋承繼;;基于工作過(guò)程的高職“軟件建模技術(shù)”課程改革與探索[J];中國(guó)電力教育;2011年26期

3 劉潔;;基于工作過(guò)程的軟件建模課程設(shè)計(jì)研究[J];計(jì)算機(jī)光盤(pán)軟件與應(yīng)用;2012年11期

4 鄭山紅;趙輝;李萬(wàn)龍;侯秀萍;;關(guān)于軟件建模與分析課程教學(xué)改革的研究[J];吉林省教育學(xué)院學(xué)報(bào)(中旬);2012年10期

5 沈春山;;協(xié)同狀態(tài)網(wǎng)及其在軟件建模和分析中的應(yīng)用[J];計(jì)算機(jī)科學(xué);2013年03期

6 朱麗麗;杜愷琳;;Google SketchUp軟件建模技術(shù)及技巧之二[J];中國(guó)信息技術(shù)教育;2012年06期

7 朱麗麗;齊森;;Google SketchUp軟件建模技術(shù)及技巧之三[J];中國(guó)信息技術(shù)教育;2012年Z1期

8 朱麗麗;;Google SketchUp軟件建模技術(shù)及技巧之一[J];中國(guó)信息技術(shù)教育;2012年05期

9 鄭山紅;李萬(wàn)龍;趙輝;王小虎;周子明;;面向工程型人才培養(yǎng)的軟件建模與分析課程建設(shè)[J];長(zhǎng)春師范學(xué)院學(xué)報(bào);2012年06期

10 麻志毅;面向?qū)ο蟮能浖９ぞ遊J];信息技術(shù)與標(biāo)準(zhǔn)化;2003年07期

相關(guān)會(huì)議論文 前10條

1 金燦;劉曉平;王軍;;有限元軟件建模中的多態(tài)模型理論研究[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展——全國(guó)第17屆計(jì)算機(jī)科學(xué)與技術(shù)應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2006年

2 陳文軍;;UG軟件建模模塊“教學(xué)做”一體化教學(xué)實(shí)踐與探討[A];中國(guó)職協(xié)2013年度優(yōu)秀科研成果獲獎(jiǎng)?wù)撐募ㄏ聝?cè)）[C];2013年

3 李書(shū)宇;金永賢;;Multi-agent框架下的實(shí)時(shí)軟件建模方法[A];2007中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];2007年

4 薛瑜;李承家;呂莉芳;;模糊Petri網(wǎng)與連續(xù)Petri網(wǎng)的關(guān)系[A];第九屆中國(guó)不確定系統(tǒng)年會(huì)、第五屆中國(guó)智能計(jì)算大會(huì)、第十三屆中國(guó)青年信息與管理學(xué)者大會(huì)論文集[C];2011年

5 鄭宇軍;石海鶴;薛錦云;;Spec#語(yǔ)言中的形式化特性[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

6 張旭;魏建;熊靜;;基于Petri網(wǎng)的民航旅行代理服務(wù)工作流建模研究[A];2008'中國(guó)信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

7 張輝;董榮勝;高西;;一種嵌入式系統(tǒng)擴(kuò)展流關(guān)系Petri網(wǎng)及應(yīng)用[A];廣西計(jì)算機(jī)學(xué)會(huì)2007年年會(huì)論文集[C];2007年

8 雷敏;雷友殉;;一種UML到SDL轉(zhuǎn)換方法的研究與應(yīng)用[A];2006通信理論與技術(shù)新進(jìn)展——第十一屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集[C];2006年

9 苗潔君;王克;;密碼模塊的形式化設(shè)計(jì)和驗(yàn)證研究[A];第二十一次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2006年

10 繆道期;;評(píng)審計(jì)算機(jī)安全等級(jí)[A];第二次計(jì)算機(jī)安全技術(shù)交流會(huì)論文集[C];1987年

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

1 郭金維;基于函數(shù)配置的柔性制造系統(tǒng)Petri網(wǎng)控制器設(shè)計(jì)[D];西安電子科技大學(xué);2014年

2 陽(yáng)罰軍;基于Petri網(wǎng)的多組合設(shè)備最優(yōu)調(diào)度與控制[D];廣東工業(yè)大學(xué);2016年

3 錢(qián)振江;安全操作系統(tǒng)形式化設(shè)計(jì)與驗(yàn)證方法研究[D];南京大學(xué);2013年

4 劉強(qiáng);設(shè)計(jì)模式的形式化研究及其EMF實(shí)現(xiàn)[D];華東師范大學(xué);2011年

5 張鵬;形式化方法在云計(jì)算中的應(yīng)用研究[D];吉林大學(xué);2014年

6 劉洋;網(wǎng)絡(luò)式軟件需求驗(yàn)證的形式化方法研究[D];電子科技大學(xué);2013年

7 董利達(dá);基于序狀Petri網(wǎng)的離散事件系統(tǒng)監(jiān)控理論[D];浙江大學(xué);2004年

8 吳維敏;離散事件系統(tǒng)的Petri網(wǎng)控制器綜合[D];浙江大學(xué);2002年

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

1 熊文文;基于層次CPN的軟件建模仿真與性能分析[D];中國(guó)石油大學(xué)(華東);2014年

2 張姝;基于UML與時(shí)序邏輯的嵌入式實(shí)時(shí)軟件建模及應(yīng)用[D];重慶師范大學(xué);2008年

3 羅浩;形式化與可視化相結(jié)合的嵌入式實(shí)時(shí)軟件建模和驗(yàn)證[D];蘇州大學(xué);2007年

4 任佳;基于UML的網(wǎng)絡(luò)分布式考試系統(tǒng)軟件建模研究[D];山東師范大學(xué);2007年

5 王春曉;MDF連續(xù)平壓質(zhì)量控制形式化建模及優(yōu)化研究[D];東北林業(yè)大學(xué);2015年

6 溫晉杰;Z規(guī)范對(duì)國(guó)產(chǎn)化軟件工程實(shí)踐的探討[D];石家莊鐵道大學(xué);2016年

7 丁寧;基于要素投影的事件本體形式化方法及其在情感分析中的應(yīng)用[D];上海大學(xué);2016年

8 沈崗;基于UML的形式化框架及其在安全協(xié)議驗(yàn)證中的應(yīng)用[D];天津大學(xué);2014年

9 傅蘇姍;針對(duì)SOFL形式化軟件規(guī)格說(shuō)明書(shū)完備性的自動(dòng)檢測(cè)方法研究[D];華中科技大學(xué);2015年

10 Hamza I.Bangura;基于Z規(guī)格的軟件缺陷形式化方法[D];天津大學(xué);2010年

，

本文編號(hào)：2201970