{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T21:08:59Z","timestamp":1773695339661,"version":"3.50.1"},"reference-count":14,"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.8428738","type":"proceedings-article","created":{"date-parts":[[2018,8,9]],"date-time":"2018-08-09T18:13:33Z","timestamp":1533838413000},"page":"45-52","source":"Crossref","is-referenced-by-count":4,"title":["A Maude based Specification for SoS Architecture"],"prefix":"10.1109","author":[{"given":"A.","family":"Seghiri","sequence":"first","affiliation":[{"name":"LIRE Laboratory, Constantine2-Abdelhamid Mehri University, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Belala","sequence":"additional","affiliation":[{"name":"LIRE Laboratory, Constantine2-Abdelhamid Mehri University, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Benzadri","sequence":"additional","affiliation":[{"name":"LIRE Laboratory, Constantine2-Abdelhamid Mehri University, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabil","family":"Hameurlain","sequence":"additional","affiliation":[{"name":"LIUPPA Laboratory, University of Pau, Pau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61604-7_64"},{"key":"ref11","author":"clavel","year":"0","journal-title":"All About Maude – A High-Performance Logical Framework How to Specify Program and Verify Systems in Rewriting Logic"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA-ECSA.212.49"},{"key":"ref13","author":"mccombs","year":"2003","journal-title":"Maude 2 0 Primer"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1504\/IJOSM.2009.030185"},{"key":"ref4","article-title":"pi-calculus for SoS: A foundation for formally describing software-intensive systems-of-systems","author":"oquendo","year":"2016","journal-title":"11th System of Systems Engineering Conference (SoSE)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384139"},{"key":"ref6","article-title":"Formal architecture description of trustworthy systems-of-systems with SoSADL","author":"oquendo","year":"2015","journal-title":"ERCIM News"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2015.12.001"},{"key":"ref8","first-page":"16","article-title":"Bigraphical reactive systems","author":"milner","year":"2001","journal-title":"International Conference on Concurrency Theory"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2017.01.016"},{"key":"ref2","article-title":"A systems engineering methodology for analyzing systems of systems using the systems modeling language (SysML)","author":"huynh","year":"2006"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.1996.tb02054.x"},{"key":"ref9","article-title":"Towards software architectural descriptions of systems of systems: Case of maritime transport SoS","author":"seghiri","year":"2018","journal-title":"4th International Conference on Knowledge and Software Engineering (ICKSE)"}],"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\/08428738.pdf?arnumber=8428738","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T20:13:12Z","timestamp":1773691992000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8428738\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/sysose.2018.8428738","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}