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

TLA Based Customization and Verification Mechanism of Business Process for SaaS

作　　者：史玉良[1] 栾帅[1] 李庆忠[1] 董晋利[1] 刘方方[2] 

机构地区：[1]山东大学计算机科学与技术学院,济南250101 [2]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机学报》2010年第11期2055-2067,共13页Chinese Journal of Computers

基　　金：国家自然科学基金(90818001;60803143);国家科技支撑计划(2009BAH44B02);山东省自然科学基金(ZR2010FQ026;2009ZRB019YT;Y2007G38);山东省科技攻关计划(2010GGX10105)资助~~

摘　　要：SaaS模式已成为当前流行的软件服务形式.为满足不同租户个性化的业务服务需求,SaaS模式必须提供灵活的定制机制.为此,提出了一个支持租户业务流程定制行为建模及验证的框架.该框架以层次定制行为约束图作为定制指导,通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模,并以此为基础构建租户的全局定制行为,然后基于应用的业务规则约束设计算法验证全局定制行为的正确性;为有效提高租户的定制效率,基于对多租户已有正确定制结果的统计分析,设计定制推荐算法,合理减少验证次数.仿真实验结果证实了该机制的高效性及可靠性.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 designs the verification algorithm for tenants＇ global customization based on business rule constraints.Based on multi-tenants＇ feature and historical verified customization,this framework also constructs a customization recommendation algorithms to improve the efficiency of customization for tenants.Experiments demonstrate the efficiency and reliability of this customization and verification mechanism.

关 键 词：软件即服务 业务流程 定制 验证 活动时序逻辑 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]