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 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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
