复杂软件系统的成长性构造与适应性演化

被引：28

作者：

王怀民 ^{[1
]}

吴文峻 ^{[2
]}

毛新军 ^{[1
]}

丁博 ^{[1
]}

郭长国 ^{[3
]}

李未 ^{[2
]}

机构：

[1] 国防科学技术大学计算机学院

[2] 北京航空航天大学计算机学院

[3] 中国电子设备系统工程公司

来源：

中国科学:信息科学 | 2014年 / 44卷 / 06期

关键词：

复杂软件系统; 成长性构造; 适应性演化; 软件开发; 软件演化;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

随着信息网络技术的渗透性发展,复杂软件系统正在成为一种泛在的新型软件形态.此类软件系统通常由相当数量的局部自治的软件系统相互耦合关联而成,具有"系统之系统"、"信息—物理"融合系统和"社会—技术"交融系统的特点,表现出成员异质、边界开放、行为涌现、持续演化等一系列新的性质.这些特征打破了传统基于"还原论"思想的软件工程理论和技术所基于的基本假设,使其难以适用于复杂软件系统的构建.本文分析复杂软件系统的内涵、形成特征和基本性质,深入讨论复杂软件系统在构造和演化环节所面临的挑战,借鉴互联网以及生命系统、社会系统和经济系统等复杂系统的形成和演进模式,提出复杂软件系统的"成长性构造"和"适应性演化"法则,阐述这两条法则所涉及的主要科学问题和关键支撑技术.本文试图为复杂软件系统的构建和发展提供新的方法学和架构层面的支持.

引用

页码：743 / 761

页数：19

共 19 条

[1] 基于网络的可信软件大规模协同开发与演化 [J].

王怀民 ;

尹刚 ;

谢冰 ;

刘旭东 ;

魏峻 ;

刘江宁 .

中国科学:信息科学, 2014, 44 (01) :1-19

[2] 构造具备自适应能力的软件 [J].

丁博 ;

王怀民 ;

史殿习 .

软件学报, 2013, 24 (09) :1981-2000

[3] 监控使能的分布式软件系统构造方法 [J].

刘东红 ;

郭长国 ;

王怀民 ;

王涛 .

软件学报, 2011, 22 (11) :2610-2624

[4] 软件服务的在线演化 [J].

王怀民 ;

史佩昌 ;

丁博 ;

尹刚 ;

史殿习 .

计算机学报, 2011, 34 (02) :318-328

[5]

A software architecture centric engineering approach for Internetware[J]. MEI Hong, HUANG Gang, ZHAO Haiyan ＆ JIAO Wenpin School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China.Science in China（Series F:Information Sciences）. 2006(06)

[6]

An Open Logic System[J]. 李未.Science in China,Ser.A. 1993(03)

[7] 一个科学新领域——开放的复杂巨系统及其方法论 [J].

钱学森 ;

于景元 ;

戴汝为 .

自然杂志, 1990, (01) :3-10+64

[8] Large-scale complex IT systems [J].

Sommerville, Ian ;

Cliff, Dave ;

Calinescu, Radu ;

Keen, Justin ;

Kelly, Tim ;

Kwiatkowska, Marta ;

McDermid, John ;

Paige, Richard .

Communications of the ACM, 2012, 55 (07) :71-77

[9] Ensemble of Bayesian predictors and decision trees for proactive failure management in cloud computing systems [J].

Guan, Qiang ;

Zhang, Ziming ;

Fu, Song .

Journal of Communications, 2012, 7 (01) :52-61

[10]

Introduction to normative multiagent systems[J] . Guido Boella,Leendert Torre,Harko Verhagen.Computational and Mathematical Organization Theory . 2006 (2)

← 1 2 →