{"id":"https://openalex.org/W4414908557","doi":"https://doi.org/10.1109/access.2025.3618522","title":"Environmental Assumptions in System Design: A Phenomenon-Based and Operational Perspective","display_name":"Environmental Assumptions in System Design: A Phenomenon-Based and Operational Perspective","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4414908557","doi":"https://doi.org/10.1109/access.2025.3618522"},"language":"en","primary_location":{"id":"doi:10.1109/access.2025.3618522","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3618522","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2025.3618522","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032019501","display_name":"Mounifah Alenazi","orcid":"https://orcid.org/0000-0001-8792-0640"},"institutions":[{"id":"https://openalex.org/I4210112337","display_name":"University of Hafr Al-Batin","ror":"https://ror.org/021jt1927","country_code":"SA","type":"education","lineage":["https://openalex.org/I4210112337"]}],"countries":["SA"],"is_corresponding":true,"raw_author_name":"Mounifah Alenazi","raw_affiliation_strings":["Department of Computer Science and Engineering, College of Computer Science and Engineering, University of Hafr Al Batin, Hafar Al Batin, Saudi Arabia","Department of Computer Science and Engineering, College of Computer Science and Engineering, University of Hafr Al Batin, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, College of Computer Science and Engineering, University of Hafr Al Batin, Hafar Al Batin, Saudi Arabia","institution_ids":["https://openalex.org/I4210112337"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, College of Computer Science and Engineering, University of Hafr Al Batin, Saudi Arabia","institution_ids":["https://openalex.org/I4210112337"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044324103","display_name":"Nan Niu","orcid":"https://orcid.org/0000-0001-5566-2368"},"institutions":[{"id":"https://openalex.org/I11874761","display_name":"University of North Florida","ror":"https://ror.org/01j903a45","country_code":"US","type":"education","lineage":["https://openalex.org/I11874761"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nan Niu","raw_affiliation_strings":["School of Computing, University of North Florida, Jacksonville, FL, USA","School of Computing, University of North Florida, USA"],"affiliations":[{"raw_affiliation_string":"School of Computing, University of North Florida, Jacksonville, FL, USA","institution_ids":["https://openalex.org/I11874761"]},{"raw_affiliation_string":"School of Computing, University of North Florida, USA","institution_ids":["https://openalex.org/I11874761"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5119881853","display_name":"Latifah T. Alshammary","orcid":null},"institutions":[{"id":"https://openalex.org/I4210112337","display_name":"University of Hafr Al-Batin","ror":"https://ror.org/021jt1927","country_code":"SA","type":"education","lineage":["https://openalex.org/I4210112337"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Latifah T. Alshammary","raw_affiliation_strings":["Department of Science and Technology, University College in Nairiyah, University of Hafr Al Batin, Hafar Al Batin, Saudi Arabia","Department of Science and Technology, University College at Nairiyah, University of Hafr Al Batin, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"Department of Science and Technology, University College in Nairiyah, University of Hafr Al Batin, Hafar Al Batin, Saudi Arabia","institution_ids":["https://openalex.org/I4210112337"]},{"raw_affiliation_string":"Department of Science and Technology, University College at Nairiyah, University of Hafr Al Batin, Saudi Arabia","institution_ids":["https://openalex.org/I4210112337"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5032019501"],"corresponding_institution_ids":["https://openalex.org/I4210112337"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.3682,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.85469259,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"13","issue":null,"first_page":"174883","last_page":"174898"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.1185000017285347,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.1185000017285347,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.6261000037193298},{"id":"https://openalex.org/keywords/compromise","display_name":"Compromise","score":0.5620999932289124},{"id":"https://openalex.org/keywords/root-cause","display_name":"Root cause","score":0.5206000208854675},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.3783999979496002},{"id":"https://openalex.org/keywords/development-environment","display_name":"Development environment","score":0.33070001006126404},{"id":"https://openalex.org/keywords/state-of-the-environment","display_name":"State of the Environment","score":0.3260999917984009}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7197999954223633},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.6261000037193298},{"id":"https://openalex.org/C46355384","wikidata":"https://www.wikidata.org/wiki/Q726686","display_name":"Compromise","level":2,"score":0.5620999932289124},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.5493000149726868},{"id":"https://openalex.org/C84945661","wikidata":"https://www.wikidata.org/wiki/Q7366567","display_name":"Root cause","level":2,"score":0.5206000208854675},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3783999979496002},{"id":"https://openalex.org/C139968098","wikidata":"https://www.wikidata.org/wiki/Q3055454","display_name":"Development environment","level":2,"score":0.33070001006126404},{"id":"https://openalex.org/C42648095","wikidata":"https://www.wikidata.org/wiki/Q7603824","display_name":"State of the Environment","level":2,"score":0.3260999917984009},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3122999966144562},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.30090001225471497},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2962000072002411},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.2919999957084656},{"id":"https://openalex.org/C3739613","wikidata":"https://www.wikidata.org/wiki/Q679003","display_name":"Distributed Computing Environment","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.2766000032424927},{"id":"https://openalex.org/C130963320","wikidata":"https://www.wikidata.org/wiki/Q1401207","display_name":"Root cause analysis","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2572000026702881}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2025.3618522","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3618522","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:ff31c23974924ce6949b95a9dd564d0c","is_oa":true,"landing_page_url":"https://doaj.org/article/ff31c23974924ce6949b95a9dd564d0c","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 13, Pp 174883-174898 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2025.3618522","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3618522","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1567369818","https://openalex.org/W1574030932","https://openalex.org/W1734354652","https://openalex.org/W1975593192","https://openalex.org/W1988781293","https://openalex.org/W2008190734","https://openalex.org/W2059076106","https://openalex.org/W2109525524","https://openalex.org/W2111445678","https://openalex.org/W2117818414","https://openalex.org/W2126388805","https://openalex.org/W2147913676","https://openalex.org/W2156067358","https://openalex.org/W2157437711","https://openalex.org/W2158791845","https://openalex.org/W2700307383","https://openalex.org/W2761419483","https://openalex.org/W2767903735","https://openalex.org/W2805569646","https://openalex.org/W2912814862","https://openalex.org/W4245656661","https://openalex.org/W4253293040","https://openalex.org/W4254189011","https://openalex.org/W4254409632","https://openalex.org/W4291213652","https://openalex.org/W4390098534"],"related_works":[],"abstract_inverted_index":{"Invalid":[0],"environment":[1,32,96,110,130],"assumptions":[2,33,83,97,131],"have":[3],"been":[4],"identified":[5],"as":[6],"a":[7],"root":[8],"cause":[9],"of":[10,46,87,108,129,145],"failures":[11],"in":[12,90],"many":[13],"systems.":[14],"Industrial":[15],"experience":[16],"shows":[17],"that":[18,124],"it":[19],"is":[20],"often":[21],"easier":[22],"to":[23,39],"overlook":[24],"environmental":[25],"behaviors":[26],"than":[27],"system":[28,42,54,92],"specifications,":[29],"largely":[30],"because":[31],"are":[34],"rarely":[35],"documented":[36],"and":[37,56,102,111,136],"tend":[38],"evolve":[40],"during":[41],"development.":[43],"This":[44],"lack":[45],"explicit":[47,127],"handling":[48],"introduces":[49],"uncertainty,":[50],"which":[51],"can":[52],"compromise":[53],"safety":[55,88],"correctness.":[57],"While":[58],"several":[59],"approaches":[60],"address":[61],"this":[62,77,116],"issue":[63],"at":[64,70],"the":[65,71,85,109,112,126,142],"code":[66],"level,":[67],"their":[68],"impact":[69],"model":[72],"level":[73],"remains":[74],"underexplored.":[75],"In":[76],"paper,":[78],"we":[79,118],"empirically":[80],"investigate":[81],"howenvironmental":[82],"influence":[84],"satisfaction":[86],"requirements":[89],"behavioral":[91],"models.We":[93],"collected":[94],"473":[95],"from":[98],"95":[99],"human":[100],"modelers":[101],"examined":[103],"them":[104],"using":[105],"Jackson\u2019s":[106],"formalization":[107],"machine.":[113],"Based":[114],"on":[115],"analysis,":[117],"identify":[119],"five":[120],"reusable":[121],"modeling":[122],"patterns":[123,140],"enable":[125],"integration":[128],"into":[132],"state":[133],"machine":[134],"designs":[135],"demonstrate":[137],"how":[138],"these":[139],"support":[141],"safe":[143],"evolution":[144],"models.":[146]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}