Research On The Method Of C~4ISR Architecture Dynamic Behavior Consistency Verification

The dynamic behavior products of C~4ISR architecture describe the development and functions' implementation of C~4ISR system,and are used for the guidance of system's construction and assembly.These products reflect a system's dynamic attributes from different aspects.If they do not consist with each other,the system's value will be affected.As a result,it is essential to verify the consistency of dynamic products after architecture design is completed.But nowadays,there is not any effective method or tool can verify the consistency of dynamic behavior products.The main contributions of this dissertation include:1.The relationship among every dynamic behavior product and the relationship between them and other products are researched.The content of every dynamic behavior product is presented.The relationship of dynamic behavior products in operational view and system view is analyzed.The dynamic behavior key products,the content and basic process of the dynamic behavior consistency verification are given.2.The consistency rules of C~4ISR architecture dynamic behavior are established.The grammatical and semantic consistency problems of the architecture dynamic behavior are analyzed.The grammatical and semantic consistency rules of C~4ISR architecture dynamic behavior are established and formulated.3.The verification method of dynamic behavior grammatical consistency based on formulation is researched.For the architecture dynamic behavior key products described by UML,the formulation method is given based on the characters of the complications of every product.The programs of grammatical consistency verification are designed based on the established phrasing rules.4.The verification method of dynamic behavior semantic consistency based on Object Petri Net is researched.A method of creating executable model based on a middle product is given.This method can transform the dynamic behavior products into Object Petri Net,and integrate the dynamic behavior products which describe patemity scenarios.It avoids the disadvantages of nowadays' executable methods,such as needing much manual work or being not able to verify the dynamic behavior key products.5.A prototype of dynamic behavior consistency verification is designed and constructed.A prototype of dynamic behavior consistency verification is designed and constructed based on the verification methods which are studied in this dissertation.The prototype architecture and the creation and interfaces of every function module are presented.The use of this prototype proves that the verification methods of dynamic behavior consistency studied in this dissertation are correct and effected.Finally,some kind of brigade operations aerial defence C~4ISR system is taken as an example to illustrate the verification methods of dynamic behavior consistency that studied in this paper,so as to perfect the dissertation.