学位论文 > 优秀研究生学位论文题录展示

基于Petri网的信息管理软件服务建模方法研究

作 者: 李勍
导 师: 钟绍春
学 校: 东北师范大学
专 业: 计算机软件与理论
关键词: 服务建模 服务组合 Petri网 信息管理软件 高校管理系统
分类号: TP311.52
类 型: 硕士论文
年 份: 2011年
下 载: 17次
引 用: 0次
阅 读: 论文下载
 

内容摘要


目前,全球企业面临着业务模式创新、多元信息整合、人才管理和业务流程透明化等众多变革。这些变革对企业的敏捷性提出了很高要求。SOA作为一种松耦合的体系架构,能够最大程度实现业务需求与IT的一致性,将业务流程活动从服务实现中分离出来,还能够降低开发成本,是现今企业实现敏捷性最流行的技术手段。而服务建模的好坏直接影响到服务系统构建的效率,因此,服务建模方法对服务系统的构建有着举足轻重的作用。服务建模需要将服务流程形式化、计算机化,以工作流形式描述是现今服务建模表示的主流方式之一。而既有严格的数学分析和形式化定义,又有直观、形象的图形表示的Petri网是非常适合的建模工具。本文提出了一种基于Petri网的服务建模方法PN-SM,完成了服务系统向Petri网的映射,给出了对服务模型和服务组合逻辑关系的形式化描述,并对该建模方法进行了实例研究。首先对国内外服务建模研究成果进行了总结,并分析了主要存在的问题;其次对PN-SM服务建模方法进行了总体设计:根据SOMA服务建模方法论总结给出PN-SM面向服务的建模方法体系结构和覆盖服务生命周期的六个建模步骤,并给出了PN-SM的非分层和分层服务模型结构;重点研究了PN-SM的服务组合关系描述:建立服务系统与着色Petri网的映射,给出服务系统和服务、服务组合的定义和服务组合操作的形式化描述;最后,利用总结提出的PN-SM服务建模方法,对研究实例——大学生成功素质教育评价系统进行IT环境、业务流程分析,并对其进行服务建模,得出目标系统对应的图示化服务模型。本文提出的PN-SM是对面向服务建模方法的补充。该方法基于着色Petri网,能够对服务流程做正确描述,支持图形化表示,直观易用;对服务组合关系的形式化描述,能较为精确的刻画服务模型;服务模型结构清晰,支持层次化描述,可以满足实际开发过程中不同设计人员负责相应层次结构设计的实际需求。PN-SM建模方法独立于具体的描述语言和实现技术,有较广泛的应用范围,对服务系统的开发有一定的指导作用。

全文目录


摘要  4-5
Abstract  5-9
第一章 绪论  9-12
  1.1 研究背景  9
  1.2 国内外研究现状  9-10
  1.3 论文的研究目标及研究意义  10-11
  1.4 论文的研究内容及结构  11-12
第二章 相关理论基础  12-20
  2.1 面向服务的体系架构SOA  12-15
    2.1.1 SOA 概念  12
    2.1.2 SOA 的服务  12-13
    2.1.3 SOA 的参考架构  13-14
    2.1.4 SOA 的生命周期  14-15
  2.2 服务建模方法论SOMA  15-17
  2.3 Petri 网理论基础  17-20
    2.3.1 Petri 网简介  17
    2.3.2 Petri 网的静态结构  17-18
    2.3.3 Petri 网的动态特征  18-20
第三章 PN-SM 建模过程与模型基本结构  20-31
  3.1 PN-SM 服务建模的基本思路与过程  20-24
    3.1.1 PN-SM 建模方法基本思路  20-21
    3.1.2 PN-SM 服务建模过程  21-24
  3.2 PN-SM 服务模型结构  24-31
    3.2.1 服务分类及设计原则  24-26
    3.2.2 PN-SM 模型元素说明  26-27
    3.2.3 PN-SM 结构模型  27-28
    3.2.4 PN-SM 层次结构模型  28-29
    3.2.5 PN-SM 模型特点  29-31
第四章 PN-SM 服务组合关系描述  31-36
  4.1 服务系统与Petri 网的映射  31-33
    4.1.1 服务系统  31-32
    4.1.2 服务的定义  32-33
  4.2 基本服务组合操作描述  33-36
    4.2.1 顺序服务操作模式  33-34
    4.2.2 迭代服务操作模式  34
    4.2.3 并发服务操作模式  34-35
    4.2.4 选择服务操作模式  35-36
第五章 PN-SM 服务建模案例研究  36-57
  5.1 目标系统介绍  36-38
  5.2 目标系统服务需求分析  38-46
  5.3 目标系统的PN-SM 服务建模  46-57
    5.3.1 服务发现  46-49
    5.3.2 服务规约  49-52
    5.3.3 服务实现  52-57
第六章 总结与展望  57-58
参考文献  58-60
致谢  60-61
在学期间公开发表论文及著作情况  61

相似论文

  1. 移动计算环境下检查点技术研究与Petri网建模,TP301.1
  2. 面向业务过程的服务动态组合方法研究,TP393.09
  3. 基于逻辑Petri网的Web服务组合建模与分析,TP393.09
  4. 一种基于领域本体的语义Web服务匹配和组合方法,TP393.09
  5. 物联网业务模型描述语言的研究与实现,TN929.5
  6. 工作流动态变更处理技术,TP311.52
  7. 基于QoS感知的Web服务组合,TP393.09
  8. 基于Web Service在线考试管理系统的研究与实现,TP311.52
  9. 基于本体的可信Web服务组合研究,TP393.09
  10. 面向可穿戴生理检测的无线传感器网络QoS路由研究,TP212.9
  11. 基于jBPM的防空指控流程管理系统研究,TP311.52
  12. 基于着色Petri网的工作流引擎研究,TP311.52
  13. 基于Petri网建模的作业车间调度智能算法研究,TP18
  14. RFID复杂事件处理及形成世系追溯研究,TP391.44
  15. 一种基于用户偏好的服务组合可信模型的研究,TP393.09
  16. 基于高级Petri网的工作流系统建模与性能评价,TP311.52
  17. 基于Agent的校友管理信息系统的设计与实现,TP311.52
  18. 基于有色PETRI网的工程项目物流管理系统的设计与实现,TP311.52
  19. 基于PETRI网多项目计划关键链技术的研究,F284
  20. 涡轮机的数字化装配工艺规划与仿真,TP391.7

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com