《计算机学报》文章摘要   全文下载
文章题目	基于TLA的SaaS业务流程定制及验证机制研究
作者	史玉良1) 栾帅1) 李庆忠1) 董晋利1) 刘方方2)
作者单位	1)(山东大学计算机科学与技术学院 济南 250101) 2)(上海大学计算机工程与科学学院 上海 200072)
发表年份	2010
发表月份	11期(2055—2067)
文章摘要	摘要 SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求，SaaS模式必须提供灵活的定制机制.为此，提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导，通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模，并以此为基础构建租户的全局定制行为，然后基于应用的业务规则约束设计算法验证全局定制行为的正确性；为有效提高租户的定制效率，基于对多租户已有正确定制结果的统计分析，设计定制推荐算法，合理减少验证次数.仿真实验结果证实了该机制的高效性及可靠性. 关键词 软件即服务；业务流程；定制；验证；活动时序逻辑 中图法分类号 TP311 DOI号：10.3724/SP.J.1016.2010.02055