关键词: 航空保障, 流程建模, 形式化描述, 面向服务

Abstract: A modeling method of air command and security work process service oriented was proposed combined with the typical process equipment air command and support building requirements. Air command and process characteristics was analyzed systematically. On this basis, a complex process modeling method was proposed. From the concept of process meta-model, process formalized description mechanism was studied. A prototype flow modeling tool was developed, and the rationality of the proposed method was analyzed combined with the application example.

Key words: aviation security, flow modeling, formal description, service oriented