Studies in Informatics and Control – ICI Bucharest
Xiong Li
Department of Command and Administration, Academy of Armoured Force Engineering
Beijing 100072, CHINA
Jia Fu
Department of Command and Administration, Academy of Armoured Force Engineering
Beijing 100072, CHINA
Fei Dong
Department of Command and Administration, Academy of Armoured Force Engineering
Beijing 100072, CHINA
Zhiming Dong
Department of Command and Administration, Academy of Armoured Force Engineering
Beijing 100072, CHINA
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.
>>Full text
CITE THIS PAPER AS:
Xiong LI, Jia FU, Fei DONG, Zhiming DONG, Formal Information Representation for Tactical Reconnaissance System Organization Model, Studies in Informatics and Control, ISSN 1220-1766, vol. 21 (3), pp. 325-331, 2012. https://doi.org/10.24846/v21i3y201211