计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
11期
191-196
,共6页
目标模型%运行时监控%自适应%重配置
目標模型%運行時鑑控%自適應%重配置
목표모형%운행시감공%자괄응%중배치
Goal model%Runtime monitoring%Self-adaptation%Reconfiguration
运行时监控技术作为实现自适应软件的一个重要研究内容,现已成为当前很多软件工程方法中用来提高软件产品可信性的一个重要设计原则.针对现有的很多软件监控方法常常将系统的监控逻辑与业务功能逻辑混杂在一起的问题,提出了一个需求模型驱动的、自适应重配置软件的运行时监控方法.以软件系统的目标模型及属性规约为基础,介绍了如何构建系统的监控模型、生成和编织监控代码,以及进行运行时诊断分析和自适应重配置调整.该方法通过采用独立于应用程序的外部单元来实现对运行时系统的监控、诊断和自适应重配置处理.这更利于系统的维护和管理,也更符合软件复用的思想.
運行時鑑控技術作為實現自適應軟件的一箇重要研究內容,現已成為噹前很多軟件工程方法中用來提高軟件產品可信性的一箇重要設計原則.針對現有的很多軟件鑑控方法常常將繫統的鑑控邏輯與業務功能邏輯混雜在一起的問題,提齣瞭一箇需求模型驅動的、自適應重配置軟件的運行時鑑控方法.以軟件繫統的目標模型及屬性規約為基礎,介紹瞭如何構建繫統的鑑控模型、生成和編織鑑控代碼,以及進行運行時診斷分析和自適應重配置調整.該方法通過採用獨立于應用程序的外部單元來實現對運行時繫統的鑑控、診斷和自適應重配置處理.這更利于繫統的維護和管理,也更符閤軟件複用的思想.
운행시감공기술작위실현자괄응연건적일개중요연구내용,현이성위당전흔다연건공정방법중용래제고연건산품가신성적일개중요설계원칙.침대현유적흔다연건감공방법상상장계통적감공라집여업무공능라집혼잡재일기적문제,제출료일개수구모형구동적、자괄응중배치연건적운행시감공방법.이연건계통적목표모형급속성규약위기출,개소료여하구건계통적감공모형、생성화편직감공대마,이급진행운행시진단분석화자괄응중배치조정.해방법통과채용독립우응용정서적외부단원래실현대운행시계통적감공、진단화자괄응중배치처리.저경리우계통적유호화관리,야경부합연건복용적사상.