Wednesday , December 19 2018

Formal Information Representation for Tactical Reconnaissance System Organization Model

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.

1. Introduction

The term organization is used to represent partitions and groups of entities such as departments, communities and societies. Warfare system is a dynamical complex organization system with lots of intelligent entities and is characterized by these elements and the time-dependent development of their states. One kernel in complex warfare system, e.g. tactical reconnaissance system (TRS) organization model is formal information representation, i.e. how to design its framework and analyze its semantic knowledge and description logic [1] to form organization information in establishing the simulation model for the real organization system.

Especially in this age of the network, military organization is turning to “chaoplexity” and the scientific way of warfare is characterized by chaoplexic warfare [2-3]. Correspondingly, some systems and complexity theories are presented [2-6]. E.g., Adaptive Transformation is the proposed intellectual and operational approach to adequately address Armed Forces’ evolution in the 21st century [4].

As for their applications in system organization modelling, an important issue is to explore formal information representation for complex warfare system organization model.

Some authors [6-7] propose a set of models, tools and systems aimed at virtual or real technical, industrial, and commercial organizations. But all of them assume social events, and are not focused on warfare procedures. The focus on prior evaluation and analysis of such procedures, i.e., on formal information representation for complex warfare system organization model, would increase greatly the understanding of the response to military operations. The results of formal information representation can then also be used as a starting point for scenario understanding and prediction in future warfare behaviours.

In some papers [8-10], complex warfare system organization and entities’ architecture are studied. However, in most current research fruits, the principal description logic is usually ignored since appropriate formal specification lacks. Thus, the analysis and comprehensive understanding of TRS is extremely difficult without formal information representation approach.

As for formal information representation, there are some methods and tools, such as dynamic description logics [1]. It is obvious that Object-Z [11-13] has an object-oriented advantage. Thus, based on describing system caste and analyzing task, role and entity, by applying Object-Z specification language, a novel formal information representation approach to TRS organization model is proposed through transforming subsystem-level representation to Object-Z representation, till task tree that reflects organization information. The application in TRS modelling and simulation proves its feasibility and validity.

References:

  1. Chen, L. M., Z. Z. Shi, A Behaviour Strategy for Agents in the Semantic Web Using Dynamic Description Logics, Information-An International Journal, vol. 14, no. 3, 2011, pp. 993-998.
  2. BOUSQUET, A., Chaoplexic Warfare or the Future of Military Organization, International Affairs, vol. 84, no. 5, 2008, pp. 915-929.
  3. BOUSQUET, A., The Scientific Way of Warfare: Order and Chaos on the Battlefields of Modernity, Columbia University Press, NY, 2009.
  4. LUCAS, C., L. FRANCISCO, Towards a Theory on the Design of Adaptive Transformation: A Systemic Approach, US Army Command and General Staff College, Kansas, 2010.
  5. Jurgen, S., H. Bruce, From Complex Conflicts to Stable Cooperation, Complexity, vol. 13, no. 2, 2007, pp. 78-91.
  6. Aula, P., K. Siira, Organizational Communication and Conflict Management Systems, Nordicom Review, vol. 31, no. 1, 2010, pp. 125-141.
  7. Cabrera-Paniagua, D., G. Herrera, C. Cubillos, M. Donoso, Towards a Model for Dynamic Formation and Operation of Virtual Organizations for Transportation, Studies in Informatics and Control, vol. 20, no. 3, 2011, pp. 255-264.
  8. Li, X., G. T. Pan, Z. M. Dong, D. B. Cui, H. W. An, Designing of Multi-Agent-Based of Complex Warfare System Simulation Model, Dynamics of Continuous, Discrete and Impulsive Systems, Series A, vol. 13, no. S3, 2006, pp. 953-959.
  9. Bisht, S., A. Malhotra, S. B. Taneja, Modelling and Simulation of Tactical Team Behaviour, Defence Science Journal, vol. 57, no. 6, 2007, pp. 853-864.
  10. LI, X., Z. M. DONG, Platform-Level Distributed Warfare Model-Based on Multi-Agent System Framework, Defence Science Journal, vol. 62, no. 3, 2012, pp. 180-186.
  11. Derrick, J., E. Boiten, Refinement in Z and Object-Z: Foundations and Advanced Applications, Springer, 2001.
  12. Smith, G., The Object-Z Specification Language, Kluwer Academic Publishers, 2000.
  13. Duke, R., G. Rose, Formal Object-Oriented Specification Using Object-Z, MacMillan, 2000.

https://doi.org/10.24846/v21i3y201211