@InProceedings{RomeroSchnFerr:2014:UsBaSe,
               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 = "Using the Base Semantics given by fUML for Verification",
            booktitle = "Proceedings...",
                 year = "2014",
                pages = "5",
         organization = "International Conference on ModelDriven Engineering and Software 
                         Development, 2. (MODELSWARD).",
            publisher = "SCITEPRESS - Science and and Technology Publications",
             keywords = "Base Semantics, fUML, UML, Alf, Formal Methods, Theorem Proving, 
                         Verification.",
             abstract = "The lack of formal foundations of UML results in imprecise models 
                         since UML only defines graphical notations, but not their formal 
                         semantics. However, in safety-critical applications, formal 
                         semantics is a requirement for verification. Semantics for the key 
                         parts of activities and classes of UML is defined by the semantics 
                         of a foundational subset for executable UML models (fUML). 
                         Moreover, the base semantics given by fUML defines the formal 
                         semantics of UML. In this paper, we evaluate a subset of the base 
                         semantics given by fUML covering its formal definition and its use 
                         for verification. From the practical perspective, we show with a 
                         simple example how the base semantics can support formal 
                         verification through theorem proving. The initial results show 
                         that the base semantics, when mature, can play an important role 
                         in the formal verification of UML models.",
  conference-location = "Lisbon",
      conference-year = "Jan 7-9, 2014",
                  doi = "10.5220/0004662400050016",
                  url = "http://dx.doi.org/10.5220/0004662400050016",
                 isbn = "9789897580079",
                label = "lattes: 3237709114127674 1 GerlingerRomeroSchnFerr:2014:UsBaSe",
             language = "en",
           targetfile = "RoSF14a.pdf",
        urlaccessdate = "03 jun. 2024"
}