@InProceedings{RomeroSchnFerr:2014:SeSpSy,
               author = "Romero, Alessandro Gerlinger and Schneider, Klaus and Ferreira, 
                         Maur{\'{\i}}cio Gon{\c{c}}alves Vieira",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {University 
                         of Kaiserslautern} and {Instituto Nacional de Pesquisas Espaciais 
                         (INPE)}",
                title = "Semantics in space systems architectures",
            booktitle = "Proceedings...",
                 year = "2014",
                pages = "14pp",
         organization = "International Conference on Space Operations, 13.",
            publisher = "American Institute of Aeronautics and Astronautics",
             keywords = "space systems architectures.",
             abstract = "Costs, life cycles, technologies and agreements between 
                         stakeholders and organizations make space systems unique with 
                         respect to complexity. A commonly accepted technique to address 
                         part of this complexity is to model and to maintain space systems 
                         architectures through the life cycle of their space programs. The 
                         benefits may range from supporting consistent model definitions 
                         and maintenance up to supporting analysis and verification. Space 
                         systems architectures have been modeled using UPDM (Unified 
                         Profile for DoDAF And MODAF). In fact, UPDM argues that it 
                         provides clearer understanding of the semantics behind specific 
                         views and viewpoints. Nonetheless, while UML defines its semantics 
                         imprecisely using plain text and variation points, UPDM does not 
                         define any semantics. In this paper, we evaluate an extension of 
                         fUML (semantics of a foundational subset for executable UML 
                         models) as a semantic foundation for space systems architectures. 
                         The extension of fUML as a synchronous language provides a 
                         limited, but formally precise and deterministic, form to describe 
                         structure and behavior in UML. Through the combination of this 
                         semantics foundation with UPDM, a precise language supporting a 
                         standardized meta-model emerges for the definition of space 
                         systems architectures. At the end, a simplified case study 
                         covering the operational view (OV-*) is presented. Our initial 
                         results show that synchronous fUML is able to offer semantics for 
                         UPDM.",
  conference-location = "Pasadena",
      conference-year = "may 5-9, 2014.",
                  doi = "10.2514/6.2014-1676",
                  url = "http://dx.doi.org/10.2514/6.2014-1676",
                 isbn = "9781624102219",
                label = "lattes: 3237709114127674 1 RomeroFerr:2014:SeSpSy",
             language = "en",
           targetfile = "RoSF14c.pdf",
        urlaccessdate = "27 abr. 2024"
}