{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T23:32:04Z","timestamp":1648942324137},"reference-count":23,"publisher":"International Academy Publishing (IAP)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.7.9.2046-2052","type":"journal-article","created":{"date-parts":[[2012,10,4]],"date-time":"2012-10-04T05:49:29Z","timestamp":1349329769000},"source":"Crossref","is-referenced-by-count":2,"title":["Generating Executable Capability Models for Requirements Validation"],"prefix":"10.17706","volume":"7","author":[{"given":"Weizhong","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhixue","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wen","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingying","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Xin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2012,9,1]]},"reference":[{"issue":"9","key":"ref1","first-page":"2167","article-title":"Towards C4ISR system capability requirements analysis and validation based on UML model.","volume":"31","author":"Zhixue","year":"2009","unstructured":"[3] Zhixue W, Qingchao D, Bin C, et al. Towards C4ISR system capability requirements analysis and validation based on UML model. Systems Engineering and Electronics, 2009, 31(9), pp: 2167-2171.","journal-title":"Systems Engineering and Electronics"},{"issue":"9","key":"ref2","first-page":"990","article-title":"An Approach to Formally Modeling and Verifying Distributed Real-time Embedded Software.","volume":"5","author":"Liqiong","year":"2010","unstructured":"[6] Liqiong C, Guisheng F, Yunxiang L. An Approach to Formally Modeling and Verifying Distributed Real-time Embedded Software. Journal of Software, 2010, 5(9), pp: 990-997.","journal-title":"J Softw","ISSN":"http:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"key":"ref3","first-page":"219","volume-title":"Interoperability Constraints and Requirements Formal Modelling and Checking Framework","author":"Vincent","year":"2010","unstructured":"[7] Vincent C, Matthieu R. Interoperability Constraints and Requirements Formal Modelling and Checking Framework. International Federation for Information Processing, 2010, pp: 219-226."},{"key":"ref4","volume-title":"Model Driven Architecture with Executable UML","author":"Chris","year":"2004","unstructured":"[8] Chris R, Paul F, John W, et al. Model Driven Architecture with Executable UML. Cambridge: Cambridge University Press, 2004."},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0116-1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331322939"},{"key":"ref7","article-title":"Using Axiomatic Design in the Process of Enterprise Architecting.","volume-title":"Third International Conference on Convergence and Hybrid Information Technology","author":"Ehsan","year":"2008","unstructured":"[11] Ehsan M, Ali S, Mohammad R. Using Axiomatic Design in the Process of Enterprise Architecting. Third International Conference on Convergence and Hybrid Information Technology, 2008."},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2003.09.002"},{"key":"ref9","volume-title":"TOGAF The Open Group Architecture Framework Version 9 Document Number G091","year":"2009","unstructured":"[13] Open Group. TOGAF: The Open Group Architecture Framework, Version 9, Document Number: G091. The Open Group, United Kingdom, 2009."},{"key":"ref10","volume-title":"Treasury Enterprise Architecture Framework","volume":"l","year":"2000","unstructured":"[14] Department of the Treasury CIO Council. Treasury Enterprise Architecture Framework. V.l. Department of the Treasury, Washington D.C., USA, 2000."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00218-X"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2004.12.005"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.09.042"},{"key":"ref14","first-page":"85","article-title":"Synthesizing Executable Models of Object Oriented Architectures.","volume-title":"Proceedings of Workshop on Formal Methods Applied to Defence Systems","author":"Wagenhals","year":"2002","unstructured":"[18] Wagenhals L, Haider S, Levis A. Synthesizing Executable Models of Object Oriented Architectures. Proceedings of Workshop on Formal Methods Applied to Defence Systems, Adelaide, Australia, 2002, pp: 85-93."},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2005.1571646"},{"issue":"7","key":"ref16","first-page":"419","article-title":"Eudevs: Executable UML with DEVS Theory of Modeling and Simulation.","volume":"85","author":"Risco-Martin","year":"2009","unstructured":"[21] Risco-Martin J, de la Cruz J, Mittal S, et al. Eudevs: Executable UML with DEVS Theory of Modeling and Simulation. Simulation, 2009, 85(7), pp: 419-450.","journal-title":"Simulation","ISSN":"http:\/\/id.crossref.org\/issn\/0037-5497","issn-type":"print"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICDS.2009.19"},{"key":"ref17","doi-asserted-by":"crossref","unstructured":"[1] UK Ministry Of Defence. MOD architecture framework overview v1.0. http:\/\/www.modaf.org.uk\/, 2005.","DOI":"10.1109\/ICDS.2009.19"},{"key":"ref17","doi-asserted-by":"crossref","unstructured":"[2] US Department of Defense. DoD architecture framework version 2.0 (Volume I-II-III). http:\/\/www.us.army.mi\/suite\/page\/454707, MOD Partner, 2008.","DOI":"10.1109\/ICDS.2009.19"},{"key":"ref17","doi-asserted-by":"crossref","unstructured":"[4] OMG. OMG Unified Modeling LanguageTM Superstructure. Version2.1, formal\/2007-02-03. http:\/\/www.omg.org\/spec\/UML\/2.1\/Superstructure.","DOI":"10.1109\/ICDS.2009.19"},{"key":"ref17","doi-asserted-by":"crossref","unstructured":"[5] OMG. OMG Unified Modeling LanguageTM Infrastructure. Version2.1, formal\/2007-02-04. http:\/\/www.omg.org\/spec\/UML\/2.1\/Infrastructure.","DOI":"10.1109\/ICDS.2009.19"},{"key":"ref17","doi-asserted-by":"crossref","unstructured":"[20] Mittal S, Mitra A, Gupta A, et.al. Strengthening OV-6a Semantics with Rule-Based Meta-models in DEVS\/DoDAF based Life-cycle Architectures Development. IEEE Information Reuse and Integration, Special Section on DoDAF, Hawaii, 2006, pp: 80-85.","DOI":"10.1109\/ICDS.2009.19"},{"key":"ref17","doi-asserted-by":"crossref","unstructured":"[23] MSDN Library. http:\/\/msdn.microsoft.com\/zh-cn\/library\/f 7ykdhsy.aspx, 2010.","DOI":"10.1109\/ICDS.2009.19"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T20:59:42Z","timestamp":1497992382000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/6500"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,1]]},"references-count":23,"journal-issue":{"issue":"9","published-online":{"date-parts":[[2012,9,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.7.9.2046-2052","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,9,1]]}}}