{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:55:37Z","timestamp":1761490537969,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,11,29]],"date-time":"2016-11-29T00:00:00Z","timestamp":1480377600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,11,29]]},"DOI":"10.1145\/3175731.3176180","type":"proceedings-article","created":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T12:47:13Z","timestamp":1523278033000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["The sosADL studio"],"prefix":"10.1145","author":[{"given":"Flavio","family":"Oquendo","sequence":"first","affiliation":[{"name":"Univ. Bretagne Sud \/ Univ. Bretagne Loire, Vannes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00e9my","family":"Buisson","sequence":"additional","affiliation":[{"name":"Univ. Bretagne Sud \/ Univ. Bretagne Loire, Vannes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Leroux","sequence":"additional","affiliation":[{"name":"Univ. Bretagne Sud \/ Univ. Bretagne Loire, Vannes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gersan","family":"Mogu\u00e9rou","sequence":"additional","affiliation":[{"name":"Univ. Bretagne Sud \/ Univ. Bretagne Loire, Vannes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Quilbeuf","sequence":"additional","affiliation":[{"name":"Inria Rennes - Bretagne Atlantique, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,11,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of the 14th International Conference on Software Engineering and Formal Methods (SEFM), LNCS","author":"Abraham E.","year":"2016","unstructured":"Abraham E. ; Kremer G. : \" Satisfiability Checking: Theory and Applications \", Proc. of the 14th International Conference on Software Engineering and Formal Methods (SEFM), LNCS , Springer , July 2016 . Abraham E.; Kremer G.: \"Satisfiability Checking: Theory and Applications\", Proc. of the 14th International Conference on Software Engineering and Formal Methods (SEFM), LNCS, Springer, July 2016."},{"key":"e_1_3_2_1_2_1","unstructured":"AcmeStudio: Editing Environment and Visualization Tool for Software Architectural Designs based on the Acme ADL http:\/\/www.cs.cmu.edu\/~acme\/AcmeStudio\/  AcmeStudio: Editing Environment and Visualization Tool for Software Architectural Designs based on the Acme ADL http:\/\/www.cs.cmu.edu\/~acme\/AcmeStudio\/"},{"key":"e_1_3_2_1_3_1","unstructured":"Alloy: Alloy Formal Language and Alloy Analyzer http:\/\/alloy.mit.edu\/alloy\/  Alloy: Alloy Formal Language and Alloy Analyzer http:\/\/alloy.mit.edu\/alloy\/"},{"key":"e_1_3_2_1_4_1","unstructured":"ArchStudio: Open-source software and systems architecture development environment for xADL http:\/\/isr.uci.edu\/projects\/archstudio\/  ArchStudio: Open-source software and systems architecture development environment for xADL http:\/\/isr.uci.edu\/projects\/archstudio\/"},{"key":"e_1_3_2_1_5_1","unstructured":"Capella: Model-Driven Engineering Environment for Systems Engineering and Architecture based on SysML http:\/\/polarsys.org\/capella\/index.html  Capella: Model-Driven Engineering Environment for Systems Engineering and Architecture based on SysML http:\/\/polarsys.org\/capella\/index.html"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2015.21"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48992-6_14"},{"key":"e_1_3_2_1_8_1","unstructured":"COMPASS\n  : Comprehensive Modelling for Advanced Systems-of-Systems http:\/\/www.compass-research.eu  COMPASS: Comprehensive Modelling for Advanced Systems-of-Systems http:\/\/www.compass-research.eu"},{"key":"e_1_3_2_1_9_1","unstructured":"Coq: The Coq Proof Assistant https:\/\/coq.inria.fr\/  Coq: The Coq Proof Assistant https:\/\/coq.inria.fr\/"},{"key":"e_1_3_2_1_10_1","unstructured":"DANSE\n  : Designing for Adaptability and Evolution in System-of-Systems Engineering http:\/\/www.danse-ip.eu  DANSE: Designing for Adaptability and Evolution in System-of-Systems Engineering http:\/\/www.danse-ip.eu"},{"key":"e_1_3_2_1_11_1","unstructured":"DEVS\n  : DEVS Formalism and MS4Me Simulator http:\/\/www.ms4systems.com\/  DEVS: DEVS Formalism and MS4Me Simulator http:\/\/www.ms4systems.com\/"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS), St","author":"Graciano Neto V.","year":"2016","unstructured":"Graciano Neto , V. ; Oquendo , F. : \" Validating Emergent Behaviors in Systems-of-Systems through Model Transformations \", Proc. of the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS), St . Malo, France , October 2016 . Graciano Neto, V.; Oquendo, F.: \"Validating Emergent Behaviors in Systems-of-Systems through Model Transformations\", Proc. of the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS), St. Malo, France, October 2016."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695795"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542939"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465490"},{"key":"e_1_3_2_1_16_1","unstructured":"Kodkod: SAT-based Constraint Solver for First-order Relational Logic http:\/\/emina.github.io\/kodkod\/  Kodkod: SAT-based Constraint Solver for First-order Relational Logic http:\/\/emina.github.io\/kodkod\/"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. of the 8th International Conference on Software Engineering Advances (ICSEA)","author":"Leroux E.","year":"2013","unstructured":"Leroux , E. ; Oquendo , F. ; Xiong , Q. : \" Architecture-based Conformance Testing \", Proc. of the 8th International Conference on Software Engineering Advances (ICSEA) , Venice, Italy , October 2013 . Leroux, E.; Oquendo, F.; Xiong, Q.: \"Architecture-based Conformance Testing\", Proc. of the 8th International Conference on Software Engineering Advances (ICSEA), Venice, Italy, October 2013."},{"issue":"4","key":"e_1_3_2_1_18_1","article-title":"Architecting Principles for Systems-of-Systems","volume":"1","author":"Maier M.W.","year":"1998","unstructured":"Maier , M.W. : \" Architecting Principles for Systems-of-Systems \", Journal on Systems Engineering , Vol. 1 , No. 4 , 1998 . Maier, M.W.: \"Architecting Principles for Systems-of-Systems\", Journal on Systems Engineering, Vol. 1, No. 4, 1998.","journal-title":"Journal on Systems Engineering"},{"key":"e_1_3_2_1_19_1","volume-title":"Communicating and Mobile Systems: The π-Calculus","author":"Milner R.","year":"1999","unstructured":"Milner , R. : Communicating and Mobile Systems: The π-Calculus , Cambridge University Press , 1999 . Milner, R.: Communicating and Mobile Systems: The π-Calculus, Cambridge University Press, 1999."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489850.2489853"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2794381"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/986710.986728"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542926"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. of the 11th IEEE System-of-Systems Engineering Conference (SoSE)","author":"Oquendo F.","year":"2016","unstructured":"Oquendo , F. : \" π-Calculus for SoS: A Foundation for Formally Describing Software-intensive Systems-of-Systems \", Proc. of the 11th IEEE System-of-Systems Engineering Conference (SoSE) , Kongsberg, Norway , June 2016 . Oquendo, F.: \"π-Calculus for SoS: A Foundation for Formally Describing Software-intensive Systems-of-Systems\", Proc. of the 11th IEEE System-of-Systems Engineering Conference (SoSE), Kongsberg, Norway, June 2016."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. of 38th International Conference on Communicating Process Architectures (CPA)","author":"Oquendo F.","year":"2016","unstructured":"Oquendo , F. : \" The π-Calculus for SoS: Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems \", Proc. of 38th International Conference on Communicating Process Architectures (CPA) , Copenhagen, Denmark , August 2016 . Oquendo, F.: \"The π-Calculus for SoS: Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems\", Proc. of 38th International Conference on Communicating Process Architectures (CPA), Copenhagen, Denmark, August 2016."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2016.012"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48992-6_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2016.7844575"},{"key":"e_1_3_2_1_29_1","volume-title":"ERCIM News, No.","author":"Oquendo F.","year":"2015","unstructured":"Oquendo , F. ; Legay , A. : \" Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL \", ERCIM News, No. 102, July 2015 . Oquendo, F.; Legay, A.: \"Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL\", ERCIM News, No. 102, July 2015."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48992-6_9"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-44339-3","volume-title":"Software Architecture in Action: Designing and Executing Architectural Models with SysADL","author":"Oquendo F.","year":"2016","unstructured":"Oquendo , F. ; Leite , J.C. ; Batista , T. : Software Architecture in Action: Designing and Executing Architectural Models with SysADL , Springer 2016 . Oquendo, F.; Leite, J.C.; Batista, T.: Software Architecture in Action: Designing and Executing Architectural Models with SysADL, Springer 2016."},{"key":"e_1_3_2_1_32_1","unstructured":"OSATE\n  : SEI Open Source AADL Tool Environment http:\/\/osate.org\/  OSATE: SEI Open Source AADL Tool Environment http:\/\/osate.org\/"},{"key":"e_1_3_2_1_33_1","unstructured":"PLASMA-Lab: Statistical Model Checker https:\/\/project.inria.fr\/plasma-lab\/  PLASMA-Lab: Statistical Model Checker https:\/\/project.inria.fr\/plasma-lab\/"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_56"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2015.7151951"},{"key":"e_1_3_2_1_36_1","unstructured":"SysML: OMG Systems Modeling Language http:\/\/www.omg.org\/spec\/SysML  SysML: OMG Systems Modeling Language http:\/\/www.omg.org\/spec\/SysML"},{"key":"e_1_3_2_1_37_1","unstructured":"UPPAAL\n  : Model Checker http:\/\/www.uppaal.org\/  UPPAAL: Model Checker http:\/\/www.uppaal.org\/"}],"event":{"name":"SiSoS@ECSA 2016: International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture","acronym":"SiSoS@ECSA 2016","location":"Copenhagen Denmark"},"container-title":["Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3175731.3176180","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3175731.3176180","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:04:50Z","timestamp":1750273490000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3175731.3176180"}},"subtitle":["an architecture development environment for software-intensive systems-of-systems"],"short-title":[],"issued":{"date-parts":[[2016,11,29]]},"references-count":37,"alternative-id":["10.1145\/3175731.3176180","10.1145\/3175731"],"URL":"https:\/\/doi.org\/10.1145\/3175731.3176180","relation":{},"subject":[],"published":{"date-parts":[[2016,11,29]]},"assertion":[{"value":"2016-11-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}