{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T15:00:32Z","timestamp":1773932432617,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,11,9]],"date-time":"2024-11-09T00:00:00Z","timestamp":1731110400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,9]],"date-time":"2024-11-09T00:00:00Z","timestamp":1731110400000},"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":[[2024,11,9]]},"DOI":"10.1109\/icaase64542.2024.10850943","type":"proceedings-article","created":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T18:33:53Z","timestamp":1738089233000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems"],"prefix":"10.1109","author":[{"given":"Riad","family":"Helal","sequence":"first","affiliation":[{"name":"University of Constantine 2,LIRE Laboratory,Constantine,Algeria"}]},{"given":"Akram","family":"Seghiri","sequence":"additional","affiliation":[{"name":"University of Constantine 2,LIRE Laboratory,Constantine,Algeria"}]},{"given":"Kamel","family":"Boukhelfa","sequence":"additional","affiliation":[{"name":"University of Constantine 2,LIRE Laboratory,Constantine,Algeria"}]},{"given":"Faiza","family":"Belala","sequence":"additional","affiliation":[{"name":"University of Constantine 2,LIRE Laboratory,Constantine,Algeria"}]},{"given":"Nabil","family":"Hameurlain","sequence":"additional","affiliation":[{"name":"University of Pau,LIUPPA Laboratory,Pau,France"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAASE51408.2020.9380125"},{"key":"ref2","volume-title":"ArchSoS: un langage de description d\u2019architectures avanc\u00e9es des syst\u00e8mes de syst\u00e8mes","author":"Seghiri","year":"2022"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2014.tb03142.x"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21221"},{"key":"ref5","article-title":"A systems engineering methodology for analyzing systems of systems using the systems modeling language (sysml)","author":"Huynh","year":"2006","journal-title":"Department of Systems Engineering, Naval Postgraduate School, Monterey"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MECO62516.2024.10577799"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon61195.2024.10553612"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2019.2894649"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.12669\/pjms.35.4.194"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_56"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2015.12.001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s12555-014-0575-5"},{"issue":"6","key":"ref13","first-page":"692","article-title":"Collab-oration business process modeling based on petri nets and pi calculus","volume":"9","author":"Fei","year":"2015","journal-title":"Journal of Frontiers of Computer Science & Technology"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.04.008"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA53835.2021.00016"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2017.4041349"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2343751"},{"key":"ref18","volume-title":"All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Programming and Software Engineering, 4350","author":"Clavel","year":"2007"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80137-9"}],"event":{"name":"2024 International Conference on Advanced Aspects of Software Engineering (ICAASE)","location":"Constantine, Algeria","start":{"date-parts":[[2024,11,9]]},"end":{"date-parts":[[2024,11,10]]}},"container-title":["2024 International Conference on Advanced Aspects of Software Engineering (ICAASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10850891\/10850921\/10850943.pdf?arnumber=10850943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T06:35:44Z","timestamp":1738132544000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10850943\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icaase64542.2024.10850943","relation":{},"subject":[],"published":{"date-parts":[[2024,11,9]]}}}