SaaS(Software as a Service)伴随云计算而出现,它与传统软件有很大区别.本文根据SaaS软件的特点,提出支持SaaS软件成熟度的SaaS软件分层元模型,使用形式化方法对每一层进行建模描述.受到面向对象Petri网(OOPN)和有色Petri网(CPN)思想的启发,提出面向服务网结构SOP(Service-Oriented Petri Nets)和CSOP(Colored Service-Oriented Petri Nets).一方面,使用封装的库所元素代表服务,体现了服务对外的不可见,内部结构影响运行.另一方面,不同的颜色集代表不同租户请求,突出SaaS多租户的特点.这不仅为复杂的SaaS软件建模提供万法,还折叠系统变迁,压缩状态空间.最后,以一个CRM(Customer Relationship Management客户关系管理)SaaS软件系统为例,验证了本文工作的可行性.
展开▼