Behavioral modeling and verification of C 4ISR system capability requirements

被引：0

作者：

机构：

[1] Institute of Command Automation, University of Science and Technology of PLA

[2] Unit 66165 of PLA

来源：

He, H.-Y. (hehy2008@sina.com) | 1600年 / Chinese Institute of Electronics卷 / 34期

关键词：

Behavioral modeling; Capability requirement metamodel; Model formalization; Model verification;

D O I：

10.3969/j.issn.1001-506X.2012.06.13

中图分类号：

学科分类号：

摘要：

When using UML to analyze C 4ISR capability requirements, the behavioral models are difficult to verify. To solve the problem, an approach to C 4ISR system capability requirements behavioral modeling and verification is proposed. First, the capability behavioral metamodel is modeled by extending unified modeling language (UML) metamodel according to the C 4ISR capability concept metamodel. Then the behavioral models are modeled by the capability behavioral metamodel. To verify whether the behavioral models conform to the restriction of capability concept metamodel, behavioral metamodel and domain rules, the behavioral models are translated into OWL DL ontology and DL-Safe rules, and then some rules are defined, which are used to reason and query the ontology for behavioral models verifying.

引用

页码：1153 / 1160

页数：7

共 17 条

[1]

Capability engineering process version 1, (2004)

[2]

Sun Y., Dai H., Brief introduction of military requirement method based on capability, Science Technology and Engineering, 9, 7, pp. 2170-2176, (2007)

[3]

DoD Architecture framework. Volume 2: Architectural data and models version2.0, (2009)

[4]

The MOD architectural framework v1.2, (2009)

[5]

Liu Y.J., Kang J.C., Lu W.F., Overview of model-driven architecture, Computer Science, 33, 3, pp. 224-228, (2006)

[6]

Bailey I., Classification & reference data support for MODAF version 1.0, (2009)

[7]

Wang Z.X., Dong Q.C., Chen B., Et al., Analysis and verification of C4ISR system capability requirements based on UML model, Systems Engineering and Electronics, 31, 9, pp. 2167-2171, (2009)

[8]

Wu J.H., Modeling and design technologies for C4ISR system architecture, (2008)

[9]

Umasn M., Nadeem A., Kim T., A survey of consistency checking techniques for UML models, Proc. of the Advanced Software Engineering and its Applications, pp. 57-62, (2008)

[10]

Henderson-Sellers B., Bridging metamodels and ontologies in software engineering, The Journal of Systems and Software, 84, 2, pp. 301-313, (2011)

← 1 2 →