学位论文 > 优秀研究生学位论文题录展示
规则驱动的SaaS流程定制及验证技术研究
作 者: 栾帅
导 师: 王海洋
学 校: 山东大学
专 业: 计算机软件与理论
关键词: SaaS 业务流程 规则 定制验证 TLA
分类号: TP393.09
类 型: 硕士论文
年 份: 2010年
下 载: 156次
引 用: 2次
阅 读: 论文下载
内容摘要
SaaS(Software as a Service,软件即服务),是随着互联网的飞速发展与应用软件的日趋成熟而形成的一种新型软件服务模式。它消除了企业购买、构建、维护基础设施和应用软件的需要,客户可以根据自己的实际需求,通过互联网获得厂商提供的服务。面向SaaS应用的典型特点是“单实例多租赁”,即多个租户共享服务提供商的一个应用实例,但对于每个租户来说,这个实例只像是为自己服务。然而这种统一的软件服务模式势必难以满足业务需求各异的不同租户,因此作为一个成功的SaaS应用,必须支持租户对其进行个性化定制,以便在共享实例的基础上构建专属于自己的业务应用。目前,面向SaaS的流程定制应用仍存在一些问题:首先,租户在定制过程中,无法保证行为活动的合理正确性,SaaS服务提供商的约束规范缺乏刚性;其次,难以满足租户对于服务的特殊定制;最后,租户的定制结果是由专门的业务流程编排语言(BPEL技术)将服务串联起来,而BPEL技术本身的静态特性,难以满足应用在执行过程中的动态改变。如果以上问题能够解决,将对SaaS应用的发展提供更为广阔的空间,因此有着重要的研究价值。针对SaaS业务流程定制中出现的主要问题,本文进行的主要工作包括:一、设计了规则驱动的SaaS定制及验证框架。该框架将规则的灵活性特点与传统BPEL技术的静态特性充分融合,实现了业务流程的灵活替换和动态修改,同时有效的提高了应用的处理能力,能够支持更为复杂的业务逻辑。二、提出了基于规则的服务封装机制。该机制引入规则的相关概念,通过包装和嵌入规则,能够允许租户对服务进行更为复杂的定制,以满足其实际业务需求,同时,解决了服务整合时接口不一致的难题,实现了不同服务对统一输入的有效接收。三、提出了基于TLA的流程定制验证算法。将活动时序逻辑与SaaS定制这两者有效的结合在一起,通过TLA公式建模的思想,将定制过程中的数据,流程,服务的状态形式化,并使用验证算法,对各个状态集合进行分析和矛盾检测,实现定制活动的正确性校验,有效的保证租户定制结果的合理可靠。本文提出了一个规则驱动的SaaS流程定制及验证技术框架。该框架独立于各种外部执行环境,具有较好的扩展性和可移植性,框架通过其中各个模块之间的相互协作,既能够实现租户的复杂定制,又能够对定制过程进行验证,而且在系统性能开销,功能执行和多租户支持方面表现良好,因此具有一定的可行性和可靠性。
|
全文目录
摘要 8-10 Abstract 10-12 第一章 绪论 12-20 1.1 研究背景 12-14 1.2 解决方案 14 1.3 国内外研究现状 14-17 1.3.1 产业现状分析 14-15 1.3.2 学术现状分析 15-17 1.4 研究内容 17-18 1.5 研究意义 18 1.6 论文组织结构 18-20 第二章 规则驱动的SaaS流程定制及验证技术整体框架 20-26 2.1 示例介绍 20-21 2.2 传统的流程构建方法 21-22 2.3 示例中的问题 22-23 2.4 系统总体框架 23 2.5 各功能模块作用关系 23-24 2.6 流程的定制过程 24-25 2.7 流程的执行过程 25 2.8 本章小结 25-26 第三章 基于规则的服务封装定制 26-34 3.1 规则管理器 26-31 3.1.1 规则引擎简介 27 3.1.2 业务规则 27-29 3.1.3 约束语义规则 29 3.1.4 规则管理器整体架构 29-31 3.2 服务定制实现 31-33 3.3 本章小结 33-34 第四章 基于TLA的流程形式化验证 34-52 4.1 验证引擎 34-35 4.2 层次定制行为依赖图 35-37 4.3 定制建模 37-44 4.3.1 活动时序逻辑简介 37-38 4.3.2 形式化描述 38-44 4.4 定制验证 44-46 4.5 实例演示 46-51 4.6 本章小结 51-52 第五章 原型系统与实验分析 52-56 5.1 原型系统搭建 52 5.2 系统实验描述 52-53 5.3 流程执行性能 53-54 5.4 服务失败处理 54-55 5.5 多租户支持 55 5.6 本章小结 55-56 第六章 总结与展望 56-58 6.1 总结 56-57 6.2 展望 57-58 参考文献 58-61 致谢 61-62 攻读学位期间发表的学术论文目录 62-63 攻读硕士学位期间参与的项目 63-64 学位论文评阅及答辩情况表 64
|
相似论文
- 基于非规则LDPC码的BICM系统优化设计,TN911.2
- 从历届世界健美操规则看健美操难度动作发展态势,G831.3
- UML模型到XMI的映射方法研究,TP311.5
- 双城AB公司仓储管理体系,F253.4
- 基于监督流形学习算法的固有不规则蛋白质结构预测研究,Q51
- 仿真平台中基于游戏引擎的展现技术的研究与应用,TP391.41
- 肝血管瘤剥脱术与规则性肝切除术的术式探讨,R735.7
- C++代码缺陷检测系统的研究与设计,TP311.53
- 离散空间上两类游戏的最优策略,O242.1
- 排球竞赛规则修改的演变对排球运动发展的影响,G842
- 基于数据挖掘的税务稽查选案研究,F812.42
- C++静态代码检测语法树构建方法研究,TP311.53
- 基于业务流程的图书馆知识链管理研究,G251
- 论犯罪成立要素的标准,D914
- 基于多尺度分析的图像融合算法研究,TP391.41
- NC市政公司业务流程再造研究,F299.24
- 基于业务流程的制造企业知识链模型构建研究,F425
- 基于产品服务的甘肃联通通信网络运维管理研究,F626
- 传闻证据规则研究,D925.2
- 关联规则算法在高职院校贫困生认定工作中的应用,G717
- 数据挖掘在学校管理和学生培养中的应用,TP311.13
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络 > 一般性问题 > 计算机网络应用程序
© 2012 www.xueweilunwen.com
|