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

作     者：李响 李彤 谢仲文 何云 成蕾 韩煦 LI Xiang;LI Tong;XIE Zhong-wen;HE Yun;CHENG Lei;HAN Xu

作者机构：云南大学软件学院昆明650091 云南大学云南省软件工程重点实验室昆明650091 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2017年第44卷第11期

页      面：56-63页

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

主　　题：形式化方法 Petri网 SaaS 软件建模 

摘      要：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软件系统为例,验证了文中工作的可行性。