位置:成果数据库 > 期刊 > 期刊详情页
安全苛刻系统自动化测试的形式化语义模型
  • ISSN号:1000-9825
  • 期刊名称:《软件学报》
  • 时间:0
  • 分类:TP311.5[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]北京航空航天大学计算机学院,北京100083, [2]北京航天控制仪器研究所,北京100039
  • 相关基金:国家自然科学基金(61300007); 中央高校基本科研业务费专项资金(YWF-15-GJSYS-106,YWF-14-JSJXY-007); 软件开发环境国家重点实验室自由探索基金(SKLSDE-2015ZX-09,SKLSDE-2014-ZX-06)
中文摘要:

由于面向地震应急响应系统(EERS)的研判模型有其自身特点,传统决策支持系统中模型管理方法并不能较好地满足其管理需求。提出一种面向地震应急响应的松耦合研判模型管理机制(LC-MM),包括3个部分:(1)研判资源建模环境,由研判模型描述/控制语言(MDCL)和数据源描述/控制语言(DSDCL)组成;(2)研判资源协同交互框架,该框架分为4层,主要包括应用环境上下文App_Context、模型调用者Model_Invoker和数据通道Data_Channel 3个Agent组件;(3)研判资源协同交互协议,该协议将研判任务、研判模型和数据源的紧耦合关系分解为上述Agent组件之间的协同交互关系。实际应用表明,LC-MM能够有效屏蔽研判资源的异构性,提高EERS的可扩展性、动态适应性以及平台无关性,能够较好地满足EERS中研判模型的管理需求。

英文摘要:

Because analysis models in earthquake emergency response system (EERS) have special char- acteristics, traditional model management methods in decision support system are not suitable well for the man- agement requirement of analysis models. We propose a loose-coupled mechanism, called loose-coupled mecha- nism for model management (LC-MM) , for earthquake emergency response. LC-MM is composed of three parts : 1 ) an analysis resources modeling environment, which consists of 2 modeling languages, i. e. , model description and control language (MDCL) and data source description and control language (DSDCL) ; 2) an Agent-based framework for analysis resources coordinating and interacting, which is divided into 4 layers and 3 Agent components,i, e. , App_Context, Model_Invoker and Data_Channel; 3) a protocol for Agent-based components coordinating. The protocol changes the tight-coupled relationship between analysis models, data sources and tasks into a loose-coupled relationship through Agent components. Practical application shows that LC-MM can effectively cover up analysis resources' heterogeneity and improve the scalability, dynamic flexi- bility and fiat-independency of EERS. The proposed mechanism can match the management requirement of analysis models in EERS.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《软件学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编:赵琛
  • 地址:北京8718信箱中国科学院软件研究所
  • 邮编:100190
  • 邮箱:jos@iscas.ac.cn
  • 电话:010-62562563
  • 国际标准刊号:ISSN:1000-9825
  • 国内统一刊号:ISSN:11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论(网络版),波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:54609