标题:基于TLA的SaaS业务流程定制及验证机制研究
作者:史玉良;栾帅;李庆忠;董晋利;刘方方
作者机构:[史玉良] 山东大学计算机科学与技术学院, 济南, 山东 250101, 中国.;[栾帅] 山东大学计算机科学与技术学院, 济南, 山东 250101, 中国.;[李庆忠] 山东大学计算机科 更多
通讯作者:Shi, YL(liangyus@sdu.edu.cn)
通讯作者地址:[Shi, Y.-L] School of Computer Science and Technology, Shandong University, Jinan 250101, China;
来源:计算机学报
出版年:2010
卷:33
期:11
页码:2055-2067
DOI:10.3724/SP.J.1016.2010.02055
关键词:软件即服务; 业务流程; 定制; 验证; 活动时序逻辑
摘要:SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求, SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA (Temporal Logic of Actions)对各层的原子定制活动建模,并以此为基础构建租户的全局定制行为,然后基于应用的业务规则约束设计算法验证全局定制行为的正确性;为有效 提高租户的定制效率,基于对多租户已有正确定制结果的统计分析,设计定制推荐算法,合理减少验证次数.仿真实验结果证实了该机制的高效性及可靠性
收录类别:EI;CSCD;SCOPUS
Scopus被引频次:10
资源类型:期刊论文
原文链接:https://www.scopus.com/inward/record.uri?eid=2-s2.0-78649990840&doi=10.3724%2fSP.J.1016.2010.02055&partnerID=40&md5=b6e03a1a1f4d4f54c78212eccbbae723
TOP