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.
Formal Information Representation, System Organization, Organization Information, Simulation, Object-Z.
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
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).