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!
cited_by cdi_FETCH-LOGICAL-c350t-d091498270e69e70cee47fb4c493e3579b7cab86a627798bfea65e1f092192923
cites cdi_FETCH-LOGICAL-c350t-d091498270e69e70cee47fb4c493e3579b7cab86a627798bfea65e1f092192923
container_end_page 1340
container_issue 5
container_start_page 1334
container_title Journal of Central South University
container_volume 19
creator Dong, Qing-chao
Wang, Zhi-xue
Chen, Guo-you
Jiang, Xin
Zhang, Ting-ting
description 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.
doi_str_mv 10.1007/s11771-012-1146-7
format article
fullrecord <record><control><sourceid>crossref_sprin</sourceid><recordid>TN_cdi_crossref_primary_10_1007_s11771_012_1146_7</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1007_s11771_012_1146_7</sourcerecordid><originalsourceid>FETCH-LOGICAL-c350t-d091498270e69e70cee47fb4c493e3579b7cab86a627798bfea65e1f092192923</originalsourceid><addsrcrecordid>eNp9kNtKAzEQhoMoWGofwLu8QDST7CabS6mnYkHwcB2y2UmJdLM12Qp9e7fUa69mGOb7-fkIuQZ-A5zr2wKgNTAOggFUiukzMhNCaFYLIc-nnZuaicaYS7IoJbZcglBSGTUjL_dD72JiZYc-huhpP3S4jWlDXeroD-bj0Y1xSDQMmS6r1fsb9W7n2riN44Fm_N7HjD2msVyRi-C2BRd_c04-Hx8-ls9s_fq0Wt6tmZc1H1nHDVSmEZqjMqi5R6x0aCtfGYmy1qbV3rWNckpobZo2oFM1QuBGgBFGyDmBU67PQykZg93l2Lt8sMDtUYg9CbGTEHsUYvXEiBNTpt-0wWy_hn1OU81_oF9VCmMj</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Domain-specific modeling and verification for C4ISR capability requirements</title><source>Springer Nature</source><creator>Dong, Qing-chao ; Wang, Zhi-xue ; Chen, Guo-you ; Jiang, Xin ; Zhang, Ting-ting</creator><creatorcontrib>Dong, Qing-chao ; Wang, Zhi-xue ; Chen, Guo-you ; Jiang, Xin ; Zhang, Ting-ting</creatorcontrib><description>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.</description><identifier>ISSN: 2095-2899</identifier><identifier>EISSN: 2227-5223</identifier><identifier>DOI: 10.1007/s11771-012-1146-7</identifier><language>eng</language><publisher>Heidelberg: Central South University</publisher><subject>Engineering ; Metallic Materials</subject><ispartof>Journal of Central South University, 2012-05, Vol.19 (5), p.1334-1340</ispartof><rights>Central South University Press and Springer-Verlag Berlin Heidelberg 2012</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c350t-d091498270e69e70cee47fb4c493e3579b7cab86a627798bfea65e1f092192923</citedby><cites>FETCH-LOGICAL-c350t-d091498270e69e70cee47fb4c493e3579b7cab86a627798bfea65e1f092192923</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27923,27924</link.rule.ids></links><search><creatorcontrib>Dong, Qing-chao</creatorcontrib><creatorcontrib>Wang, Zhi-xue</creatorcontrib><creatorcontrib>Chen, Guo-you</creatorcontrib><creatorcontrib>Jiang, Xin</creatorcontrib><creatorcontrib>Zhang, Ting-ting</creatorcontrib><title>Domain-specific modeling and verification for C4ISR capability requirements</title><title>Journal of Central South University</title><addtitle>J. Cent. South Univ. Technol</addtitle><description>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.</description><subject>Engineering</subject><subject>Metallic Materials</subject><issn>2095-2899</issn><issn>2227-5223</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2012</creationdate><recordtype>article</recordtype><recordid>eNp9kNtKAzEQhoMoWGofwLu8QDST7CabS6mnYkHwcB2y2UmJdLM12Qp9e7fUa69mGOb7-fkIuQZ-A5zr2wKgNTAOggFUiukzMhNCaFYLIc-nnZuaicaYS7IoJbZcglBSGTUjL_dD72JiZYc-huhpP3S4jWlDXeroD-bj0Y1xSDQMmS6r1fsb9W7n2riN44Fm_N7HjD2msVyRi-C2BRd_c04-Hx8-ls9s_fq0Wt6tmZc1H1nHDVSmEZqjMqi5R6x0aCtfGYmy1qbV3rWNckpobZo2oFM1QuBGgBFGyDmBU67PQykZg93l2Lt8sMDtUYg9CbGTEHsUYvXEiBNTpt-0wWy_hn1OU81_oF9VCmMj</recordid><startdate>20120501</startdate><enddate>20120501</enddate><creator>Dong, Qing-chao</creator><creator>Wang, Zhi-xue</creator><creator>Chen, Guo-you</creator><creator>Jiang, Xin</creator><creator>Zhang, Ting-ting</creator><general>Central South University</general><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20120501</creationdate><title>Domain-specific modeling and verification for C4ISR capability requirements</title><author>Dong, Qing-chao ; Wang, Zhi-xue ; Chen, Guo-you ; Jiang, Xin ; Zhang, Ting-ting</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c350t-d091498270e69e70cee47fb4c493e3579b7cab86a627798bfea65e1f092192923</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Engineering</topic><topic>Metallic Materials</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Dong, Qing-chao</creatorcontrib><creatorcontrib>Wang, Zhi-xue</creatorcontrib><creatorcontrib>Chen, Guo-you</creatorcontrib><creatorcontrib>Jiang, Xin</creatorcontrib><creatorcontrib>Zhang, Ting-ting</creatorcontrib><collection>CrossRef</collection><jtitle>Journal of Central South University</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Dong, Qing-chao</au><au>Wang, Zhi-xue</au><au>Chen, Guo-you</au><au>Jiang, Xin</au><au>Zhang, Ting-ting</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Domain-specific modeling and verification for C4ISR capability requirements</atitle><jtitle>Journal of Central South University</jtitle><stitle>J. Cent. South Univ. Technol</stitle><date>2012-05-01</date><risdate>2012</risdate><volume>19</volume><issue>5</issue><spage>1334</spage><epage>1340</epage><pages>1334-1340</pages><issn>2095-2899</issn><eissn>2227-5223</eissn><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.</abstract><cop>Heidelberg</cop><pub>Central South University</pub><doi>10.1007/s11771-012-1146-7</doi><tpages>7</tpages></addata></record>
fulltext fulltext
identifier ISSN: 2095-2899
ispartof Journal of Central South University, 2012-05, Vol.19 (5), p.1334-1340
issn 2095-2899
2227-5223
language eng
recordid cdi_crossref_primary_10_1007_s11771_012_1146_7
source Springer Nature
subjects Engineering
Metallic Materials
title Domain-specific modeling and verification for C4ISR capability requirements
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T12%3A37%3A41IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Domain-specific%20modeling%20and%20verification%20for%20C4ISR%20capability%20requirements&rft.jtitle=Journal%20of%20Central%20South%20University&rft.au=Dong,%20Qing-chao&rft.date=2012-05-01&rft.volume=19&rft.issue=5&rft.spage=1334&rft.epage=1340&rft.pages=1334-1340&rft.issn=2095-2899&rft.eissn=2227-5223&rft_id=info:doi/10.1007/s11771-012-1146-7&rft_dat=%3Ccrossref_sprin%3E10_1007_s11771_012_1146_7%3C/crossref_sprin%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c350t-d091498270e69e70cee47fb4c493e3579b7cab86a627798bfea65e1f092192923%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true