随着网络环境的不断提升和飞速发展,云计算和SaaS应用也日益丰富。SaaS作为一种将软件以服务形式按需交付的应用模式,实现了多种使用方式,满足了不同用户的个性化需求,已经成为目前云计算领域研究的热点问题之一。学术界和工业界从不同侧面展开了针对多租约SaaS个性化定制的研究工作,并取得了大量成果。但目前的多租约SaaS个性化定制方法大多是以流程编制的业务组织形式为基础,采用基于可变点建模和元数据可配置的定制方法。编制形式的业务流程中需要一个总控过程来控制并协调业务活动的执行过程,这种方式在应对业务流程变化时,需要从总体角度对业务流程进行重新设计和规划。对于多租约SaaS个性化业务定制来说,该方法很难根据租约的个性化特点对业务流程的局部实现更改和定制,降低了SaaS个性化租约业务定制的灵活性。为此,以基于交互的多租约SaaS应用模式为基础,以灵活、有效地进行个性化租约定制为目标,通过基于交互的业务描述,以流程编排的业务组织形式,本文提出了一种基于交互的多租约SaaS中个性化租约定制方法,以更好的满足用户的个性化业务需求。围绕该方法,本文首先对多租约SaaS个性化租约定制研究目标进行分析,提出了基于交互的多租约SaaS业务-租约模型,作为SaaS个性化租约定制的基础；并围绕基于交互的多租约SaaS个性化租约定制框架所涉及的基于图形化操作的个性化租约业务流程定制方法、个性化租约业务流程有效性检测方法、基于图匹配的租约推荐方法等关键问题进行了深入研究。(1)针对多租约SaaS的业务组织形式灵活性问题,本文在分析了SaaS应用成熟度模型及编制组织形式业务流程所存在的问题基础上,提出了基于交互的多租约SaaS应用模式,定义了基于交互的多租约SaaS业务-租约模型,并通过扩展WSCL设计了模型的描述语言SaaSCL。在此基础上,给出了基于交互的多租约SaaS应用构建过程,并提出了基于SBTM模型的多租约SaaS个性化租约定制框架,从而为多租约SaaS个性化租约定制方法的提出和研究奠定了基础。(2)针对具有多样性业务变化的个性化业务定制及建模问题,本文通过对多租约SaaS中影响租约业务流程变化的可定制元素及定制动作的分析,提出了业务功能视图、业务数据视图与业务流程视图,以及业务视图定制操作行为,并且分别给出了各业务视图的建立算法。在此基础上,提出了基于图形化操作的个性化租约业务流程定制方法,并通过具体业务实例说明了该方法的执行效果。(3)针对个性化租约业务流程有效性检测问题,本文通过对目前流程验证问题的分析,给出了个性化租约业务流程有效性检测的基本概念。针对交互关联关系约束正确性及变迁条件包含关系正确性检测问题,给出了检测活动、检测规则及检测行为的TLA描述,提出了基于TLA的业务关系正确性检测方法,设计了支持该检测方法的BRVT算法。针对业务流程中的交互可达性、流程完整性及流程死循环问题,提出了基于有向图的业务流程合理性验证方法,设计了支持合理性分析的基于有向图深度优先遍历DFS_SCBM算法。在此基础上,设计了对个性化租约业务流程有效性进行全面检测的SCBM_AT算法,从而保证个性化租约业务流程定制能够有效的执行。(4)针对已有租约业务模型推荐问题,本文给出了基于图匹配的租约推荐过程,定义了租约推荐方法中的基本概念。以CBR的案例库优化为核心思想,提出了基于租约索引表的可推荐租约业务模型过滤方法,设计了租约索引表建立算法TI_Create及可推荐租约业务模型过滤算法TI_RSTMF。以CBR的案例检索为核心思想,提出了基于ECGM代价检测的图匹配方法进行租约业务模型的匹配,设计了基于A*的ECGM CT算法计算租约业务模型之间的代价差异,并详细给出了节点匹配及边匹配方法。通过实验分析了该算法中影响算法的质量因素,并验证了可推荐租约业务模型过滤对租约推荐方法性能提高的重要性。