指挥信息系统软件演化一致性问题研究

详细信息    查看官网全文

• 英文论文题名：Research on Software Evolution Consistency of C~4ISR System
• 论文作者：黄海军 ; 陈兵 ; 余祥 ; 李强
• 英文论文作者：HUANG Hai-jun ; CHEN Bing ; YU Xiang ; LI Qiang ; Dept.of Electronic Engineering Institute
• 年：2017
• 作者机构：合肥电子工程学院;
• 论文关键词：软件演化 ; 构件 ; 一致性
• 英文论文关键词：Software Evolution ; Component ; Consistency
• 会议召开时间：2017-07-03
• 会议录名称：第五届中国指挥控制大会论文集
• 语种：中文
• 分类号：E9;TP311.5
• 学会代码：ZHKZ
• 会议名称：第五届中国指挥控制大会
• 会议地点：中国北京
• 主办单位：中国指挥与控制学会
• 学会名称：中国指挥与控制学会
• 页数：5
• 文件大小：457k
• 原文格式：D
• 会议级别：全国

摘要

为了提高指挥信息系统在信息化作战任务中的作战能力,加强指挥信息系统在不断变化的战场环境中的适应能力,本文提出了基于构件的指挥信息系统的演化过程,使指挥信息系统具有较强的演化能力,并在此基础上,分析了演化一致性研究的具体问题和研究方法的不足,提出了用高阶π演算的方法形式化分析验证系统的演化一致性,从而保证系统演化的正确性。
To improve the C~4ISR system's combat capability in information warfare and increase the adaptability in the changing battlefield environment. Based on the component technology, a evolution process of C~4ISR system are introduced to improve the evolution ability. On this basis, analyzes the detail contents of evolution consistency and the inadequate of the existing methods, propose a formal method based on the higher order π calculus to study the evolution consistency, thus ensure the correctness of system evolution.

引文

[1]Rajlich V.Software evolution and maintenance[Z].Hyderabad in India:2014:133-144.
    [2]张世馄,王立福,杨芙清.基于层次消息总线的软件体系结构风格[J].中国科学(E辑),2002(3):393-400.
    [3]Sun J,Dong J S.Design synthesis from interaction and state-based specifications[Z].2006.
    [4]杨鹤标,乔亦民.基于Petri网的构件组装模型[J].江苏大学学报,2010,31(4):452-457.
    [5]李长云,何频捷,李玉龙.软件动态演化技术[M].北京:北京大学出版社,2007.
    [6]张玉玉.基于约束交互自动机的构件行为一致性研究[D].哈尔滨工程大学,2012.
    [7]Sangiorgi D.π-calculus,internal mobility and agent-passing calculi[J].1995:26-29.