期刊文献+

支持运行监控的可信软件体系结构设计方法 被引量:13

Toward a Software Architectural Design Approach for Trusted Software Based on Monitoring
下载PDF
导出
摘要 近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作. Nowadays,the trustworthiness has become the noticed focus in qualities of software,which emphasizes analysis,measurement,corresponding applications and support environments for the trustworthiness quality.Injecting monitoring capacity into software can be one of the approaches to improve the credibility of software.However,the current work primarily concentrates on the programming and coding level,lacking a systematic architectural design approach to guide the whole design and analysis process for the trusted software.By introducing aspect-oriented architectural design approach and relevant techniques into the design and analysis of software,this paper tries to offer an effective and systematic solution for the trusted software system.Based on trusted software constitution model with the capability of monitoring,the proposed approach utilizes a special kind of aspect-oriented architecture description language AC2-ADL to depict such software system,contributing to comprehension,evolution and reusability of software architectural design decisions.Summarily,the whole designing process of the approach is discussed systematically through a case study in e-business domain.
出处 《计算机学报》 EI CSCD 北大核心 2010年第12期2321-2334,共14页 Chinese Journal of Computers
基金 国家"八六三"高技术研究发展计划项目基金(2003AA142O1O 2006AA01Z168) 国家自然科学基金(60773006)资助
关键词 面向侧面的体系结构描述语言 面向侧面的软件开发方法 支持运行监控的可信软件构造模型 软件工程 可信软件开发 aspect-oriented architecture description language aspect-oriented software architecture design trusted software constitution model based on monitoring software engineering trusted software development
  • 相关文献

参考文献22

  • 1陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量:115
  • 2Guo Chang-Guo,Wang Tao.A method and framework for fetching softeware runtime state//Proceedings of the 2010 International Conference on Computer,In:Mechatronics,Control and Electronic Engineering (CMCE 2010).Changchun,2010.
  • 3Musa John D,Anthony Iannino,Kazuhira Okumoto.Software Reliability Measurement,Prediction,Application.New York:McGraw-Hill Book Company,1987(in Chinese).
  • 4王怀民,唐扬斌,尹刚,李磊.互联网软件的可信机理[J].中国科学(E辑),2006,36(10):1156-1169. 被引量:59
  • 5Garlan D,Shaw M.An introduction to software architecture//Ambriola V,Tortota G eds.Advances in Software Engineering and Knowledge Engineering,Volume 1.New Jersey:World Scientific Publishing,Co.,1993.
  • 6Kiczales G,Lamping J,Mendhekar A et al.Aspect-oriented programming//Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP 1997).Lecture Notes in Computer Science.Springer-Verlag,1997:220-242.
  • 7Araujo J,Baniassad E,Clements P,Moreira A,Tekinerdogan B.Early aspects:The current landscape.Technical Report:CMU/SEI-2005-TN-xxx,Lancaster University,2005.
  • 8Garcia A,Kulesza U,Lucena C.Aspectizing multi-agent systems:From architecture to implementation//Proceedings of the Engineering for Multi-Agent Systems III,Research Issues and Practical Applications.Lecture Notes in Computer Science 3390.Springer-Verlag,2005:21-143.
  • 9Pinto M,Fuentes L,Troya J M.DAOP-ADL:An architecture description language for dynamic component and aspect-based development//Proceedings of the International Conference on GPCE.Erfurt,Germany,2003:118-137.
  • 10Batista T,Chavez C,Garcia A et al.Aspectual connectors:Supporting the seamless integration of aspects and ADLs//Proceedings of the ACM SIGSoft XX Brazilian Symposium on Software Engineering (SBES'06).Florianopolis,Brazil,2006.

二级参考文献111

  • 1林闯,彭雪海.可信网络研究[J].计算机学报,2005,28(5):751-758. 被引量:253
  • 2闵应骅.容错计算二十五年[J].计算机学报,1995,18(12):930-943. 被引量:16
  • 3段玉聪,顾毓清.多维关注分离的模型驱动过程框架设计方法[J].软件学报,2006,17(8):1707-1716. 被引量:6
  • 4Kiczales G, Lamping J , Mendhekar A, et al. Aspect - oriented Programming//Proc. of 11th European Conference on Object-oriented Programming ( ECOOP1997 ). New York: Springer-Verlag, 1997 : 220-242
  • 5Early Aspects Web Site. http://early-aspeets. net/
  • 6Dijkstra E W. A Discipline of Programming. Englewood Cliffs, NJ : Prentice Hall, 1976
  • 7AOSD Web Site. http://www. aosd. net
  • 8Tarr P, Ossher H, Harrison W, et al. N Degrees of Separation: Multi-dimensional Separation of Coneerns//Proc. of the 21^st Int'l Conf. onSoftware Engineering (ICSE1999). Washington: IEEE, 1999:107-119
  • 9Chung L, Nixon B A, Yu E, et al. Non-functional Requirements in Software Engineering. Norwell: Kluwer Academic Publishers, 2000
  • 10Rashid A, Moreira A, Araujo J. Modularisation and Composition of Aspectual Requirements//Proc. of the 2^nd on Aspect-oriented Software Development. New York: ACM, 2003:11-20

共引文献384

同被引文献82

引证文献13

二级引证文献26

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部