{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T05:45:31Z","timestamp":1751521531747},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,12,15]],"date-time":"2015-12-15T00:00:00Z","timestamp":1450137600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Brazilian Coordination for Enhancement of Higher Education Personnel (CAPES)","award":["12564-12-5"],"award-info":[{"award-number":["12564-12-5"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s11334-015-0267-1","type":"journal-article","created":{"date-parts":[[2015,12,15]],"date-time":"2015-12-15T21:59:07Z","timestamp":1450216747000},"page":"27-40","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Semantics in space systems architectures"],"prefix":"10.1007","volume":"12","author":[{"given":"Alessandro Gerlinger","family":"Romero","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Maur\u00edcio Gon\u00e7alves Vieira","family":"Ferreira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,15]]},"reference":[{"key":"267_CR1","doi-asserted-by":"crossref","unstructured":"Andre C, Mallet F, Peraldi-Frati MA (2007) A multiform time approach to real-time system modeling. In: International symposium on industrial embedded systems","DOI":"10.1109\/SIES.2007.4297340"},{"issue":"1","key":"267_CR2","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards S, Halbwachs N, Le Guernic P, de Simone R (2003) The synchronous languages twelve years later. Proc IEEE 91(1):64\u201383","journal-title":"Proc IEEE"},{"key":"267_CR3","doi-asserted-by":"crossref","unstructured":"Benveniste A, Caillaud P, Le Guernic P (2000) Compositionality in dataflow synchronous languages: specification and distributed code generation. In: Inf Comput 163:125\u2013171","DOI":"10.1006\/inco.2000.9999"},{"key":"267_CR4","doi-asserted-by":"crossref","unstructured":"Benyahia A, Cuccuru A, Taha S, Terrier F, Boulanger F, Gerard S (2010) Extending the standard execution model of UML for real-time systems. In: IFIP advances in information and communication technology, Australia, pp 43\u201354","DOI":"10.1007\/978-3-642-15234-4_6"},{"key":"267_CR5","unstructured":"Bordin M, Naks T, Pantel M, Toom A (2012) Compiling heterogeneous models: motivations and challenges. In: Proceedings\u2014embedded real time software and systems, Tolouse, France"},{"key":"267_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract state machines: a method for high-level system design and analysis","author":"E Borger","year":"2003","unstructured":"Borger E, Stark RF (2003) Abstract state machines: a method for high-level system design and analysis. Springer, New York"},{"key":"267_CR7","unstructured":"European Cooperation for Space Standardization (ECSS) (2008) Space engineering ground systems and operations monitoring data definition, ECSS-E-ST-70-31C. ESAESTEC, The Netherlands"},{"key":"267_CR8","unstructured":"Forget J, Boniol F, Lesens D, Pagetti C, Pouzet M (2008) Programming languages for hard real-time embedded systems. In: Embedded real time software, France"},{"key":"267_CR9","unstructured":"Hayden LJ, Jeffries A (2012). On using SysML, DoDAF 2.0 and UPDM to model the architecture for the NOAAs joint polar satellite system (JPSS) ground system (GS). In: SpaceOps 2012, 2012, Stockholm. 12th international conference on space operations. AIAA, Stockholm"},{"key":"267_CR10","unstructured":"International Organization for Standardization (ISO) (1998) Information technology open distributed processing reference model: overview. ISO\/IEC 10746-1"},{"key":"267_CR11","unstructured":"International Organization for Standardization (ISO) (1998) Information technology open distributed processing\u2014reference model: architectural semantics. ISO\/IEC 10746-4"},{"key":"267_CR12","doi-asserted-by":"crossref","unstructured":"Ober I, Ober I, Dragomir I, Aboussoror E (2011) UML\/SysML semantic tunings. J Innov Syst Softw Eng. Springer, Berlin, pp 257\u2013264","DOI":"10.1007\/s11334-011-0163-2"},{"key":"267_CR13","unstructured":"Object Management Group (OMG) (2012) Semantics of a foundational subset for executable UML models: version 1.1 RTF Beta1. http:\/\/www.omg.org\/spec\/FUML\/"},{"key":"267_CR14","unstructured":"Object Management Group (OMG) (2012) Systems modeling language: version: 1.3. http:\/\/www.omgsysml.org\/"},{"key":"267_CR15","unstructured":"Object Management Group (OMG) (2013) Unified profile for DoDAF and MODAF (UPDM): version: 2.1 RTF beta. http:\/\/www.omg.org\/spec\/UPDM\/2.1\/"},{"key":"267_CR16","unstructured":"Object Management Group (OMG) (2011) Unified modeling language superstructure: version: 2.4.1. OMG, USA. http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"key":"267_CR17","doi-asserted-by":"crossref","unstructured":"Poupart E, Charmeau MC (2012) Modeling space system to provide global coherency from design to operation phases. In: SpaceOps 2012, 2012, Stockholm. 12th international conference on space operations. AIAA, Stockholm","DOI":"10.2514\/6.2012-1242041"},{"key":"267_CR18","unstructured":"Romero AG (2014) Hybrid fUML\u2014developer\u2019s guide. In: Space technoloy and engineering. National Institute for Space Research, Brazil. http:\/\/urlib.net\/sid.inpe.br\/mtc-m21b\/2014\/09.22.00.21 . Accessed 23 Sept 2014"},{"key":"267_CR19","unstructured":"Romero AG, Workspace hybrid fUML\u2014v 1.0. (2014) Space technoloy and engineering. National Institute for Space Research, Brazil. http:\/\/mtc-m21b.sid.inpe.br\/rep\/sid.inpe.br\/mtc-m21b\/2014\/09.21.22.28 . Accessed 23 Sept 2014"},{"key":"267_CR20","unstructured":"Romero AG, Schneider K, Ferreira MGV (2013) Towards the applicability of Alf to model cyber-physical systems. In: International workshop on cyber-physical systems (IWCPS), Krakow, Poland"},{"key":"267_CR21","unstructured":"Romero AG, Schneider K, Ferreira MGV (2014) Integrating UML composite structures and fUML. In: International conference on current trends in theory and practice of computer science (SOFSEM). High Tatras, Slovakia"},{"key":"267_CR22","doi-asserted-by":"crossref","unstructured":"Shames P, Skipper J (2006) Toward a framework for modeling space systems architectures. In: SpaceOps 2006, 2006, Rome. 9th international conference on space operations. AIAA, Rome","DOI":"10.2514\/6.2006-5581"},{"key":"267_CR23","unstructured":"Shames P, Anderson ML, Kowal S, Levesque M, Sindiy OV, Donahue KM, Barnes PD (2012) NASA integrated network monitor and control software architecture. In: SpaceOps 2012, 2012, Stockholm. 12th international conference on space operations. AIAA, Stockholm"},{"key":"267_CR24","unstructured":"The Consultative Committee for Space Data Systems (CCSDS) (2008) Reference architecture for space data systems (RASDS), CCSDS 311.0-M-1, CCSDS, Sept 2008"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-015-0267-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-015-0267-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-015-0267-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T14:37:23Z","timestamp":1567435043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-015-0267-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,15]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["267"],"URL":"https:\/\/doi.org\/10.1007\/s11334-015-0267-1","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,15]]}}}