Modeling and verifying SoS performance requirements of C4ISR systems
System-of-systems (SoS) engineering involves a complex process of refining high-level SoS requirements into more detailed systems requirements and assessing the extent to which the performances of to-be systems may possibly satisfy SoS capability objectives. The key issue is how to model such requir...
Gespeichert in:
| Veröffentlicht in: | Journal of systems engineering and electronics 2015-08, Vol.26 (4), p.754-763 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 763 |
|---|---|
| container_issue | 4 |
| container_start_page | 754 |
| container_title | Journal of systems engineering and electronics |
| container_volume | 26 |
| creator | Qi, Yudong Wang, Zhixue Dong, Qingchao He, Hongyue |
| description | System-of-systems (SoS) engineering involves a complex process of refining high-level SoS requirements into more detailed systems requirements and assessing the extent to which the performances of to-be systems may possibly satisfy SoS capability objectives. The key issue is how to model such requirements to automate the process of analysis and assessment. This paper suggests a meta-model that defines both functional and non-functional features of SoS requirements for command and control, communication, computer, intelligence, surveillance reconnaissance (C4ISR) systems. A domain-specific modeling language is defined by extending unified modeling language (UML) constructed of class and association with fuzzy theory in order to model the fuzzy concepts of performance requirements. An efficiency evaluation function is introduced, based on Bezier curves, to predict the effectiveness of systems. An algorithm is presented to transform domain models in fuzzy UML into a requirements ontology in description logic (DL) so that requirements verification can be automated with a popular DL reasoner such as Pellet. |
| doi_str_mv | 10.1109/JSEE.2015.00084 |
| format | Article |
| fullrecord | <record><control><sourceid>wanfang_jour_proqu</sourceid><recordid>TN_cdi_wanfang_journals_xtgcydzjs_e201504012</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><wanfj_id>xtgcydzjs_e201504012</wanfj_id><sourcerecordid>xtgcydzjs_e201504012</sourcerecordid><originalsourceid>FETCH-LOGICAL-p155t-578b134aa2f19f36299daec4ed257d2b75562745516c352b75d820da0dfee0853</originalsourceid><addsrcrecordid>eNotjz1PwzAYhD2ARFU6s3pkIOX1V52MqBRaVIREYI7c-HWVKrHbOAHKr6dRueV00qM7HSE3DKaMQXb_ki8WUw5MTQEglRdkxABkIpngV2QS4w4GaeAcRuTxNVisK7-lxlv6hW3ljkPKQ0732LrQNsaXSFs89FWLDfou0uDoXK7ydxqPscMmXpNLZ-qIk38fk8-nxcd8mazfnlfzh3WyZ0p1idLphglpDHcsc2LGs8waLCVarrTlG63UjGupFJuVQg3ZphysAesQIVViTO7Ovd_GO-O3xS70rT8tFj_dtjza310scHgOEhg_4bdnfN-GQ4-xK5oqlljXxmPoY8G0BqFTlaXiD7pQXEU</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1770378598</pqid></control><display><type>article</type><title>Modeling and verifying SoS performance requirements of C4ISR systems</title><source>IEEE Power & Energy Library</source><source>EZB-FREE-00999 freely available EZB journals</source><creator>Qi, Yudong ; Wang, Zhixue ; Dong, Qingchao ; He, Hongyue</creator><creatorcontrib>Qi, Yudong ; Wang, Zhixue ; Dong, Qingchao ; He, Hongyue</creatorcontrib><description>System-of-systems (SoS) engineering involves a complex process of refining high-level SoS requirements into more detailed systems requirements and assessing the extent to which the performances of to-be systems may possibly satisfy SoS capability objectives. The key issue is how to model such requirements to automate the process of analysis and assessment. This paper suggests a meta-model that defines both functional and non-functional features of SoS requirements for command and control, communication, computer, intelligence, surveillance reconnaissance (C4ISR) systems. A domain-specific modeling language is defined by extending unified modeling language (UML) constructed of class and association with fuzzy theory in order to model the fuzzy concepts of performance requirements. An efficiency evaluation function is introduced, based on Bezier curves, to predict the effectiveness of systems. An algorithm is presented to transform domain models in fuzzy UML into a requirements ontology in description logic (DL) so that requirements verification can be automated with a popular DL reasoner such as Pellet.</description><identifier>ISSN: 1004-4132</identifier><identifier>DOI: 10.1109/JSEE.2015.00084</identifier><language>eng</language><publisher>Department of Weapon Science and Technology, Naval Aeronautical and Astronautical University, Yantai 264001, China%Institute of Command Information System, PLA University of Science and Technology, Nanjing 210007, China</publisher><subject>Algorithms ; Command and control ; Fuzzy ; Fuzzy logic ; Fuzzy set theory ; Logic ; Mathematical models ; Unified Modeling Language</subject><ispartof>Journal of systems engineering and electronics, 2015-08, Vol.26 (4), p.754-763</ispartof><rights>Copyright © Wanfang Data Co. Ltd. All Rights Reserved.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://www.wanfangdata.com.cn/images/PeriodicalImages/xtgcydzjs-e/xtgcydzjs-e.jpg</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Qi, Yudong</creatorcontrib><creatorcontrib>Wang, Zhixue</creatorcontrib><creatorcontrib>Dong, Qingchao</creatorcontrib><creatorcontrib>He, Hongyue</creatorcontrib><title>Modeling and verifying SoS performance requirements of C4ISR systems</title><title>Journal of systems engineering and electronics</title><description>System-of-systems (SoS) engineering involves a complex process of refining high-level SoS requirements into more detailed systems requirements and assessing the extent to which the performances of to-be systems may possibly satisfy SoS capability objectives. The key issue is how to model such requirements to automate the process of analysis and assessment. This paper suggests a meta-model that defines both functional and non-functional features of SoS requirements for command and control, communication, computer, intelligence, surveillance reconnaissance (C4ISR) systems. A domain-specific modeling language is defined by extending unified modeling language (UML) constructed of class and association with fuzzy theory in order to model the fuzzy concepts of performance requirements. An efficiency evaluation function is introduced, based on Bezier curves, to predict the effectiveness of systems. An algorithm is presented to transform domain models in fuzzy UML into a requirements ontology in description logic (DL) so that requirements verification can be automated with a popular DL reasoner such as Pellet.</description><subject>Algorithms</subject><subject>Command and control</subject><subject>Fuzzy</subject><subject>Fuzzy logic</subject><subject>Fuzzy set theory</subject><subject>Logic</subject><subject>Mathematical models</subject><subject>Unified Modeling Language</subject><issn>1004-4132</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2015</creationdate><recordtype>article</recordtype><recordid>eNotjz1PwzAYhD2ARFU6s3pkIOX1V52MqBRaVIREYI7c-HWVKrHbOAHKr6dRueV00qM7HSE3DKaMQXb_ki8WUw5MTQEglRdkxABkIpngV2QS4w4GaeAcRuTxNVisK7-lxlv6hW3ljkPKQ0732LrQNsaXSFs89FWLDfou0uDoXK7ydxqPscMmXpNLZ-qIk38fk8-nxcd8mazfnlfzh3WyZ0p1idLphglpDHcsc2LGs8waLCVarrTlG63UjGupFJuVQg3ZphysAesQIVViTO7Ovd_GO-O3xS70rT8tFj_dtjza310scHgOEhg_4bdnfN-GQ4-xK5oqlljXxmPoY8G0BqFTlaXiD7pQXEU</recordid><startdate>20150801</startdate><enddate>20150801</enddate><creator>Qi, Yudong</creator><creator>Wang, Zhixue</creator><creator>Dong, Qingchao</creator><creator>He, Hongyue</creator><general>Department of Weapon Science and Technology, Naval Aeronautical and Astronautical University, Yantai 264001, China%Institute of Command Information System, PLA University of Science and Technology, Nanjing 210007, China</general><scope>7SP</scope><scope>8FD</scope><scope>L7M</scope><scope>2B.</scope><scope>4A8</scope><scope>92I</scope><scope>93N</scope><scope>PSX</scope><scope>TCJ</scope></search><sort><creationdate>20150801</creationdate><title>Modeling and verifying SoS performance requirements of C4ISR systems</title><author>Qi, Yudong ; Wang, Zhixue ; Dong, Qingchao ; He, Hongyue</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p155t-578b134aa2f19f36299daec4ed257d2b75562745516c352b75d820da0dfee0853</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2015</creationdate><topic>Algorithms</topic><topic>Command and control</topic><topic>Fuzzy</topic><topic>Fuzzy logic</topic><topic>Fuzzy set theory</topic><topic>Logic</topic><topic>Mathematical models</topic><topic>Unified Modeling Language</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Qi, Yudong</creatorcontrib><creatorcontrib>Wang, Zhixue</creatorcontrib><creatorcontrib>Dong, Qingchao</creatorcontrib><creatorcontrib>He, Hongyue</creatorcontrib><collection>Electronics & Communications Abstracts</collection><collection>Technology Research Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Wanfang Data Journals - Hong Kong</collection><collection>WANFANG Data Centre</collection><collection>Wanfang Data Journals</collection><collection>万方数据期刊 - 香港版</collection><collection>China Online Journals (COJ)</collection><collection>China Online Journals (COJ)</collection><jtitle>Journal of systems engineering and electronics</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Qi, Yudong</au><au>Wang, Zhixue</au><au>Dong, Qingchao</au><au>He, Hongyue</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Modeling and verifying SoS performance requirements of C4ISR systems</atitle><jtitle>Journal of systems engineering and electronics</jtitle><date>2015-08-01</date><risdate>2015</risdate><volume>26</volume><issue>4</issue><spage>754</spage><epage>763</epage><pages>754-763</pages><issn>1004-4132</issn><abstract>System-of-systems (SoS) engineering involves a complex process of refining high-level SoS requirements into more detailed systems requirements and assessing the extent to which the performances of to-be systems may possibly satisfy SoS capability objectives. The key issue is how to model such requirements to automate the process of analysis and assessment. This paper suggests a meta-model that defines both functional and non-functional features of SoS requirements for command and control, communication, computer, intelligence, surveillance reconnaissance (C4ISR) systems. A domain-specific modeling language is defined by extending unified modeling language (UML) constructed of class and association with fuzzy theory in order to model the fuzzy concepts of performance requirements. An efficiency evaluation function is introduced, based on Bezier curves, to predict the effectiveness of systems. An algorithm is presented to transform domain models in fuzzy UML into a requirements ontology in description logic (DL) so that requirements verification can be automated with a popular DL reasoner such as Pellet.</abstract><pub>Department of Weapon Science and Technology, Naval Aeronautical and Astronautical University, Yantai 264001, China%Institute of Command Information System, PLA University of Science and Technology, Nanjing 210007, China</pub><doi>10.1109/JSEE.2015.00084</doi><tpages>10</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1004-4132 |
| ispartof | Journal of systems engineering and electronics, 2015-08, Vol.26 (4), p.754-763 |
| issn | 1004-4132 |
| language | eng |
| recordid | cdi_wanfang_journals_xtgcydzjs_e201504012 |
| source | IEEE Power & Energy Library; EZB-FREE-00999 freely available EZB journals |
| subjects | Algorithms Command and control Fuzzy Fuzzy logic Fuzzy set theory Logic Mathematical models Unified Modeling Language |
| title | Modeling and verifying SoS performance requirements of C4ISR systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-03T05%3A48%3A03IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-wanfang_jour_proqu&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Modeling%20and%20verifying%20SoS%20performance%20requirements%20of%20C4ISR%20systems&rft.jtitle=Journal%20of%20systems%20engineering%20and%20electronics&rft.au=Qi,%20Yudong&rft.date=2015-08-01&rft.volume=26&rft.issue=4&rft.spage=754&rft.epage=763&rft.pages=754-763&rft.issn=1004-4132&rft_id=info:doi/10.1109/JSEE.2015.00084&rft_dat=%3Cwanfang_jour_proqu%3Extgcydzjs_e201504012%3C/wanfang_jour_proqu%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1770378598&rft_id=info:pmid/&rft_wanfj_id=xtgcydzjs_e201504012&rfr_iscdi=true |