系统体系方法与软件系统功能形式分解

卢捍华; 张顺颐; 王亚石; 闵丽娟

您当前的位置：

首页 >

文章列表页 >

系统体系方法与软件系统功能形式分解

短文 | 更新时间：2024-10-14

- 系统体系方法与软件系统功能形式分解
- System of systems method and formal function decomposition for software systems
- 通信学报 2010年31卷第12期页码：131-139
- 作者机构：
  
  南京邮电大学信息网络技术研究所
- 作者简介：
- 基金信息：
  
  国家科技支撑计划基金资助项目(2007BAH17B04);国家高技术研究发展计划(“863”计划)基金资助项目(2006AA01Z232、2009AA01Z212)
- DOI：
  中图分类号： TP311.52
- 纸质出版日期：2010
- 稿件说明：
移动端阅览
卢捍华, 张顺颐, 王亚石, 等. 系统体系方法与软件系统功能形式分解[J]. 通信学报, 2010,31(12):131-139.

LU Han-hua, ZHANG Shun-yi, WANG Ya-shi, et al. System of systems method and formal function decomposition for software systems[J]. 2010, 31(12): 131-139.
卢捍华, 张顺颐, 王亚石, 等. 系统体系方法与软件系统功能形式分解[J]. 通信学报, 2010,31(12):131-139. DOI：

LU Han-hua, ZHANG Shun-yi, WANG Ya-shi, et al. System of systems method and formal function decomposition for software systems[J]. 2010, 31(12): 131-139. DOI：

摘要

从系统体系理论和方法出发

研究基于物联网、云计算的开放应用软件系统功能分解的描述和评价方法

提出用功能框架方法对系统从抽象到具体进行描述对于系统体系的重要性。提出从抽象出发的适应软件系统体系建立的功能分解方法和功能评估方法

并说明这些方法在系统开发以及建立系统稳定中间形式中的作用

这有助于在物联网、云计算和SOA等开放环境下的大型应用软件系统的建设、部署和维护过程的改进。

Abstract

Based on the theory and method of system of system（SoS）

the research work for the formal functional de-composition and estimation of large scale and open software systems was described

which were often emerged in IOT（internet of things） and cloud computing environments.It was proposed that abstraction description was necessary for the SoS properties of a large scale and open software system.Based on system abstract

formal methods for functional decomposition and estimation were described.The applications of the methods in system development and stable inter-mediate form building were discussed.The methods proposed here are helpful for improving the processes of implemen-tation

deployment and maintenance of large scale and open software systems in IOT and cloud computing environments.

关键词

Keywords

references

浏览量

404

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

云环境下协同作业的密码服务优化调度算法

基于SDN的物联网边缘节点间数据流零信任管理

M-RSF：面向Unikernel的一种多级反馈队列任务调度机制

基于强化学习的在线离线混部云环境下的调度框架

面向轻量级物联网设备的高效匿名身份认证协议设计