基于TLA的SaaS业务流程定制及验证机制研究

被引：43

作者：

史玉良 ^{[1
]}

栾帅 ^{[1
]}

李庆忠 ^{[1
]}

董晋利 ^{[1
]}

刘方方 ^{[2
]}

机构：

[1] 山东大学计算机科学与技术学院

[2] 上海大学计算机工程与科学学院

来源：

计算机学报 | 2010年 / 33卷 / 11期

关键词：

软件即服务; 业务流程; 定制; 验证; 活动时序逻辑;

D O I：

暂无

中图分类号：

TP393.09 [];

学科分类号：

080402 ;

摘要：

SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求,SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模,并以此为基础构建租户的全局定制行为,然后基于应用的业务规则约束设计算法验证全局定制行为的正确性;为有效提高租户的定制效率,基于对多租户已有正确定制结果的统计分析,设计定制推荐算法,合理减少验证次数.仿真实验结果证实了该机制的高效性及可靠性.

引用

页码：2055 / 2067

页数：13

共 6 条

[1] Web服务流程相容性和相似性分析 [J].