参考文献

[1] 苗东升．系统科学精要．北京：中国人民大学出版社，2016.

[2] 苗东升．复杂性科学研究．北京：中国书籍出版社，2012.

[3] 王众托．系统工程引论（第四版）．北京：电子工业出版社，2012.

[4] 张维明，刘忠，阳东升，等．体系工程理论与方法．北京：科学出版社，2010.

[5] 赵立军，任昊利，张晓清．军用装备体系结构论证方法．北京：国防工业出版社，2010.

[6] 杨克巍，赵青松，谭跃进，等．体系需求工程技术与方法．北京：科学出版社，2011.

[7] 阳东升，张维明，刘忠，等．体系工程原理与技术．北京：国防工业出版社，2013.

[8] 王映辉，张世琨，刘瑜，等．基于可达矩阵的软件体系结构演化波及效应分析．软件学报，2004，15（8）：1107-1115.

[9] 梅宏，陈锋，冯耀东，等．ABC：基于体系结构、面向构件的软件开发方法．软件学报，2003，14（4）：722-732.

[10] 王映辉，王立福．软件体系结构演化模型．电子学报，2005，33（8）：1381-1386.

[11] 宋巍．Web服务组合动态演化技术研究．南京：南京大学，2010.

[12] Baldan P, Corradini A, Ehrig H, et al. Compositional semantics for open Petri nets based on deterministic process. Math Struct Comput Sci., 2005, 15(1):1-35.

[13] 郭玉彬，杜玉越，奚建清．Web服务组合的有色网模型及运算性质．计算机学报，2006，29（7）：1067-1075.

[14] 周航，黄志球，张广泉，等．基于PTCPN的网构软件建模与分析．软件学报，2010，21（6）：1254-1266.

[15] 李景霞，闫春钢．一种基于扩展颜色Petri网的Web服务组合验证机制．计算机科学，2009，36（10）：146-149.

[16] Van der Aalst WMP. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 1998, 8(1):21-66.

[17] DeRemer F, Kron H H. Programming-in-the-large versus Programming-in-the-small[J]. IEEE Transactions on Software Engineering, 1976, 2(2):80-86.

[18] Gupta D, Jalote P, Barua G. A formal framework for on-line software version change. IEEE Transactions on Software Engineering, 1996, 22(2):120-131.