System of systems method and formal function decomposition for software systems

LU Han-hua; ZHANG Shun-yi; WANG Ya-shi; MIN Li-juan

您当前的位置：

首页 >

文章列表页 >

System of systems method and formal function decomposition for software systems

更新时间：2024-10-14

- System of systems method and formal function decomposition for software systems
- Vol. 31, Issue 12, Pages: 131-139(2010)
- 作者机构：
  
  南京邮电大学信息网络技术研究所
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311.52
- Published：2010
- 稿件说明：
移动端阅览
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：

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

Views

1009

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Byzantine fault-tolerant distributed access control mechanism for the Internet of things

Cryptographic service optimization scheduling algorithm for collaborative jobs in cloud environment

Zero trust management of data flow between IoT edge nodes based on SDN

M-RSF: a multilevel feedback queue task scheduling mechanism for Unikernel

Scheduling framework based on reinforcement learning in online-offline colocated cloud environment

Related Author

CHAI Rong

AI Liping

YANG Ningyu

LIANG Chengchao

CAO Xiaogang

LI Fenghua

GENG Kui

LI Zifu

Related Institution

School of Communications and Information Engineering, Chongqing University of Posts and Telecommunications

Chongqing Key Laboratory of Mobile Communication Technology

Institute of Information Engineering, Chinese Academy of Sciences

School of Cyber Security, University of Chinese Academy of Sciences

Key Laboratory of Cyberspace Security Defense

AI问答

⁰