Skip to main content
SpringerLink
Log in

Domain-specific modeling and verification for C4ISR capability requirements

  • Published:
Journal of Central South University Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Joint Chief of Staff. CJCSI3170.01D. Joint capabilities integration and development system [S/OL] 2005. http://www.dtic.mil/cjcs_directives/index.htm.

  2. CAPDEM T D. Collaborative capability definition engineering and management technology demonstrator [S/OL]. 2010. http://www.drev.dnd.ca/poolpdf/e/162_e.pdf.

  3. The Open Group. Part III: ADM guidelines and techniques, TOGAF version 9 [S/OL] 2009. http://www.opengroup.org/architecture/togaf9/downloads.htm.

  4. DAVIS P, SHAVER R, BECK J. Portfolio-analysis methods for assessing capability options [R]. US: RAND Corporation, 2008.

    Google Scholar 

  5. JOSEFSSON A, MARKLUND J. IDC2-A new C2 concept within the framework of a network based defence concept [C]// Proc of 13th Int Conf on Command and Control Research and Technology Symposium. Seattle, 2008: 1–19.

  6. AUGER A, GOUIN D, ROY J. Decision support and knowledge exploitation technologies for C4ISR [EB/OL] 2006. Technical Memorandum, http://pubs.drdc.gc.ca/PDFS/unc52/p525876.pdf.

  7. CHEN Z, POOLEY R. Rediscovering Zachman framework using ontology from a requirement engineering perspective [C]// Proc of 33th Annual IEEE International Computer Software and Applications Conference. Washington, 2009: 3–8.

  8. BRAHE S, ØSTERBYE K. Business process modeling: Defining domain specific modeling languages by use of UML profiles [J]. Journal of Lecture Notes in Computer Science, 2006, 4066(1): 241–255.

    Article  Google Scholar 

  9. POHJONEN R. Metamodeling made easy-MetaEdit+ (tool demonstration) [J]. Journal of Lecture Notes in Computer Science, 2005, 3676(1): 442–446.

    Article  Google Scholar 

  10. UK Ministry of Defence. Mod architecture framework overview version 1.0 (MODAF-M09-002) [S/OL] 2005. http:// www.modaf.org.uk/.

  11. US Department of Defense. DoD architecture framework version 2.0 (Volume I-II-III) [S/OL] 2009. http://www.us.army.mi/suite/page/454707 MOD Partner.

  12. GIANCARLO G, LUIS F, MARTEN V. An ontology-based approach for evaluating the domain appropriateness and comprehensibility appropriateness of modeling languages [J]. Journal of Lecture Notes in Computer Science, 2005, 3713(1): 691–705.

    Google Scholar 

  13. HORROCKS I, PATRL P F. Reducing OWL entailment to description logic satisfiability [J]. Journal of Web Semantics, 2004: 345–357.

  14. KIM D K, ROBERT F, SUDIPTO G. A UML-based language for specifying domain-specific patterns [J]. Journal of Visual Languages & Computing, 2004, 15(3): 265–289.

    Article  Google Scholar 

  15. QUERALT A, RULL G, TENIENTE E, FARRE C, URPI T. AuRUS: Automated Reasoning on UML/OCL Schemas [J]. Journal of Lecture Notes in Computer Science, 2010, 6412: 438–444.

    Article  Google Scholar 

  16. CABOT J, CLARIS R, RIERA D. Verification of UML/OCL class diagrams using constraint programming [C]// Proc of 2008 IEEE International Conference on Software Testing Verification and Validation Workshop. Lillehammer, 2008: 73–80.

  17. VAN R. Inconsistency management in model-driven engineering [D]. Brussels: Vrije University, 2005.

    Google Scholar 

  18. DANIELA B. Reasoning on UML class diagrams [J]. Journal of Artificial Intelligence, 2005, 168(1): 70–118.

    Article  MATH  Google Scholar 

  19. HORROCKS I, SATTLER U. A tableau decision procedure for SHOIQ [J]. Journal of Automated Reasoning, 2007, 39(3): 249–276.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technology of Command and Control Department, PLA University of Science and Technology, Nanjing, 210007, China

    Qing-chao Dong  (董庆超), Zhi-xue Wang  (王智学), Guo-you Chen  (陈国友) & Xin Jiang  (蒋鑫)

  2. Institute of Sciences, PLA University of Science and Technology, Nanjing, 211101, China

    Ting-ting Zhang  (张婷婷)

Authors
  1. Qing-chao Dong  (董庆超)
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhi-xue Wang  (王智学)
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Guo-you Chen  (陈国友)
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Xin Jiang  (蒋鑫)
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ting-ting Zhang  (张婷婷)
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Qing-chao Dong  (董庆超).

Additional information

Foundation item: Project(2007AA01Z126) supported by the National High Technology Research and Development Program of China; Project(51306010202) supported by the National Defense Advance Research Program of China

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dong, Qc., Wang, Zx., Chen, Gy. et al. Domain-specific modeling and verification for C4ISR capability requirements. J. Cent. South Univ. Technol. 19, 1334–1340 (2012). https://doi.org/10.1007/s11771-012-1146-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11771-012-1146-7

Key words

Search

Navigation