一种面向SaaS多租户的多层模型

发布时间：2018-08-24 20:37

【摘要】：SaaS(Software as a Service)伴随云计算而出现,它与传统软件的区别较大。根据SaaS软件的特点,提出支持SaaS软件成熟度的SaaS软件分层元模型,使用形式化方法对每一层进行建模描述。受面向对象Petri网(ObjectOriented Petri Nets,OOPN)和有色Petri网(Colored Petri Nets,CPN)思想的启发,提出面向服务网结构SOP(ServiceOriented Petri Nets)和CSOP(Colored Service-Oriented Petri Nets)。一方面,使用封装的库所元素代表服务,体现了服务对外不可见,且内部结构影响系统运行。另一方面,不同的颜色集代表不同租户请求,突出了SaaS多租户的特点。这不仅为复杂的SaaS软件建模提供了方法,还能够折叠系统变迁,压缩状态空间。最后,以一个客户关系管理(Customer Relationship Management,CRM)SaaS软件系统为例,验证了文中工作的可行性。
[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.
【作者单位】： 云南大学软件学院;云南大学云南省软件工程重点实验室;
【基金】：国家自然科学基金(61379032,61262024,61462092) 云南省教育厅科学研究基金(2014Y012)资助
【分类号】：TP301.1;TP311.5

【相似文献】

相关期刊论文 前10条

1 李唯;熊建峰;;高职院校软件建模课程的教学设计[J];计算机教育;2010年21期

2 宋承继;;基于工作过程的高职“软件建模技术”课程改革与探索[J];中国电力教育;2011年26期

3 刘洁;;基于工作过程的软件建模课程设计研究[J];计算机光盘软件与应用;2012年11期

4 郑山红;赵辉;李万龙;侯秀萍;;关于软件建模与分析课程教学改革的研究[J];吉林省教育学院学报(中旬);2012年10期

5 沈春山;;协同状态网及其在软件建模和分析中的应用[J];计算机科学;2013年03期

6 朱丽丽;杜恺琳;;Google SketchUp软件建模技术及技巧之二[J];中国信息技术教育;2012年06期

7 朱丽丽;齐森;;Google SketchUp软件建模技术及技巧之三[J];中国信息技术教育;2012年Z1期

8 朱丽丽;;Google SketchUp软件建模技术及技巧之一[J];中国信息技术教育;2012年05期

9 郑山红;李万龙;赵辉;王小虎;周子明;;面向工程型人才培养的软件建模与分析课程建设[J];长春师范学院学报;2012年06期

10 麻志毅;面向对象的软件建模工具[J];信息技术与标准化;2003年07期

相关会议论文 前10条

1 金灿;刘晓平;王军;;有限元软件建模中的多态模型理论研究[A];计算机技术与应用进展——全国第17届计算机科学与技术应用（CACIS）学术会议论文集（下册）[C];2006年

2 陈文军;;UG软件建模模块“教学做”一体化教学实践与探讨[A];中国职协2013年度优秀科研成果获奖论文集（下册）[C];2013年

3 李书宇;金永贤;;Multi-agent框架下的实时软件建模方法[A];2007中国控制与决策学术年会论文集[C];2007年

4 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年

5 郑宇军;石海鹤;薛锦云;;Spec#语言中的形式化特性[A];2005年全国理论计算机科学学术年会论文集[C];2005年

6 张旭;魏建;熊静;;基于Petri网的民航旅行代理服务工作流建模研究[A];2008'中国信息技术与应用学术论坛论文集（一）[C];2008年

7 张辉;董荣胜;高西;;一种嵌入式系统扩展流关系Petri网及应用[A];广西计算机学会2007年年会论文集[C];2007年

8 雷敏;雷友殉;;一种UML到SDL转换方法的研究与应用[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年

9 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年

10 缪道期;;评审计算机安全等级[A];第二次计算机安全技术交流会论文集[C];1987年

相关博士学位论文 前8条

1 郭金维;基于函数配置的柔性制造系统Petri网控制器设计[D];西安电子科技大学;2014年

2 阳罚军;基于Petri网的多组合设备最优调度与控制[D];广东工业大学;2016年

3 钱振江;安全操作系统形式化设计与验证方法研究[D];南京大学;2013年

4 刘强;设计模式的形式化研究及其EMF实现[D];华东师范大学;2011年

5 张鹏;形式化方法在云计算中的应用研究[D];吉林大学;2014年

6 刘洋;网络式软件需求验证的形式化方法研究[D];电子科技大学;2013年

7 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年

8 吴维敏;离散事件系统的Petri网控制器综合[D];浙江大学;2002年

相关硕士学位论文 前10条

1 熊文文;基于层次CPN的软件建模仿真与性能分析[D];中国石油大学(华东);2014年

2 张姝;基于UML与时序逻辑的嵌入式实时软件建模及应用[D];重庆师范大学;2008年

3 罗浩;形式化与可视化相结合的嵌入式实时软件建模和验证[D];苏州大学;2007年

4 任佳;基于UML的网络分布式考试系统软件建模研究[D];山东师范大学;2007年

5 王春晓;MDF连续平压质量控制形式化建模及优化研究[D];东北林业大学;2015年

6 温晋杰;Z规范对国产化软件工程实践的探讨[D];石家庄铁道大学;2016年

7 丁宁;基于要素投影的事件本体形式化方法及其在情感分析中的应用[D];上海大学;2016年

8 沈岗;基于UML的形式化框架及其在安全协议验证中的应用[D];天津大学;2014年

9 傅苏姗;针对SOFL形式化软件规格说明书完备性的自动检测方法研究[D];华中科技大学;2015年

10 Hamza I.Bangura;基于Z规格的软件缺陷形式化方法[D];天津大学;2010年

，

本文编号：2201970