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

摘要：

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

关键词：软件即服务、业务流程、定制、验证、活动时序逻辑

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金90818001,60803143;国家科技支撑计划2009BAH44B02;山东省自然科学基金ZR2010FQ026,2009ZRB019YT,Y2007G38;山东省科技攻关计划2010GGX10105

在线出版日期：2011-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：2055-2067