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

来源 :计算机科学 | 被引量 : 0次 | 上传用户：quintentwc93

【摘要】

：

SaaS（Software as a Service）伴随云计算而出现,它与传统软件的区别较大。根据SaaS软件的特点,提出支持SaaS软件成熟度的SaaS软件分层元模型,使用形式化方法对每一层进行建模描

【作者】

：

李响李彤谢仲文何云成蕾韩煦

【机构】

：

云南大学软件学院,云南大学云南省软件工程重点实验室

【出处】

：

计算机科学

【发表日期】

：

2017年11期

【关键词】

：

形式化方法 PETRI网 SAAS 软件建模 Formalization method Petri r时 Software as a Service Sof

【基金项目】

：

国家自然科学基金（61379032,61262024,61462092）, 云南省教育厅科学研究基金（2014Y012）资助

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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-Oriente

其他文献

基于无线网络的远端数据采集系统的设计与实现

使用人工或采用有线方式进行远端数据采集的方法都存在许多不足,而利用现有GPRS无线网络进行数据传输是一种快捷、有效、廉价的解决方法,为此文章提出-种基于GPRS网络的远端

期刊

单片机数据采集GPRS无线网络singlechip data collection GPRS

基于决策背景的决策蕴涵规范基

主要给出决策背景下的决策蕴涵基,通过不确定的分组阈值对决策背景进行分组,找到每个分块的决策背景下的决策蕴涵规范基,并证明了每个分块上的决策蕴涵集是完备、无冗余和最

期刊

阈值决策背景决策蕴涵规范基Threshold Decision making background Decision implication Ca

PCI数据采集卡及其WDM驱动程序设计

介绍了一种基于PCI总线的数据采集卡的硬件结构，其中详细介绍了PCI2040与TMS320VC5402 HPI接口的设计方法及其数据传输原理；同时详细地阐述了．PCI设备WDM驱动程序开发的基本方法

期刊

PCIFIFOWDM驱动程序HPIPCI FIFO WDM driver HPI

一种改进的同伦BP算法及其在故障诊断中的应用研究

为克服标准BP算法中存在的网络学习收敛速度慢、容易陷入局部极小等问题,引入同伦算法,提出了一种将同伦论与快速BP算法结合的改进算法,并采用二进制结构表示输出模式矩阵.最

期刊

故障诊断应用学习收敛速度快速BP算法局部极小同伦算法改进算法模式矩阵燃油系统诊断研究快速收敛仿真结果同伦论二进制柴油机neural

无线射频RFID识别协议自动验证方法研究

Population Protocols是一种受生物启发的计算模型,能够表示无线网络中数量庞大但计算能力弱的多组件间的交互,它为无线传感器网络提供了一种可计算推理的理论框架。将Population Protocol理论引入到RFID识别协议中,提出了RFID识别协议系统模型验证框架;构建了标签与阅读器交互产生的状态变迁模型;最后用spin模型检测工具和LTL线性时序逻辑验证了弱公平条件下该模型的自

期刊

POPULATIONProtocolsRFID协议验证SPINPopulation Protocols RFID Protocol verific

基于语义模型的实时数据有效性保证策略研究

实时数据的有效性与CPU处理能力是信息物理融合系统(CPS)中的一对矛盾，提高采样频率可以保证实时数据的有效性，但是会增加CPU负荷，降低系统的计算能力。首先，利用实时数据的语义

期刊

实时数据语义模型有效性保证信息物理融合系统Real time dataSemantics modelValidity protectionCybe

基于新型遗传算法的碳酸盐岩油气藏布井研究

塔河油田隶属碳酸盐岩油田,由于缝洞发育的随机性,因此需要在开发初期进行合理的井位确定,以最大限度地提高开发效果。通过对传统的遗传算法进行多角度的改进,提出了一种新型

期刊

井位优化淘汰算子精英档案新型协同进化Well position optimizationElimination operatorElite file

总线接口技术在药丸内窥镜中的应用

药丸内窥镜也可称为“可吞服的数码相机”,形似一粒大胶囊,医用价值很大,在其内部结构上,药丸内窥镜在多种总线接口的辅助下向微机传输图像,显示病灶,给诊断提供依据.以药丸

期刊

总线接口CMOS图像传感器药丸内窥镜SCCB总线USB总线NRF2401bus interface CMOS image sensors pil

开放知识库构建技术的多维量化评价方法

网络大数据时代的到来使得开放知识库的构建技术越来越受到学术界和工业界的关注。近年来，依托开放知识库构建技术而构建的知识库及相关应用层出不穷。然而，目前并没有一种较为

期刊

开放知识库评价多维量化üpen knowledge base evaluationMulti-dimensionQuantification

基于局部保持典型相关分析的无线传感器网络三维定位算法

针对目前无线传感器网络三维空间定位算法精度不高、稳定性差等问题,在基于局部保持典型相关分析LPCCA模型的基础上构造三维定位算法3D-LE-LPCCA。首先,将LPCCA模型拓展到三

期刊

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

与本文相关的学术论文