{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T13:32:26Z","timestamp":1790688746785,"version":"4.1.0"},"reference-count":85,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001807","name":"S&#x00E3;o Paulo Research Foundation","doi-asserted-by":"crossref","award":["2017\/22107-2"],"award-info":[{"award-number":["2017\/22107-2"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001807","name":"S&#x00E3;o Paulo Research Foundation","doi-asserted-by":"crossref","award":["2015\/06195-3"],"award-info":[{"award-number":["2015\/06195-3"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001807","name":"S&#x00E3;o Paulo Research Foundation","doi-asserted-by":"crossref","award":["2017\/15354-3"],"award-info":[{"award-number":["2017\/15354-3"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001807","name":"S&#x00E3;o Paulo Research Foundation","doi-asserted-by":"crossref","award":["2017\/06195-9"],"award-info":[{"award-number":["2017\/06195-9"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Coordenao de Aperfeioamento de Pessoal de Nvel Superior","award":["001"],"award-info":[{"award-number":["001"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Systems Journal"],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1109\/jsyst.2018.2874061","type":"journal-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T14:24:49Z","timestamp":1540823089000},"page":"2201-2212","source":"Crossref","is-referenced-by-count":15,"title":["A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0178-6055","authenticated-orcid":false,"given":"Cristiane Aparecida","family":"Lana","sequence":"first","affiliation":[{"name":"Institute of Mathematics and Computer Sciences, University of S\u00e3o Paulo, S\u00e3o Carlos, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1728-8384","authenticated-orcid":false,"given":"Milena","family":"Guessi","sequence":"additional","affiliation":[{"name":"Institute of Mathematics and Computer Sciences, University of S\u00e3o Paulo, S\u00e3o Carlos, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9631-8771","authenticated-orcid":false,"given":"Pablo Oliveira","family":"Antonino","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dieter","family":"Rombach","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elisa Yumi","family":"Nakagawa","sequence":"additional","affiliation":[{"name":"Institute of Mathematics and Computer Sciences, University of S\u00e3o Paulo, S\u00e3o Carlos, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref73","article-title":"Designing for adaptability and evolution in system of systems engineering: Characterization of sos d 4.1","author":"bendov","year":"2009"},{"key":"ref72","article-title":"i* an agent-and goal-oriented modelling framework","author":"yu","year":"2011"},{"key":"ref71","article-title":"A kaos tutorial","year":"2007"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/ESARS.2015.7101503"},{"key":"ref76","first-page":"3","article-title":"Towards a framework for more robust validation and verification of simulation models for systems of systems","volume":"13","author":"zeigler","year":"2015","journal-title":"J Defense Model Simul Appl Methodol Technol"},{"key":"ref77","article-title":"Formal methods tools qualification","author":"wagner","year":"2017"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.133.1"},{"key":"ref39","article-title":"A method to define requirements for system-of-systems","author":"walker","year":"2014"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/2642803.2642825"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21272"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/322609.323185"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9202-6"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2011.17"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0006"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/IConAC.2014.6935460"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.067"},{"key":"ref37","article-title":"Systems-of-systems for border-crossing innovation in the digitized society: A strategic research and innovation agenda for Sweden","author":"axelsson","year":"2015"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.21236\/ADA515876"},{"key":"ref35","article-title":"What is a system-of-system and why should i care?","author":"lane","year":"2013"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2005.1571126"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.2495\/CR100691"},{"key":"ref62","article-title":"Formal methods specification and analysis guidebook for the verification of software and computer systems - volume ii: A practitioner's companion","year":"1997"},{"key":"ref61","first-page":"79","article-title":"Formal specification in software development: A overview","volume":"7","author":"misic","year":"1997","journal-title":"Yugoslav J Oper Res"},{"key":"ref63","article-title":"Formal verification of an avionics microprocessor","author":"srivas","year":"1995"},{"key":"ref28","first-page":"5","article-title":"Requirements validation techniques: An empirical study","volume":"148","author":"bila","year":"2016","journal-title":"Int J Comput Appl"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336546"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1984.233702"},{"key":"ref65","volume":"2","author":"ghezzi","year":"2002","journal-title":"Fundamentals of Software Engineering"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/ITSIM.2010.5561643"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/32.663994"},{"key":"ref67","year":"2002","journal-title":"Information Technology&#x2014;Z Formal Specification Notation&#x2014;Syntax Type System and Semantics"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21205"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.22"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2008.4518994"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1631\/FITEE.1500309"},{"key":"ref22","article-title":"Systems modeling language","year":"2016"},{"key":"ref21","author":"friedenthal","year":"2008","journal-title":"A Practical Guide to SysML The Systems Modeling Language"},{"key":"ref24","author":"rozenberg","year":"2004","journal-title":"Handbook of Formal Languages"},{"key":"ref23","first-page":"152","article-title":"Simulation in business and industry: How simulation context can affect simulation practice?","author":"ahmed","year":"0","journal-title":"Proc Spring Simul Multiconf"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.04.003"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1852786.1852789"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.01.002"},{"key":"ref59","first-page":"v1-400","article-title":"Scenario-based modeling and verification for ctcs-3 system requirement specification","volume":"1","author":"tang","year":"0","journal-title":"Proc 2nd Int Conf Comput Eng Technol"},{"key":"ref58","article-title":"Formal methods case studies for do-333","author":"cofer","year":"2014"},{"key":"ref57","year":"2009","journal-title":"Road Vehicles&#x2014;Functional Safety"},{"key":"ref56","article-title":"Guidelines for communication, navigation, surveillance, and air traffic management (CNS\/ATM) systems software integrity assurance","year":"2002"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.7.4.823-834"},{"key":"ref53","first-page":"192","article-title":"A case study of combining i* framework and the z notation","author":"krishna","year":"0","journal-title":"Proc 6th Int Conf Enterprise Inf Syst"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.05.015"},{"key":"ref10","article-title":"System engineering guide for systems-of-systems engineering","author":"baldwin","year":"2008"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2514\/1.C031008"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/RESS.2011.6043923"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2016.182"},{"key":"ref13","first-page":"1","article-title":"Healthcare facility commissioning - the transition of clinical services","author":"watt","year":"0","journal-title":"Proc 26th Ann INCOSE Int Symp"},{"key":"ref14","year":"2017","journal-title":"Software and Systems Engineering ? Vocabulary"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.aej.2014.06.001"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2010.5543979"},{"key":"ref16","article-title":"Leveraging business architecture to improve business requirements analysis","author":"randell","year":"2014"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.09.276"},{"key":"ref17","author":"boehm","year":"1981","journal-title":"Software Engineering Economics"},{"key":"ref84","year":"1999","journal-title":"The Specification and Demonstration of Reliability Availability Maintainability and Safety (RAMS)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jides.2016.05.001"},{"key":"ref83","year":"2009","journal-title":"Medical Device Software&#x2014;Part 1 Guidance on the Application of ISO 14971 to Medical Device Software"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2005.06.001"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/SBCARS.2015.18"},{"key":"ref4","article-title":"Systems of systems","author":"dersin","year":"0","journal-title":"IEEE-Rel Soc"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/9781118501757.ch2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.01.073"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1631\/FITEE.1500309"},{"key":"ref85","year":"2011","journal-title":"Railway Applications&#x2014;Communication Signalling and Processing Systems&#x2014;Software for Railway Control and Protection Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2794381"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2013.6636746"},{"key":"ref49","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.infsof.2015.03.007","article-title":"Guidelines for conducting systematic mapping studies in software engineering","volume":"64","author":"pertensen","year":"2015","journal-title":"Inf Softw Technol"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/10429247.2008.11431785"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.03.007"},{"key":"ref45","first-page":"1","article-title":"Avionics systems requirements: A comparison of RSML and SCR","author":"dutertre","year":"0","journal-title":"Proc Irish Signals Syst Conf"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9091-7"},{"key":"ref47","article-title":"Guidelines for performing systematic literature reviews in software engineering","author":"kitchenham","year":"2007"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.08.007"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2009.4815806"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.9790\/0661-1153739"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.001"}],"container-title":["IEEE Systems Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4267003\/8811839\/08514059.pdf?arnumber=8514059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T17:04:02Z","timestamp":1657731842000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8514059\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":85,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/jsyst.2018.2874061","relation":{},"ISSN":["1932-8184","1937-9234","2373-7816"],"issn-type":[{"value":"1932-8184","type":"print"},{"value":"1937-9234","type":"electronic"},{"value":"2373-7816","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9]]}}}