Fernando Macías
@femaciasg
ID: 1346572412
12-04-2013 11:07:29
41 Tweet
57 Followers
12 Following
🔵Volker Stolz @[email protected] from, @hvl_no, presents a modeling for smart home interoperability and how to represent it in one of the standards for IoT, SAREF, as well as the challenges involved. The objective is to achieve its use for migration between different smart home platforms.
🔵 Violet Ka I Pun, from @hvl_no, presents the preliminary results of the CROFLOW project, focused on decision making to optimize workflows. The goal is to automate these processes and make them less manual and more efficient. #imdeasoftware
José Ignacio Requeno, from Complutense, is presenting Petri nets (PN) -an automaton-based formalism for modelling concurrent systems- for MDE. Requena motivates the combination of PN with monitors and runtime verification techniques.
🔵 Adrian Rutle, from @hvl_no, has given an overall introduction to multi-modelling, then hint at various ways of achieving consistency and has also presented an approach to restore consistency based on reinforcement learning.
🔵 Pablo Parra has described the model-driven solutions that were adopted to facilitate the development of on-board satellite software within the development project of the instrument control unit of the Energetic Particle Detector of the Solar Orbiter mission, among others.
🔵 The last talk, given by Óscar Rodríguez Rodr, from Universidad Alcalá, has been about “Application of modeling techniques for on-board satellite applications: Requirements management, design, validation and verification activities”
Yo apoyo #InformaticaSolucionYA y nomino a Juan Hernandez Elena Jurado Fernando Macías Nando S. Figueroa Roberto RE