Domain-specific modeling and verification for C4ISR capability requirements

An approach was proposed to specify the C4ISR capability of domain-specific modeling language. To confine the domain modeling within a standard architecture framework, formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework. The meta-ontology i...

Full description

Saved in:
Bibliographic Details
Published in:Journal of Central South University 2012-05, Vol.19 (5), p.1334-1340
Main Authors: Dong, Qing-chao, Wang, Zhi-xue, Chen, Guo-you, Jiang, Xin, Zhang, Ting-ting
Format: Article
Language:English
Subjects:
Engineering
Metallic Materials
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:An approach was proposed to specify the C4ISR capability of domain-specific modeling language. To confine the domain modeling within a standard architecture framework, formally a C4ISR capability meta-ontology was defined according to the meta-model of DoD Architecture Framework. The meta-ontology is used for extending UML Profile so that the domain experts can model the C4ISR domains using the C4ISR capability meta-concepts to define a domain-specific modeling language. The domain models can be then checked to guarantee the consistency and completeness through converting the UML models into the Description Logic ontology and making use of inference engine Pellet to verify the ontology.
ISSN:2095-2899
2227-5223
DOI:10.1007/s11771-012-1146-7