《软件架构理论与实践》 —3 参考文献

参考文献

[1]　R N Taylor, N Medvidovic, E M Dashofy. Software architecture: foundations, theory, and practice[C]. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering-Volume 2. ACM, 2010: 471-472.

[2]　J L Archibald. The external structure: Experience with an automated module interconnection language[J]. Journal of Systems and Software, 1981, 2(2): 147-157.

[3]　T R Dean, D A Lamb. A theory model core for module interconnection languages[C]. Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research. IBM Press, 1994: 13.

[4]　T Khan, H Barthel, A Ebert, er al. Visualization and evolution of software architectures[C]. Proceedings of IRTG 1131 on Visualization of Large and Unstructured Data Sets Workshop 2011: 25-42.

[5]　A Telea, L Voinea, H Sassenburg. Visual tools for software architecture understanding: A stakeholder perspective[J]. IEEE software, 2010, 27(6): 46-53.

[6]　B Johnson, B Shneiderma. Tree-maps: A space-filling approach to the visualization of hierarchical information structures[C]. Proceedings of the IEEE Conference on Visualization, 1991 (IEEE Visualization'91), 1991: 284-291.

[7]　M Balzer, O Deussen, C Lewerentz. Voronoi treemaps for the visualization of software metrics[C]. Proceedings of the 2005 ACM symposium on Software visualization. ACM, 2005: 165-172.

[8]　S Ducasse, S Denier, F Balmas, et al. Visualization of Practices and Metrics[J]. Squale project Workpackage, 2009, 1.

[9]　W Wang, H Wang, G Dai, et al. Visualization of large hierarchical data by circle packing[C]. Proceedings of the SIGCHI conference on Human Factors in computing systems. ACM, 2006: 517-520.

[10]　T Barlow, P Neville. A comparison of 2-d visualizations of hierarchies[C]. Proceedings of the IEEE Symposium on Information Visualization 2001 (INFOVIS’01), 2001: 131-138.

[11]　W Randelshofer. Visualization of large tree structures [EB/OL]. http://www.randelshofer.ch/blog/2007/09/visualizing-large-tree-structures/. 2007-09-24.

[12]　J Stasko, E Zhang. Focus+Context Display and Navigation Techniques for Enhancing Radial, Space-Filling Hierarchy Visualizations[C]. Proceedings of the IEEE Symposium on Information Visualization. IEEE, 2000.

[13]　J Lamping, R Rao, P Pirolli. A focus+context technique based on hyperbolic geometry for visualizing large hierarchies[C]. Proceedings of the SIGCHI conference on Human factors in computing systems, CHI ’95, 1995:401-408.

[14]　T A Keahey , E L. Robertson. Nonlinear magnification fields[C]. Proceedings of the IEEE Symposium on Information Visualization. IEEE, 1997: 51-58.

[15]　S Duszynski, J Knodel, M Lindvall. Save: Software architecture visualization and evaluation[C]. Proceedings of the European Conference on Software Maintenance and Reengineering. IEEE, 2009: 323-324.

[16]　D Zeckzer. Visualizing software entities using a matrix layout[C]. Proceedings of the 5th international symposium on Software visualization. ACM, 2010: 207-208.

[17]　N Sangal, E Jordan, V Sinha, et al. Using dependency models to manage complex software architecture[C]. Proceedings of the 20th Annual ACM Sigplan Conference on Object-Oriented Programming, Systems, Languages, and Applications, Aan Diego, CA, USA, 2005, 40(10): 167-176.

[18]　D Holten. Hierarchical edge bundles: Visualization of adjacency relations in hierarchical data[J]. IEEE Transactions on visualization and computer graphics, 2006, 12(5): 741-748.

[19]　M Balzer, O Deussen. Level-of-detail visualization of clustered graph layouts[C]. Proceedings of the 2007 6th International Asia-Pacific Symposium on Visualization, 2007( APVIS'07). IEEE, 2007: 133-140.

[20]　M Termeer, C F J Lange, A Telea, et al. Visual exploration of combined architectural and metric information[C]. Proceedings of the 3rd IEEE International Workshop on Visualizing Software for Understanding and Analysis. IEEE, 2005.

[21]　H Byelas, A Telea. Visualizing metrics on areas of interest in software architecture diagrams[C]. Proceedings of the IEEE International Conference on Visualization Symposium, IEEE, 2009: 33-40.

[22]　S Alam, P Dugerdil. Evospaces visualization tool: Exploring software architecture in 3d[C]. Proceedings of the 14th IEEE Working Conference on Reverse Engineering, IEEE, 2007: 269-270.

[23]　M Balzer, O Deussen. Hierarchy based 3D visualization of large software structures[C]. Proceedings of the IEEE Conference on Visualization, IEEE, 2004.

[24]　Telea, D Auber. Code flows: Visualizing structural evolution of source code[C]. Proceedings of the IEEE Conference on Computer Graphics Forum. Oxford, UK: Blackwell Publishing Ltd, 2008, 27(3): 831-838.

[25]　Collberg, S Kobourov, J Nagra, et al. A system for graph-based visualization of the evolution of software[C]. Proceedings of the 2003 ACM symposium on Software visualization. ACM, 2003.

[26]　M Lanza. The evolution matrix: Recovering software evolution using software visualization techniques[C]. Proceedings of the 4th international workshop on principles of software evolution. ACM, 2001: 37-42.

[27]　G Langelier, H Sahraoui, P Poulin. Exploring the evolution of software quality with animated visualization[C]. Proceedings of the IEEE Conference on Visual Languages and Human-Centric Computing, IEEE, 2008: 13-20.

[28]　M Pinzger, H Gall, M Fischer, et al. Visualizing multiple evolution metrics[C]. Proceedings of the 2005 ACM symposium on Software visualization. ACM, 2005: 67-75.

[29]　Steven Hovater. 在您的开发项目中使用 IBM Rational Software Modeler 和IBM Rational RequisitePro 可视化跟踪能力[EB/OL]. http://www.uml.org.cn/requirementproject/200805132.asp, 2008-05-13.

[30]　P Krunchten. Architectural blueprints—The “4+1” view model of software architecture[J]. Tutorial Proceedings of Tri-Ada, 1995, 95: 540-555.

[31]　N Medvidovic, D S Rosenblum, D F Redmiles, et al. Modeling software architectures in the Unified Modeling Language[J]. ACM Transactions on Software Engineering and Methodology (TOSEM), 2002, 11(1): 2-57.

[32]　G P Gu, D C Petriu. From UML to LQN by XML algebra-based model transformations[C]. Proceedings of the 5th international workshop on Software and performance. ACM, 2005: 99-110.

[33]　H Gomaa, D A Menascé. Design and performance modeling of component interconnection patterns for distributed software architectures[C]. Proceedings of the 2nd international workshop on Software and performance. ACM, 2000: 117-126.

[34]　S Balsamo, M Marzolla. Performance evaluation of UML software architectures with multiclass Queueing Network models[C]. Proceedings of the 5th international workshop on Software and performance. ACM, 2005: 37-42.

[35]　D'Ambrogio. A model transformation framework for the automated building of performance models from UML models[C]. Proceedings of the 5th international workshop on Software and performance. ACM, 2005: 75-86.

[36]　D C Petriu, X Wang. From UML descriptions of high-level software architectures to LQN performance models[C]. Proceedings of the IEEE Conference on International Workshop on Applications of Graph Transformations with Industrial Relevance. Springer, Berlin, Heidelberg, 1999: 47-63.

[37]　D C Petriu, H Shen. Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications[C]. Proceedings of the International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Springer, Berlin, Heidelberg, 2002: 159-177.

[38]　李传煌, 王伟明, 施银燕. 一种UML软件架构性能预测方法及其自动化研究[J]. 软件学报, 2013(7): 1512-1528.

[39]　D A Menasce, H Gomaa. A method for design and performance modeling of client/server systems[J]. IEEE transactions on software engineering, 2000, 26(11): 1066-1085.

[40]　G P Gu, D C Petriu. XSLT transformation from UML models to LQN performance models[C]. Proceedings of the 3rd international workshop on Software and performance. ACM, 2002: 227-234.

[41]　M Woodside, D C Petriu, D B Petriu, et al. Performance by unified model analysis (PUMA)[C]. Proceedings of the 5th international workshop on Software and performance. ACM, 2005: 1-12.

[42]　L G Williams, C U Smith. Performance solutions: a practical guide to creating responsive, scalable software[M]. Addison Wesley Longman, 2002.

[43]　V Cortellessa, R Mirandola. Deriving a queueing network based performance model from UML diagrams[C]. Proceedings of the 2nd international workshop on Software and performance. New York, NY, USA: ACM, 2000: 58-70.

[44]　A Alsaadi. A performance analysis approach based on the UML class diagram[J]. ACM Sigsoft Software Engineering Notes, 2004, 29(1): 254-260.

[45]　C U Smith, C M Lladó, V Cortellessa, et al. From UML models to software performance results: An SPE process based on XML interchange formats[C]. Proceedings of the 5th international workshop on Software and performance. New York, NY, USA: ACM, 2005: 87-98.

[46]　黄玉麟, 赵瑞莲. 一种基于顺序图的软件性能分析方法[J]. 北京化工大学学报(自然科学版), 2007, 34(s1): 89-92.

[47]　M Shaw, D Garlan. Software Architecture: Perspectives on an Emerging Discipline[J]. Prentice Hall, 1996, 24(1): 129-132.

[48]　郭广义, 李代平, 梅小虎. Z语言与软件体系结构风格的形式化[J]. 计算机技术与发展, 2009, 19(5): 140-142.

[49]　段玉春, 朱小艳. 软件体系结构动态演化的Z描述语言扩展方法[J]. 兰州理工大学学报, 2013, 39(1): 88-91.

[50]　于振华, 蔡远利. 基于面向对象Petri网的软件体系结构描述语言[J]. 西安交通大学学报, 2004, 38(12): 1236-1239.

[51]　沈军. 软件架构[M]. 南京: 东南大学出版社, 2012: 182-322.

[52]　吴小兰, 王忠群, 刘涛, 等. 基于Petri网的软件架构演化波及效应分析[J]. 计算机技术与发展, 2007, 17(12): 99-102.

[53]　王映辉, 张世琨, 刘瑜, 等. 基于可达矩阵的软件体系结构演化波及效应分析[J]. 软件学报, 2004, 15(8): 1107-1115.

[54]　谢仲文，李彤，代飞，等. 基于Petri网的面向动态演化的软件体系结构建模[J]. 计算机应用与软件, 2012(10): 36-39.

[55]　J R Abrial, M K O Lee, D S Neilson, et al. The B-method[C]. Proceedings of the International Symposium of VDM Europe. Berlin, Heidelberg: Springer, 1991: 398-405.

[56]　邹盛荣, 郑国梁. B语言和方法与Z、VDM的比较[J]. 计算机科学, 2002, 29(10): 136-138.

[57]　杨丽丽. 基于B Method的软件建模方法研究[D]. 长春: 东北师范大学, 2012.

[58]　周欣, 魏生民. 基于B语言的UML形式化方法[J]. 计算机工程, 2004, 30(12): 62-64.

[59]　柳西玲. 一种大型系统软件开发方法VDM介绍[J]. 计算机科学, 1986, 13(4): 21-27.

[60]　王新苏, 罗文坚, 毛晨晓, 等. 基于RUP和VDM++的软件形式化开发方法的研究[J]. 计算机工程与应用, 2005, 41(26): 100-103.

[61]　D Garlan. Formal modeling and analysis of software architecture: Components, connectors, and events[C]. Proceedings of the International School on Formal Methods for the Design of Computer, Communication and Software Systems. Berlin, Heidelberg: Springer, 2003: 1-24.

[62]　张昂. 基于CSP的软件演化过程描述及研究[D]. 昆明: 云南大学, 2010.

[63]　祝义, 张永常, 张广泉, 等. UML与Z结合的建模过程及其应用[J]. 计算机科学, 2007, 34(5): 273-276.

[64]　韦银星, 张申生, 曹健. UML类图的形式化及分析[J]. 计算机工程与应用, 2002, 38(10): 5-7.

[65]　张文静. 基于UML和形式化方法的软件体系结构研究与应用[D]. 保定：华北电力大学, 2006.

[66]　李桂, 苏一丹. UML状态图的形式化[J]. 广西大学学报(自然科学版), 2003, 28(4): 318-321.

[67]　J Rumbaugh, I Jacobson, G Booch. Unified Modeling Language Reference Manual[M]. Addison-Wesley Professional, 2010.

[68]　李景峰, 李琰, 陈平. UML序列图的Z形式规范[J]. 西安电子科技大学学报(自然科学版）, 2002, 29(6): 772-776.

[69]　J D’Anjou, S Fairbrother, D Kehn, et al. The Java developer's guide to Eclipse[M]. Addison-Wesley Professional, 2005.

[70]　B A Wichmann , A A Canning , D W R Marsh , et al. Industrial perspective on static analysis[J]. Software Engineering Journal, 2002, 10(2): 69-75.

[71]　N Elleuch, A Khalfallah, S B Ahmed. Software Architecture in Model Driven Architecture[C]. Proceedings of the International Symposium on Computational Intelligence & Intelligent Informatics. Agadir, Morocco: IEEE, 2007.

[72]　张天, 张岩, 于笑丰, 等. 基于MDA的设计模式建模与模型转换[J]. 软件学报, 2008, 19(9): 2203-2217.

[73]　Y Singh, M Sood. Models and Transformations in MDA[C]. Proceedings of the First International Conference on Computational Intelligence. Indore, India: IEEE Computer Society, 2009: 253-258.

[74]　张德芬, 李师贤, 古思山. MDA中的模型转换技术综述[J]. 计算机科学, 2006, 33(10):228-230.

[75]　梁正平, 毋国庆, 肖敬, 等. 基于模型驱动的软件体系结构[J]. 计算机应用研究, 2002, 19(11): 44-46.

[76]　J Poole, D Chang, D Tolbert, et al. Common warehouse metamodel[M]. John Wiley & Sons, 2002.

[77]　H St?rrle. Models of software architecture[J]. Design and Analysis with UML and Petri-nets, Ludwig-Maximilians-Universit at München, 2000.

[78]　Janvlug Unified Modeling Language[EB/OL]. http://en.wikipedia.org/wiki/Unified_Modeling_Language,2018-10-24.

[79]　A Evans , R France, K Lano, et al. Meta-Modelling Semantics of UML[M]. Springer US, 1999.

[80]　A Idani , Y Ledru. Dynamic graphical UML views from formal B specifications[J]. Information and Software Technology, 2006, 48(3): 154-169.

[81]　W Heijstek, T Kuhne, M R V Chaudron. Experimental analysis of textual and graphical representations for software architecture design[C]. Proceedings of the Experimental Software Engineering and Measurement (ESEM). Banff, AB, Ca***: IEEE, 2011: 167-176.

[82]　D Soni, R L Nord, C Hofmeister. Software Architecture in Industrial Applications[C]. Proceedings of the International Conference on Software Engineering. Eattle, Washington, USA: IEEE, 1995: 131-138.