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

• 作者: 刘方方 史玉良 李庆忠 栾帅 董晋利
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 软件即服务 业务流程 定制 验证 活动时序逻辑
• 年，卷（期）: 2010,（11）
• 页码范围: 2055-2067
• 分类号: TP311
• 字数: 12004字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.02055

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李庆忠	山东大学计算机科学与技术学院	52	692	16.0	25.0
2	史玉良	山东大学计算机科学与技术学院	21	417	10.0	20.0
3	栾帅	山东大学计算机科学与技术学院	1	69	1.0	1.0
4	董晋利	山东大学计算机科学与技术学院	2	91	2.0	2.0
5	刘方方	上海大学计算机工程与科学学院	6	85	3.0	6.0