{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T18:52:31Z","timestamp":1770576751182,"version":"3.49.0"},"reference-count":28,"publisher":"Zhejiang University Press","issue":"3","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Zhejiang Univ. - Sci. C"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1631\/fitee.1500309","type":"journal-article","created":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T21:38:53Z","timestamp":1489959533000},"page":"346-361","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A quality requirements model and verification approach for system of systems based on description logic"],"prefix":"10.1631","volume":"18","author":[{"given":"Qing-long","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi-xue","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ting-ting","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei-xing","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"635","published-online":{"date-parts":[[2017,3,21]]},"reference":[{"key":"30_CR1","first-page":"152","volume-title":"Spring Simulation Multiconference","author":"R. Ahmed","year":"2007","unstructured":"Ahmed, R., Robinson, S., 2007. Simulation in business and industry: how simulation context can affect simulation practice? Proc. Spring Simulation Multiconference, p.152\u2013159."},{"key":"30_CR2","first-page":"1","volume-title":"IEEE Aerospace Conf.","author":"B. Bagdatli","year":"2012","unstructured":"Bagdatli, B., Mavris, D., 2012. Use of high-level architecture discrete event simulation in a system of systems design. IEEE Aerospace Conf., p.1\u201313. http:\/\/dx.doi.org\/10.1109\/AERO.2012.6187442"},{"issue":"7","key":"30_CR3","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1016\/j.compind.2007.12.018","volume":"59","author":"V. Chapurlat","year":"2008","unstructured":"Chapurlat, V., Braesch, C., 2008. Verification, validation, qualification and certification of enterprise models: statements and opportunities. Comput. Ind., 59(7): 711\u2013721. http:\/\/dx.doi.org\/10.1016\/j.compind.2007.12.018","journal-title":"Comput. Ind."},{"issue":"2","key":"30_CR4","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.compind.2005.06.001","volume":"57","author":"V. Chapurlat","year":"2006","unstructured":"Chapurlat, V., Kamsu-Fogum, B., Prunet, F., 2006. A formal verification framework and associated tools for enterprise modeling: application to UEML. Comput. Ind., 57(2): 153\u2013166. http:\/\/dx.doi.org\/10.1016\/j.compind.2005.06.001","journal-title":"Comput. Ind."},{"issue":"5","key":"30_CR5","doi-asserted-by":"publisher","first-page":"1334","DOI":"10.1007\/s11771-012-1146-7","volume":"19","author":"Q.C. Dong","year":"2012","unstructured":"Dong, Q.C., Wang, Z.X., Chen, G.Y., et al., 2012. Domainspecific modeling and verification for C4ISR capability requirements. J. Cent. South Univ., 19(5): 1334\u20131341. http:\/\/dx.doi.org\/10.1007\/s11771-012-1146-7","journal-title":"J. Cent. South Univ."},{"issue":"2","key":"30_CR6","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1109\/JSYST.2010.2045541","volume":"4","author":"T. Ender","year":"2010","unstructured":"Ender, T., Leurck, R.F., Weaver, B., et al., 2010. Systems of systems analysis of ballistic missile defense architecture effectiveness through surrogate modeling and simulation. IEEE Syst. J., 4(2): 156\u2013166. http:\/\/dx.doi.org\/10.1109\/JSYST.2010.2045541","journal-title":"IEEE Syst. J."},{"issue":"6","key":"30_CR7","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1016\/j.ress.2010.12.010","volume":"96","author":"I. Eusgeld","year":"2011","unstructured":"Eusgeld, I., Nan, C., Dietz, S., 2011. \u201cSystem-of-systems\u201d approach for interdependent critical infrastructures. Reliab. Eng. Syst. Safety, 96(6): 679\u2013686. http:\/\/dx.doi.org\/10.1016\/j.ress.2010.12.010","journal-title":"Reliab. Eng. Syst. Safety"},{"issue":"3","key":"30_CR8","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1016\/j.ijar.2008.10.003","volume":"50","author":"B. Fernando","year":"2009","unstructured":"Fernando, B., Miguel, D., Juan, G.R., 2009. Fuzzy description logics under Godel semantics. Int. J. Approx. Reas., 50(3): 494\u2013514. http:\/\/dx.doi.org\/10.1016\/j.ijar.2008.10.003","journal-title":"Int. J. Approx. Reas."},{"key":"30_CR9","first-page":"303","volume-title":"22nd IEEE Int. Requirements Engineering Conf.","author":"F. Fotrousi","year":"2014","unstructured":"Fotrousi, F., Fricker, S.A., Fiedler, M., 2014. Quality requirements elicitation based on inquiry of quality-impact relationships. 22nd IEEE Int. Requirements Engineering Conf., p.303\u2013312. http:\/\/dx.doi.org\/10.1109\/RE.2014.6912272"},{"issue":"3","key":"30_CR10","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1093\/nsr\/nwu020","volume":"1","author":"J.X. Gao","year":"2014","unstructured":"Gao, J.X., Li, D.Q., Havlin, S., 2014. From a single network to a network of networks. Nat. Sci. Rev., 1(3): 346\u2013356. http:\/\/dx.doi.org\/10.1093\/nsr\/nwu020","journal-title":"Nat. Sci. Rev."},{"issue":"3","key":"30_CR11","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1002\/sys.21253","volume":"16","author":"B.F. Ge","year":"2013","unstructured":"Ge, B.F., Hipel, K.W., Yang, K.W., et al., 2013. A data-centric capability focused approach for system-of-systems architecture modeling and analysis. Syst. Eng., 16(3): 363\u2013377. http:\/\/dx.doi.org\/10.1002\/sys.21253","journal-title":"Syst. Eng."},{"issue":"10","key":"30_CR12","doi-asserted-by":"publisher","first-page":"1328","DOI":"10.1109\/TSMC.2014.2309321","volume":"44","author":"B.F. Ge","year":"2014","unstructured":"Ge, B.F., Hipel, K.W., Fang, L.P., et al., 2014a. An interactive portfolio decision analysis approach for system of systems architecting using the graph model for conflict resolution. IEEE Trans. Syst. Man Cybern., 44(10): 1328\u20131346. http:\/\/dx.doi.org\/10.1109\/TSMC.2014.2309321","journal-title":"IEEE Trans. Syst. Man Cybern."},{"issue":"1","key":"30_CR13","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/JSYST.2013.2270573","volume":"8","author":"B.F. Ge","year":"2014","unstructured":"Ge, B.F., Hipel, K.W., Yang, K.W., et al., 2014b. A novel executable modeling approach for system of systems architecture. IEEE Syst. J., 8(1): 4\u201313. http:\/\/dx.doi.org\/10.1109\/JSYST.2013.2270573","journal-title":"IEEE Syst. J."},{"issue":"4","key":"30_CR14","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1109\/JSYST.2013.2251984","volume":"7","author":"E. Grigoroudis","year":"2013","unstructured":"Grigoroudis, E., Phillis, Y.A., 2013. Modeling healthcare system of systems: a mathematical programming approach. IEEE Syst. J., 7(4): 571\u2013580. http:\/\/dx.doi.org\/10.1109\/JSYST.2013.2251984","journal-title":"IEEE Syst. J."},{"key":"30_CR15","volume-title":"Ontological Foundations for Structural Conceptual Models","author":"G. Guizzardi","year":"2005","unstructured":"Guizzardi, G., 2005. Ontological Foundations for Structural Conceptual Models. PhD Thesis, Centre for Telematics and Information Technology, University of Twente, Enschede, the Netherlands."},{"issue":"3","key":"30_CR16","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1002\/sys.21205","volume":"15","author":"Y.Y. Haimes","year":"2012","unstructured":"Haimes, Y.Y., 2012. Modeling complex systems of systems with phantom system models. Syst. Eng., 15(3): 333\u2013346. http:\/\/dx.doi.org\/10.1002\/sys.21205","journal-title":"Syst. Eng."},{"issue":"1","key":"30_CR17","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1109\/JSYST.2014.2312051","volume":"9","author":"J. Holt","year":"2015","unstructured":"Holt, J., Perry, S., Payne, R., 2015. A model-based approach for requirements engineering for systems of systems. IEEE Syst. J., 9(1): 252\u2013262. http:\/\/dx.doi.org\/10.1109\/JSYST.2014.2312051","journal-title":"IEEE Syst. J."},{"issue":"2","key":"30_CR18","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1002\/sys.20172","volume":"14","author":"T.V. Huynh","year":"2011","unstructured":"Huynh, T.V., Kessler, A., Oravec, J., 2011. Orthogonal array experiment in systems engineering and architecting. Syst. Eng., 14(2): 208\u2013222. http:\/\/dx.doi.org\/10.1002\/sys.20172","journal-title":"Syst. Eng."},{"key":"30_CR19","first-page":"1","volume-title":"Proc. 8th Int. Conf. on FIT","author":"I. Khan","year":"2010","unstructured":"Khan, I., 2010. Methodology for the development of executable system architecture. Proc. 8th Int. Conf. on FIT, p.1\u20134. http:\/\/dx.doi.org\/10.1145\/1943628.1943677"},{"issue":"3","key":"30_CR20","doi-asserted-by":"publisher","first-page":"2536","DOI":"10.1016\/j.eswa.2010.08.042","volume":"38","author":"Z.M. Ma","year":"2011","unstructured":"Ma, Z.M., Zhang, F., Cheng, J., et al., 2011. Representing and reasoning on fuzzy UML models: a description logic approach. Expert Syst. Appl., 38(3): 2536\u20132549. http:\/\/dx.doi.org\/10.1016\/j.eswa.2010.08.042","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"30_CR21","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.fss.2011.06.015","volume":"186","author":"Z.M. Ma","year":"2012","unstructured":"Ma, Z.M., Li, Y., Zhang, F., 2012. Modeling fuzzy information in UML class diagrams and object-oriented database models. Fuzzy Sets Syst., 186(1): 26\u201346. http:\/\/dx.doi.org\/10.1016\/j.fss.2011.06.015","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"30_CR22","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/sys.20116","volume":"12","author":"R.A. Moynihan","year":"2009","unstructured":"Moynihan, R.A., Reining, R.C., Salamone, P.P., et al., 2009. Enterprise scale portfolio analysis at the National Oceanic and Atmospheric Administration (NOAA). Syst. Eng., 12(2): 155\u2013168. http:\/\/dx.doi.org\/10.1002\/sys.20116","journal-title":"Syst. Eng."},{"key":"30_CR23","first-page":"342","volume-title":"21st IEEE Int. Requirements Engineering Conf.","author":"C. Ncube","year":"2013","unstructured":"Ncube, C., Lim, S.L., Dogan, H., 2013. Identifying top challenges for international research on requirements engineering for systems of systems engineering. 21st IEEE Int. Requirements Engineering Conf., p.342\u2013344. http:\/\/dx.doi.org\/10.1109\/RE.2013.6636746"},{"key":"30_CR24","volume-title":"Systems and Software Engineering, Systems Engineering Guide for Systems of Systems, Version 1.0","author":"Office of the Deputy Under Secretary of Defense for AcquisitionTechnologyLogistics ODUSD A&T","year":"2008","unstructured":"Office of the Deputy Under Secretary of Defense for Acquisition and Technology and Logistics (ODUSD (A&T)), 2008. Systems and Software Engineering, Systems Engineering Guide for Systems of Systems, Version 1.0. Technical Report No. ODUSD (A&T)SSE, Washington, D.C., USA."},{"issue":"10","key":"30_CR25","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1016\/j.infsof.2014.05.004","volume":"56","author":"K. Petersen","year":"2014","unstructured":"Petersen, K., Khurum, M., Angelis, L., 2014. Reasons for bottlenecks in very large-scale system of systems development. Inform. Softw. Techol., 56(10): 1403\u20131420. http:\/\/dx.doi.org\/10.1016\/j.infsof.2014.05.004","journal-title":"Inform. Softw. Techol."},{"issue":"2","key":"30_CR26","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2008.48","volume":"25","author":"B. Regnell","year":"2008","unstructured":"Regnell, B., Svensson, R.B., Olsson, T., 2008. Supporting roadmapping of quality requirements. IEEE Softw., 25(2): 42\u201347. http:\/\/dx.doi.org\/10.1109\/MS.2008.48","journal-title":"IEEE Softw."},{"key":"30_CR27","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1613\/jair.2279","volume":"30","author":"G. Stoilos","year":"2007","unstructured":"Stoilos, G., Stamou, G., Pan, J.Z., et al., 2007. Reasoning with very expressive fuzzy description logics. J. Artif. Intell. Res., 30: 273\u2013320. http:\/\/dx.doi.org\/10.1613\/jair.2279","journal-title":"J. Artif. Intell. Res."},{"issue":"4","key":"30_CR28","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1002\/sys.20184","volume":"14","author":"R. Wang","year":"2011","unstructured":"Wang, R., Dagli, C.H., 2011. Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model driven systems development process. Syst. Eng., 14(4): 383\u2013409. http:\/\/dx.doi.org\/10.1002\/sys.20184","journal-title":"Syst. Eng."}],"container-title":["Frontiers of Information Technology & Electronic Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1631\/FITEE.1500309\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1631\/FITEE.1500309.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1631\/FITEE.1500309.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T06:04:37Z","timestamp":1560146677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1631\/FITEE.1500309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["30"],"URL":"https:\/\/doi.org\/10.1631\/fitee.1500309","relation":{},"ISSN":["2095-9184","2095-9230"],"issn-type":[{"value":"2095-9184","type":"print"},{"value":"2095-9230","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3]]},"assertion":[{"value":"25 September 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 February 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 March 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}