指挥控制协同能力需求体系形式化框架
来源：计算机工程与应用杂志2020年第5期北京时间：
作者：柴磊，王智学，何明
单位：陆军工程大学 指挥控制工程学院，南京 210007
摘要：指挥控制协同性是实现信息化条件下联合作战指挥的关键。针对当前对指挥控制协同能力需求缺乏形式化描述和分析方法等问题，提出一种指挥控制协同能力需求形式化描述框架，运用进程代数方法对能力之间的关系以及操作进行形式化定义，消除了采用自然语言描述协同能力合成过程中可能产生的语义二义性。案例分析验证了该方法的可用性和有效性。
关键词：指挥控制协同,能力需求,形式化,进程代数
