@InProceedings{RomeroSchnFerr:2013:SySpAl,
               author = "Romero, Alessandro Gerlinger and Schneider, Klaus and Ferreira, 
                         Maur{\'{\i}}cio Gon{\c{c}}alves Vieira",
          affiliation = "{} and {} and {Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "Synchronous specialization of Alf for CyberPhysical Systems",
                 year = "2013",
         organization = "Open EIT ICT Labs Workshop on Cyber-Physical Systems Engineering, 
                         1. (EIT CPSE 2013).",
             keywords = "Alf, CPS, Cyber-Physical Systems, MDA, synchronous-reactive, MoC, 
                         system modeling, SysML.",
             abstract = "Systems engineers use SysML as a vendor-independent language to 
                         model Cyber-Physical Systems. However, SysML does not provide an 
                         executable form to define behavior but this is needed to detect 
                         critical issues as soon as possible. Alf integrated with SysML can 
                         offer some degree of precision. In this paper, we present an 
                         Action Language for Foundational UML (Alf) specialization that 
                         introduces the synchronous-reactive Model of Computation to SysML, 
                         through definition of not explicitly constrained semantics: 
                         timing, concurrency, and inter-object communication. The Smart 
                         Parking system, a well-known cyber-physical system, was selected 
                         to evaluate this specialization. Our initial results show that the 
                         proposed specialization does not add complexity to the task of 
                         modeling using SysML, and enables concise and precise behavioral 
                         definitions.",
  conference-location = "Trento, Italy",
      conference-year = "May 24",
                label = "self-archiving-INPE-MCTI-GOV-BR",
             language = "en",
           targetfile = "cpsModelDrivenArchitecture_v2.3.pdf",
        urlaccessdate = "28 jun. 2024"
}