{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T12:52:11Z","timestamp":1765889531930,"version":"build-2065373602"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/access.2025.3618522","type":"journal-article","created":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T17:49:41Z","timestamp":1759859381000},"page":"174883-174898","source":"Crossref","is-referenced-by-count":1,"title":["Environmental Assumptions in System Design: A Phenomenon-Based and Operational Perspective"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8792-0640","authenticated-orcid":false,"given":"Mounifah","family":"Alenazi","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, College of Computer Science and Engineering, University of Hafr Al Batin, Hafar Al Batin, Saudi Arabia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5566-2368","authenticated-orcid":false,"given":"Nan","family":"Niu","sequence":"additional","affiliation":[{"name":"School of Computing, University of North Florida, Jacksonville, FL, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2598-1747","authenticated-orcid":false,"given":"Latifah T.","family":"Alshammary","sequence":"additional","affiliation":[{"name":"Department of Science and Technology, University College in Nairiyah, University of Hafr Al Batin, Hafar Al Batin, Saudi Arabia"}]}],"member":"263","reference":[{"article-title":"An assumptions management framework for systems software","year":"2006","author":"Tirumala","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/114669.114686"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.10.003"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970509"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.1997.581900"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115659"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018990005598"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/COUFLESS.2015.12"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671102"},{"volume-title":"Systems Modeling Language (SysML)","year":"2025","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.28"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.21"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.21236\/ADA443152"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2009.39"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.107"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65831-5_14"},{"volume-title":"Systems Modeling Language (SysML) V2","year":"2023","key":"ref17"},{"volume-title":"INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities","year":"2023","author":"Walden","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/isre.1995.512540"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227147"},{"volume-title":"OMG SysML Tutorial","year":"2025","author":"Friedenthal","key":"ref21"},{"key":"ref22","first-page":"242","article-title":"Process systems lifecycle management using a model based engineering approach","volume-title":"Proc. Comput. Syst. Technol. Division-Core Program. Area AIChE Annu. Meeting","author":"Hernandez"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2892745"},{"key":"ref24","article-title":"Minimal assumptions refinement for GR(1) specifications","author":"Cavezza","year":"2019","journal-title":"arXiv:1910.05558"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21759-3_27"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100125"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C59198.2023.00054"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_44"},{"article-title":"Environment assumptions in the context of sysml modeling","year":"2025","author":"Alenazi","key":"ref31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.5"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566873"},{"volume-title":"A Practical Guide to SysML: The Systems Modeling Language","year":"2014","author":"Friedenthal","key":"ref34"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10820123\/11195071.pdf?arnumber=11195071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T05:47:07Z","timestamp":1760507227000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11195071\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/access.2025.3618522","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2025]]}}}