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

SoS中框架方法的形式化研究

作　者: 黄力
导　师: 宗平
学　校: 南京邮电大学
专　业: 计算机应用技术
关键词: 系统体系框架方法形式化近世代数半群
分类号: TP393.09
类　型: 硕士论文
年　份: 2012年
下　载: 37次
引　用: 0次
阅　读: 论文下载

内容摘要

近年来,随着物联网的飞速发展,传感网,云计算,软件服务化这些物联网核心技术的应用越来越广泛,许多大型应用软件系统的功能越来越复杂,规模越来越大,系统之间的关联也越来越多样化。在这种形势下,包括物联网应用在内的各种应用软件系统正在由封闭的单一系统向开放的系统体系(SoS)发展,本文中所介绍的系统体系理论正是为了研究上述问题而引入的。本文的工作主要是针对系统体系的形式化研究而展开的,这一工作可以使我们更加深入地研究系统体系的组成成分在其生命周期各个阶段中的特征、作用和功能,以便指导系统体系实现其不断演变的业务目标。本文在讨论系统体系的相关基础理论与框架方法的基础上,针对大型应用软件系统建立了三个功能框架。利用近世代数中的群论知识对每个框架分别进行抽象,将框架本身看作集合,框架内的单元看作集合内的元素,而单元间的关联关系则抽象为集合内的运算,由此可以将框架形式化为一个半群。同时给出了框架间关联关系的抽象描述方法,在框架间建立映射,形成半群同态。最后本文以基于NGOSS下的CRM应用系统为例,给出了具体的应用实例,验证了本文研究工作的正确性和有效性。

全文目录

摘要  4-5
ABSTRACT  5-8
第一章绪论  8-14
  1.1 研究背景  8-9
  1.2 研究现状  9-12
  1.3 本文的主要工作与组织结构  12-14
第二章系统体系概述  14-20
  2.1 系统体系定义与特征  14-16
    2.1.1 系统体系的概念  14-15
    2.1.2 系统体系分类  15-16
  2.2 互操作  16
  2.3 业务需求的不确定性  16-17
  2.4 系统体系与传统系统的比较  17-19
  2.5 本章小结  19-20
第三章系统体系中的框架方法  20-29
  3.1 应用系统的系统抽象  20-22
  3.2 框架方法概述  22-24
    3.2.1 框架的定义及特征  22-23
    3.2.2 框架的制定方法  23
    3.2.3 框架的优势  23-24
  3.3 系统体系的功能框架  24-28
    3.3.1 对软件系统的基本要求  24-26
    3.3.2 基于大型应用软件系统的功能框架  26-27
    3.3.3 系统体系中框架的作用  27-28
  3.4 本章小结  28-29
第四章 SOS 中框架方法的形式化描述  29-46
  4.1 形式化方法  29-31
    4.1.1 系统体系功能框架形式化描述的必要性  29-30
    4.1.2 抽象代数基本理论  30-31
  4.2 应用框架的形式化描述  31-36
    4.2.1 应用框架的构成  31
    4.2.2 应用框架的形式化描述  31-35
    4.2.3 服务关系的性质  35-36
  4.3 业务框架的形式化描述  36-38
    4.3.1 业务框架的构成  36
    4.3.2 业务框架的形式化描述  36-38
  4.4 信息框架的形式化描述  38-41
    4.4.1 信息框架的构成  38-39
    4.4.2 信息框架的形式化描述  39-41
  4.5 框架间的映射关系  41-45
    4.5.1 应用框架与业务框架的映射关系  41-42
    4.5.2 应用框架与信息框架的映射关系  42-44
    4.5.3 业务框架与信息框架的映射关系  44-45
  4.6 本章小结  45-46
第五章基于NGOSS 系统的形式化应用  46-61
  5.1 NGOSS 框架  46-51
    5.1.1 NGOSS 框架与系统体系功能框架的映射  46-50
    5.1.2 CRM 系统  50-51
  5.2 CRM 系统应用框架的形式化描述  51-54
    5.2.1 CRM 系统的应用框架构成  51-52
    5.2.2 用于验证的应用单元  52-54
  5.3 CRM 系统业务框架的形式化描述  54-56
    5.3.1 CRM 系统的业务框架构成  54-55
    5.3.2 用于验证的业务单元  55-56
  5.4 CRM 系统信息框架的形式化描述  56-58
    5.4.1 CRM 系统的信息框架构成  56
    5.4.2 用于验证的信息单元  56-58
  5.5 框架间的映射关系形式化描述  58-60
  5.6 本章小结  60-61
第六章总结与展望  61-63
  6.1 全文总结  61
  6.2 展望  61-63
致谢  63-64
攻读硕士学位期间发表的论文  64-65
缩略词  65-66
图表清单  66-68
参考文献  68-70

SoS中框架方法的形式化研究

内容摘要

全文目录

相似论文