基于TLA的SaaS业务流程定制及验证机制研究
SaaS模式已成为当前流行的软件服务形式。为满足不同租户个性化的业务服务需求，SaaS模式必须提供灵活的定制机制．提出了一个支持租户业务流程定制行为建模及验证的框架，该框架以层次定制行为约束图作为定制指导，通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模，并以此为基础构建祖户的全局定制行为，然后基于应用的业务规则约束设计算法验证全局定制行为的正确性；为有效提高租户的定制效率，基于对多租户已有正确定制结果的统计分析，设计定制推荐算法，合理减少验证次数．仿真实验结果证实了该机制的高效性及可靠性．
软件即服务 验证机制 业务流程 活动时序逻辑
史玉良 栾帅 李庆忠 董晋利
山东大学 计算机科学与技术学院，山东省 济南市 250101
国内会议
哈尔滨
中文
108-117
2010-08-10（万方平台首次上网日期，不代表论文的发表时间）