Abstract:

Command and control cooperation is the key to lead joint operations under the information-intensive operation condition. To fill the lack of formal description and analysis of the requirements of command control cooperation capabilities at present, this paper proposes a formal description framework for command control capability requirements by providing a set of definitions for the concepts of C2 capabilities and the capability operations based on process algebra. It may help to eliminate the semantic ambiguity that may arise when describing C2 capability requirements using a natural language. A case study is led to illustrate the feasibility and effectiveness of the method.

Key words: command control cooperation, capability requirement, formalization, process algebra

摘要：

指挥控制协同性是实现信息化条件下联合作战指挥的关键。针对当前对指挥控制协同能力需求缺乏形式化描述和分析方法等问题，提出一种指挥控制协同能力需求形式化描述框架，运用进程代数方法对能力之间的关系以及操作进行形式化定义，消除了采用自然语言描述协同能力合成过程中可能产生的语义二义性。案例分析验证了该方法的可用性和有效性。

关键词: 指挥控制协同, 能力需求, 形式化, 进程代数