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

Multi-layer Model for SaaS Multi-tenancy

作　　者：李响 李彤[1,2] 谢仲文[1,2] 何云[1] 成蕾 韩煦 

机构地区：[1]云南大学软件学院,昆明650091 [2]云南大学云南省软件工程重点实验室,昆明650091

出　　处：《计算机科学》2017年第11期56-63,共8页Computer Science

基　　金：国家自然科学基金(61379032;61262024;61462092);云南省教育厅科学研究基金(2014Y012)资助

摘　　要：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软件系统为例,验证了文中工作的可行性。SaaS（Software as a Service）appears with cloud computing.It is much different from traditional software.Based on the characters of SaaS,a hierarchical meta-model of SaaS was proposed,which supports the SaaS maturity model and describes every layer by formalization method.Inspired by object-oriented Petri nets（OOPN）and colored Petri nets（CPN）,SOP（Service-Oriented Petri Nets）and CSOP（Colored Service-Oriented Petri Nets）were proposed.On the one hand,encapsulated place is used to represent service,which reflects that services are invisible to outside and inside influences running situation of system.On the other hand,different color sets represent the requests of different tenements,which emphasizes multi-tenancy character of SaaS.The work of this paper not only provides a function for modeling complex SaaS software,but also folds the transition of petri net and encapsulates state space of system.A CRM（Customer Relationship Management）system of SaaS was illustrated to verify the feasibility in the end.

关 键 词：形式化方法 PETRI网 SAAS 软件建模 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]