Past Issues

Studies in Informatics and Control
Vol. 21, No. 3, 2012

Formal Information Representation for Tactical Reconnaissance System Organization Model

Xiong Li, Jia Fu, Fei Dong, Zhiming Dong
Abstract

The purpose of this paper is to explore formal information representation for tactical reconnaissance system (TRS) organization model, i.e. to describe its framework and analyze its description logic to form organization information in establishing a logical simulation model for the real organization system. This paper establishes system caste diagram, analyzes task, role and entity for TRS organization, and uses Object-Z specification language to design relevant formal models of organization, roles and entities in TRS. It further presents a method in transforming Object-Z class tree to TRS task tree organization, and checks these formal models by implementing simulation. This work proposes a novel approach of formal information representation for a complex warfare system organization model through transforming subsystem-level representation to Object-Z representation, till task tree that reflects system organization information. The application in tactical reconnaissance task decomposition modelling and simulation demonstration system proves that this approach is feasible and effective.

Keywords

Formal Information Representation, System Organization, Organization Information, Simulation, Object-Z.

View full article