• A model-driven framework for developing android-based classic multiplayer 2D board games 

      Derakhshandi, Mohammad; Kolahdouz-Rahimi, Shekoufeh; Troya, Javier; Lano, Kevin (Springer, 2021)
      Mobile applications and game development are attractive fields in software engineering. Despite the advancement of programming languages and integrated development environments, there have always been many challenges for ...
    • Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata 

      Cámara, Javier; Calinescu, Radu; Cheng, Betty H.C.; Garlan, David; Schmerl, Bradley; [et al.] (2022-10-23)
    • Análisis de Conformidad de Gemelos Digitales Multi-Fidelidad 

      Muñoz Ariza, Paula; Troya, Javier; Vallecillo-Moreno, Antonio Jesus (Biblioteca Digital SISTEDES, 2022-08-30)
      Un gemelo digital es una réplica virtual de un sistema a un cierto nivel de fidelidad, sincronizados a una determinada frecuencia. Los gemelos digitales suelen emplearse para replicar sistemas físicos cuyas simulaciones ...
    • Concurrent Model Transformations with Linda 

      Burgueño, Loli; Troya, Javier; Vallecillo-Moreno, Antonio Jesus
      Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread deals with the whole transformation. However, model transformations dealing with very large models, ...
    • Expressing Measurement Uncertainty in OCL/UML Datatypes 

      Fernández-Bertoa, Manuel; Moreno, Nathalie; Barquero, Gala; Burgueño, Loli; Troya, Javier; [et al.] (2018-05-31)
      Uncertainty is an inherent property of any measure or estimation performed in any physical setting, and therefore it needs to be considered when modeling systems that manage real data. Although several modeling languages ...
    • Improving query performance on dynamic graphs 

      Barquero, Gala; Troya, Javier; Vallecillo-Moreno, Antonio Jesus (Springer, 2020-11-20)
      Querying large models efficiently often imposes high demands on system resources such as memory, processing time, disk access or network latency. The situation becomes more complicated when data are highly interconnected, ...
    • Introducing Approximate Model Transformations 

      Troya, Javier; Vallecillo-Moreno, Antonio Jesus (2014-09-22)
      Model transformations dealing with very large models need to count on mechanisms and tools to be able to manage them. The usual approach to improve performance in these cases has focused on the use of concurrency and ...
    • Key-Value vs Graph-based data lakes for realizing Digital Twin systems 

      Pérez Porras, Daniel; Muñoz Ariza, Paula; Vallecillo-Moreno, Antonio Jesus; Troya, Javier (2022-07-05)
      Digital twins constitute virtual representations of physically existing systems, synchronized at a specified frequency and fidelity. One way to connect physical and digital twins is through data lakes, which are efficient ...
    • Managing Uncertain Complex Events in Web of Things Applications 

      Moreno, Nathalie; Fernández-Bertoa, Manuel; Barquero, Gala; Burgueño, Loli; Troya, Javier; [et al.] (2018-05-31)
      A critical issue in the Web of Things (WoT) is the need to process and analyze the interactions of Web-interconnected real-world objects. Complex Event Processing (CEP) is a powerful technology for analyzing streams of ...
    • Model Transformation Testing and Debugging: A Survey 

      Troya, Javier; Segura, Sergio; Burgueño, Lola; Wimmer, Manuel (ACM, 2022)
      Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ...
    • Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio 

      Moreno-Delgado, Antonio; Durán, Francisco; Zschaler, Steffen; Troya, Javier (2014-08-01)
      We address some of the limitations for extending and validating MDE-based implementations of NFP analysis tools by presenting a modular, model-based partial reimplementation of one well-known analysis framework, namely the ...
    • On the Modular Specification of NFPs: A Case Study 

      Moreno-Delgado, Antonio; Troya, Javier; Durán-Muñoz, Francisco Javier; Vallecillo-Moreno, Antonio Jesus (Jornadas de Ingeniería del Software y Bases de Datos, 2013-09)
      The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful proposals ...
    • On the Realization of TractsTool 

      Burgueño, Maria Dolores; Wimmer, Manuel; Troya, Javier; Vallecillo-Moreno, Antonio Jesus
      Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this ...
    • Parallel In-place Model Transformations with LinTra 

      Burgueño, Loli; Troya, Javier; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesus
      As software systems have grown large and complex in the last few years, the problems with which Model-Driven Development has to cope have increased at the same pace. In particular, the need to improve the performance and ...
    • Towards Approximate Model Transformations 

      Troya, Javier; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesus; Burgueño, Loli
      As the size and complexity of models grow, there is a need to count on novel mechanisms and tools for transforming them. This is required, e.g., when model transformations need to provide target models without having access ...
    • Uncertainty representation in software models: a survey 

      Troya, Javier; Moreno, Nathalie; Bertoa, Manuel F.; Vallecillo-Moreno, Antonio Jesus (Springer, 2021-01-08)
      This paper provides a comprehensive overview and analysis of research work on how uncertainty is currently represented in software models. The survey presents the definitions and current research status of different proposals ...