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

物联网业务模型描述语言的研究与实现

作　者: 蒋林岑
导　师: 季一木
学　校: 南京邮电大学
专　业: 信息网络
关键词: 物联网 业务模型 Petri网 XML
分类号: TN929.5
类　型: 硕士论文
年　份: 2012年
下　载: 64次
引　用: 0次
阅　读: 论文下载
 

内容摘要


目前,物联网IOT(Internet of Things,物联网)的兴起被认为是继互联网之后的又一次技术革命热潮。由于物联网的应用领域非常广泛,所涉及的业务具有多样性、实时性和动态性等特点。因此,确定一个灵活的业务组合标准能够合理地对物联网业务组合过程建模,用于提高业务的利用率和可扩展性,从而满足物联网巨大的业务需求,具有重要的研究价值。本文通过对业务建模组合逻辑的复杂性、可理解性和描述能力等方面的分析与比较,选取基于Petri网(Petri-Net,Petri网)的建模方法作为研究重点。通过对物联网业务的共性进行抽象,提出了基于Petri网改进的EPN(Extended Petri-Net,可扩展Petri网)物联网业务模型,并对模型的路由结构进行时间压缩等效变换,推导出线性推理规则,证明了模型的可行性。在建立的EPN模型的基础上,本文基于XML(Extensible Markup Language,可扩展标记语言)提出了一种物联网业务模型描述语言EPNML(Extended Petri-Net Model Language,可扩展Petri网业务模型描述语言)。该语言结合物联网业务特性做出了合理的扩展,能够规范清晰地描述业务组合时的流程控制和逻辑结构,从而快速的生成新业务支持更广泛的业务应用。最后,以一个基于EPNML实现的物联网业务应用实例为原型系统,对EPNML进行了验证,表明该语言具有对满足物联网环境需求的业务的描述能力,其可行性强。

全文目录


摘要  4-5
Abstract  5-6
专用术语注释表  6-8
图表清单  8-12
第一章 绪论  12-15
  1.1 研究背景及意义  12-13
  1.2 研究内容  13-14
  1.3 本文的结构安排  14-15
第二章 物联网业务及业务建模语言  15-24
  2.1 物联网概要  15-18
    2.1.1 物联网基本概念  15-16
    2.1.2 物联网的体系结构及核心技术  16-18
  2.2 物联网业务概述  18-19
    2.2.1 物联网业务发展现状  18-19
    2.2.2 物联网业务特征  19
  2.3 业务模型语言相关理论  19-23
    2.3.1 WSFL  20-21
    2.3.2 BPML  21-22
    2.3.3 WS-BPEL  22-23
  2.4 本章小结  23-24
第三章 基于EPN 的物联网业务模型分析和设计  24-37
  3.1 业务模型的相关标准和理论  24-26
    3.1.1 元模型和模型的概念  24-25
    3.1.2 典型建模方法的分析  25-26
    3.1.3 Petri 网概述  26
  3.2 基于EPN 的物联网业务建模方法的分析和设计  26-35
    3.2.1 使用EPN 对物联网业务建模的原因  26-27
    3.2.2 EPN 模型的元素定义  27-30
    3.2.3 EPN 模型的路由结构  30-31
    3.2.4 EPN 模型时序评估的线性推理规则  31-35
  3.3 一个基于EPN 的物联网业务建模的实例  35-36
  3.4 本章小结  36-37
第四章 基于EPN 模型的物联网业务模型描述语言EPNML  37-51
  4.1 业务模型描述语言的提出  37-38
  4.2 XML 在物联网业务组合模型定义中的应用  38
  4.3 EPN 模型到EPNML 语言的转换机制  38-40
  4.4 EPNML 的语法和语义  40-50
    4.4.1 EPNML 操作对象的定义  41
    4.4.2 EPNML 条件对象的定义  41-42
    4.4.3 EPNML 逻辑控制的定义  42-50
  4.5 EPNML 描述物联网业务模型的可行性分析  50
  4.6 本章小结  50-51
第五章 基于EPNML 的物联网业务管理平台的设计与实现  51-64
  5.1 智慧校园系统平台应用场景  51-52
  5.2 物联网业务管理平台系统的设计  52-58
    5.2.1 需求分析和总体设计  52-53
    5.2.2 EPNML 语言功能模块设计  53-54
    5.2.3 EPNML 语言功能模块实现  54-58
  5.3 智慧校园平台的实现  58-63
    5.3.1 开发环境及相关技术  58
    5.3.2 智慧校园平台实例分析  58-59
    5.3.3 系统平台服务器端的设计与实现  59-62
    5.3.4 系统平台的客户端设计与实现  62-63
  5.4 本章小结  63-64
第六章 总结与展望  64-66
  6.1 研究工作总结  64
  6.2 未来展望  64-66
致谢  66-67
参考文献  67-70
附录 业务实例部分代码  70-73
攻读硕士学位期间的学术论文  73
攻读硕士学位期间获得的专利申请  73

相似论文

  1. 基因调控网络模型描述语言研究,Q78
  2. 支持XML数据查询的F&B索引结构的研究,TP311.13
  3. 移动计算环境下检查点技术研究与Petri网建模,TP301.1
  4. LXI自动测试系统集成技术研究,TP274
  5. 基于网络的服装款式设计系统的研究与实现,TS941.2
  6. 基于MDA的界面自动生成方法的研究,TP311.5
  7. 物联网在服装行业的应用性研究,TN929.5
  8. 物联网短距离无线定位算法研究,TN929.5
  9. C++代码缺陷检测系统的研究与设计,TP311.53
  10. 基于物联网的农产品安全监控系统与决策系统研究,TP277
  11. 基于节点智能交互的物联网数据处理研究,TP391.44
  12. 基于逻辑Petri网的Web服务组合建模与分析,TP393.09
  13. 基于Web的科学计算遗留应用共享技术研究,TP393.09
  14. 基于XML的异构数据交换系统的设计与实现,TP311.52
  15. 电子公文传输管理系统在电大系统中的设计与实现,TP311.52
  16. 基于Petri网的信息管理软件服务建模方法研究,TP311.52
  17. 物联网安全技术的研究与应用,TN929.5
  18. 概率XML数据上关键字检索算法的研究与实现,TP391.3
  19. BW物联网公司发展战略研究,F49
  20. 行政审批电子监察系统数据交换的设计与实现,TP311.52
  21. 概率XML文档中Holistic Twig查询处理算法的研究与实现,TP311.13

中图分类: > 工业技术 > 无线电电子学、电信技术 > 无线通信 > 移动通信
© 2012 www.xueweilunwen.com