面向服务的语义模型驱动企业应用软件开发方法及关键技术研究-计算机科学与技术专业论文.docxVIP

浙江大学博士学位论文 浙江大学博士学位论文 摘要 摘要 随着信息技术的快速发展，互联网已经成为构建企业应用软件的基础要素， 企业应用不再是封闭系统，而是更多的呈现出开放性、异构性、协作性和动态性 的特性。其软件形态和开发方式都在发生着巨大变化，面向服务的软件开发成为 一种新的开发范型。软件服务成为开放网络环境下资源封装与共享的标准形式， 是应用系统的基本功能单元，未来企业应用开发将以业务过程为核心、通过可重 用的服务发现和动态服务组合构成。在这样的背景下，本文对企业应用开发展开 研究，主要研究工作和贡献如下： 一、提出了一种面向服务的语义模型驱动企业应用软件开发方法SMDA。 SMDA方法以面向服务的体系架构SOA为基础，以模型驱动开发MDA为 基本开发手段，以本体作为语义支持基础，通过UML实现技术空间整合和系统 建模。SMDA方法可以呈现为三维的正交体系结构，包括不同的模型抽象层次、 建模作用域以及开发过程中涉及到的技术方法。SMDA不仅在方法论上给予高层 指导，还借助语义模型技术，实现了从需求建模到服务化实现的变换式开发。在 SMDA方法指导下，企业应用开发将是一个围绕业务过程的面向服务的需求分析 与建模、业务过程设计、服务检索与动态组合的迭代过程。 SMDA方法的提出对在开放复杂的网络环境下进行企业应用开发有着显著 意义，能够有效增强沟通，屏蔽可重用资产的异构性，满足用户的多样化、动态 化和个性化需求，实现基于服务的高效敏捷开发。 二、围绕SMDA开发方法，以企业应用开发过程为主线，对需求分析与建 模、业务过程设计和验证、实现业务过程的服务检索与组合优化等关键技术进行 了研究和讨论。 1)提出了一种基于多元本体系统的需求分析与建模方法。结合语义本体技 术和领域工程，提出了以环境本体和目标本体作为基础，组织本体、过程本体和 服务本体为业务核心的层次化多元本体系统。通过顶层本体、领域本体和应用本 浙江大学博士学位论文 浙江大学博士学位论文 摘要 体三种不同抽象层次的本体构建来指导面向重用的服务化企业应用需求分析与 建模并保证需求的一致性。需求建模过程从分析问题空间的组织结构开始，以业 务过程为中心、目标为导向，直至生成基于服务的解决方案结束。通过基于本体 的领域模型重用，有效地提升了需求分析与建模的效果。 2)提出了一种求精式业务过程建模与形式化验证方法。针对业务过程建模 复杂、模型一致性难以保证的问题，提出一种求精式业务过程建模及其形式化验 证方法。结合语义本体技术、基于统一建模语言UML的扩展机制，实现对业务 过程中的不同关注点多视角的可视化建模。业务过程建模是一个“整体抽象过程 -声明式过程》命令式过程多阶段的求精过程。引入环境本体的概念，以软 件交互对环境状态的影响来描述软件行为和能力，并在此基础上给出了模型相关 定义及其形式化语义。结合应用实例详细论述如何采用声明式形式化语言Alloy 进行业务过程模型定义和模型求精的形式化验证。实例表明，该方法可以有效地 提升建模过程的灵活性和保证模型规范的一致性。 3)提出了一种融合本体推理的目标导向服务检索方法。服务检索是业务过 程服务化实现的关键步骤。针对该问题，引入抽象服务和服务池的概念，在服务 检索中构建抽象服务所关联的动态服务池，以此为用户提供在异构动态的环境中 的统一服务视图。在此基础上，把基于过程模型的服务检索问题转换为过程目标 到服务目标的匹配问题，提出了一种融合本体推理技术目标导向式服务检索方 法，借助业务过程附着的目标本体来查找满足约束条件的候选服务实例集合，并 给出了应用案例。实例表明，该方面能利用现有的本体推理工具进行带约束的服 务池构建，有效减少服务池中实例的数量，为下一步面向服务组合优化提供良好 的基础。 4)提出了一种面向组合服务QoS全局优化的动态服务选择方法。针对面向 组合服务QoS全局优化的服务选择问题，在服务组合模型中引入功能服务图的概 念，建立了QoS感知的动态服务选择数学模型，把服务组合归结为单目标多约束 问题来求解。在此基础上，提出一种基于改进遗传算法的算法实例：GOAQSC， 利用高适应度初始种群和局部搜索的变异策略，提高算法效率。实验结果表明了 浙江大学博士学位论文 浙江大学博士学位论文 摘要 该算法的有效性。 关键词： 企业应用，面向服务的体系架构(SOA)，模型驱动的体系结构(MDA)， 本体，需求分析，过程建模，形式化验证，服务检索，服务组合，