| 基于TLA的SaaS业务流程定制及验证机制研究 |
| |
| 引用本文： | 史玉良,栾帅,李庆忠,董晋利,刘方方.基于TLA的SaaS业务流程定制及验证机制研究[J].计算机学报,2010,33(11). |
| |
| 作者姓名： | 史玉良 栾帅 李庆忠 董晋利 刘方方 |
| |
| 作者单位： | 山东大学计算机科学与技术学院;上海大学计算机工程与科学学院; |
| |
| 基金项目： | 国家自然科学基金，国家科技支撑计划，山东省自然科学基金，山东省科技攻关计划 |
| |
| 摘 要： | SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求,SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模,并以此为基础构建租户的全局定制行为,然后基于应用的业务规则约束设计算法验证全局定制行为的正确性;为有效提高租户的定制效率,基于对多租户已有正确定制结果的统计分析,设计定制推荐算法,合理减少验证次数.仿真实验结果证实了该机制的高效性及可靠性.
|
| 关 键 词： | 软件即服务 业务流程 定制 验证 活动时序逻辑 |
TLA Based Customization and Verification Mechanism of Business Process for SaaS |
| |
| SHI Yu-Liang,LUAN Shuai,LI Qing-Zhong,DONG Jin-Li,LIU Fang-Fang.TLA Based Customization and Verification Mechanism of Business Process for SaaS[J].Chinese Journal of Computers,2010,33(11). |
| |
| Authors: | SHI Yu-Liang LUAN Shuai LI Qing-Zhong DONG Jin-Li LIU Fang-Fang |
| |
| Affiliation: | SHI Yu-Liang1) LUAN Shuai1) LI Qing-Zhong1) DONG Jin-Li1) LIU Fang-Fang2)1)(School of Computer Science and Technology,Shandong University,Jinan 250101)2)(School of Computer Engineering and Science,Shanghai University,Shanghai 200072) |
| |
| Abstract: | SaaS model has become a popular form of software services.In order to meet personalized business service needs of tenants,SaaS model must provide flexible business process customization mechanism.This paper proposes a modeling and verification framework for business process customization.Following the guidance of Hierarchical Customized Behavior and Dependency Graph,the framework models the atomic customization action based on TLA(Temporal Logic of Actions),constructs the global customization behavior and d... |
| |
| Keywords: | software as a service business process customization verification temporal logic of actions |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
