{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T21:09:23Z","timestamp":1773695363524,"version":"3.50.1"},"reference-count":48,"publisher":"IEEE","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/sysose.2018.8428726","type":"proceedings-article","created":{"date-parts":[[2018,8,9]],"date-time":"2018-08-09T18:13:33Z","timestamp":1533838413000},"page":"14-21","source":"Crossref","is-referenced-by-count":13,"title":["A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees"],"prefix":"10.1109","author":[{"given":"Flavio","family":"Oquendo","sequence":"first","affiliation":[{"name":"IRISA &#x2013; UMR CNRS 6074, Univ. Bretagne Sud, Vannes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00e9my","family":"Buisson","sequence":"additional","affiliation":[{"name":"IRISA &#x2013; UMR CNRS 6074, Univ. Bretagne Sud, Vannes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Leroux","sequence":"additional","affiliation":[{"name":"IRISA &#x2013; UMR CNRS 6074, Univ. Bretagne Sud, Vannes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gersan","family":"Mogu\u00e9rou","sequence":"additional","affiliation":[{"name":"IRISA &#x2013; UMR CNRS 6074, Univ. Bretagne Sud, Vannes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48992-6_9"},{"key":"ref38","article-title":"Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL","author":"oquendo","year":"2015","journal-title":"ERCIM News"},{"key":"ref33","article-title":"Software Architecture Challenges and Emerging Research in Software-intensive Systems-of-Systems","author":"oquendo","year":"2016","journal-title":"Proc of the European Conference on Software Architecture (ECSA)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2016.7844575"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542925"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542926"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2017.7994941"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2017.7994959"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2016.012"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3175731.3176180"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2015.21"},{"key":"ref40","author":"oquendo","year":"2016","journal-title":"Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard"},{"key":"ref11","article-title":"Statistical Model Checking of Dynamic Software Architectures","author":"cavalcante","year":"2016","journal-title":"Proc of the European Conference on Software Architecture (ECSA)"},{"key":"ref12","year":"0"},{"key":"ref13","year":"0"},{"key":"ref14","year":"0"},{"key":"ref15","year":"0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.24251\/HICSS.2018.724"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695795"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542939"},{"key":"ref19","year":"2017"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2794381"},{"key":"ref4","year":"0"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"ref3","year":"0"},{"key":"ref6","article-title":"A Tutorial on Uppaal","author":"behrmann","year":"2004","journal-title":"Proc of the 4th International School on Formal Methods for the Design of Computer Communication and Software Systems (SFM-RT) LNCS 3185"},{"key":"ref29","article-title":"An Architecture Description Language based on the Higher-Order Typed ?-Calculus for Specifying Dynamic and Mobile Software Architectures","volume":"29","author":"oquendo","year":"2004","journal-title":"ACM SEN"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/52.965805"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-27755-2_3","article-title":"Timed Automata: Semantics, Algorithms and Tools","author":"bengtsson","year":"2004","journal-title":"Lecture Notes on Concurrency and Petri Nets"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15670-4_14"},{"key":"ref2","year":"0"},{"key":"ref9","year":"0"},{"key":"ref1","article-title":"Satisfiability Checking: Theory and Applications","author":"abraham","year":"2016","journal-title":"Proceedings of the IEEE International Conference on Software Engineering and Formal Methods (SEFM)"},{"key":"ref46","year":"0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_23"},{"key":"ref45","year":"0"},{"key":"ref48","author":"zinovieva-leroux","year":"2004","journal-title":"Symbolic Methods in Test Generation for Reactive Systems with Data"},{"key":"ref22","year":"0"},{"key":"ref47","year":"0"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465490"},{"key":"ref42","year":"0"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"ref41","year":"0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2015.7151951"},{"key":"ref26","author":"milner","year":"1999","journal-title":"Communicating and Mobile Systems The ?-Calculus"},{"key":"ref43","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-47166-2_56","article-title":"A Logic for the Statistical Model Checking of Dynamic Software Architectures","author":"quilbeuf","year":"2016","journal-title":"Proc of the 7th International Symposium On Leveraging Applications of Formal Methods Verification and Validation (ISOLA)"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","author":"milner","year":"1980","journal-title":"A Calculus of Communicating Systems"}],"event":{"name":"2018 13th Annual Conference on System of Systems Engineering (SoSE)","location":"Paris, France","start":{"date-parts":[[2018,6,19]]},"end":{"date-parts":[[2018,6,22]]}},"container-title":["2018 13th Annual Conference on System of Systems Engineering (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8410820\/8428694\/08428726.pdf?arnumber=8428726","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T20:13:16Z","timestamp":1773691996000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8428726\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/sysose.2018.8428726","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}