
- RIUMA Principal
- Listar por autor
Listar por autor "Troya-Castilla, Javier"
Mostrando ítems 1-20 de 33
-
A Conceptual Architecture for Building Digital Twins.
Digital twins have recently emerged as an innovative paradigm for improving the performance of cyber-physical systems, software and processes. In essence, a digital twin is a virtual replica of the system whose operation ... -
A model-driven framework for developing android-based classic multiplayer 2D board games
Derakhshandi, Mohammad; Kolahdouz-Rahimi, Shekoufeh; Troya-Castilla, 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. (Summary).
Cámara-Moreno, Javier; Calinescu, Radu; Cheng, Betty H.C.; Garlan, David; Schmerl, Bradley; Troya-Castilla, Javier
; Vallecillo-Moreno, Antonio Jesús
[et al.] (2023)
Software-intensive systems are increasingly used to support tasks that are typically characterized by high degrees of uncertainty. The modeling notations employed to design, verify, and operate such systems have increasingly ... -
Análisis de Conformidad de Gemelos Digitales Multi-Fidelidad
Muñoz Ariza, Paula; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús
(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 ... -
Ant-colony optimization for automating test model generation in model transformation testing.
Karimi, Meysam; Kolahdouz-Rahimi, Shekoufeh; Troya-Castilla, Javier(Elsevier, 2023-11-04)
In model transformation (MT) testing, test data generation is of key importance. However, test suites are not available out of the box, and existing approaches to generate them require to provide not only the metamodel to ... -
Concurrent Model Transformations with Linda
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, ... -
DASSCi: Avatares Digitales Deportivos en Ciudades Inteligentes.
Toro-Gálvez, Lorenzo; Moreno-Vergara, Natalia; Canal-Velasco, José Carlos
; Troya-Castilla, Javier
(2023)
Las nuevas tecnologías han impulsado la evolución de las ciudades inteligentes, las cuales buscan mejorar la calidad de vida de sus habitantes y optimizar la gestión de recursos urbanos a través de soluciones innovadoras ... -
Expressing Measurement Uncertainty in OCL/UML Datatypes
Fernández-Bertoa, Manuel; Moreno, Nathalie; Barquero Moreno, Gala; Burgueño-Caballero, Lola
; Troya-Castilla, Javier
; Vallecillo-Moreno, Antonio Jesús
[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 ... -
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
Oakes, Bentley James; Troya-Castilla, Javier; Galasso, Jessie; Wimmer, Manuel (Springer Nature, 2023-09-29)
The verification of model transformations is important for realizing robust model-driven engineering technologies and quality-assured automation. Many approaches for checking properties of model transformations have been ... -
Improving query performance on dynamic graphs
Barquero Moreno, Gala; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús
(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, ... -
Integrating Citizens’ Avatars in Urban Digital Twins.
García-Luque, Rafael; Toro-Gálvez, Lorenzo; Moreno, Nathalie; Troya-Castilla, Javier; Canal-Velasco, José Carlos
; Pimentel-Sánchez, Ernesto
[et al.] (River Publishers, 2023-12-23)
Urban Digital Twins (UDT) represent a powerful tool to effectively make cities smart. Generally, UDTs are linked with other Digital Twins to build ecosystems where the citizen is at the heart of the ecosystem. This is why ... -
Introducing Approximate Model Transformations
Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús
(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 Jesús; Troya-Castilla, 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 Moreno, Gala; Burgueño-Caballero, Lola
; Troya-Castilla, Javier
; García-López, Adrián; Vallecillo-Moreno, Antonio Jesús
[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 ... -
Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments
Muñoz Ariza, Paula; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesús; Troya-Castilla, Javier
(IEEE, 2024-12)
Digital twins are gaining relevance in many domains to improve the operation and maintenance of complex systems. Despite their importance, most efforts are currently focused on their design, development, and deployment but ... -
Model Transformation Testing and Debugging: A Survey
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 ... -
Modeling Urban Digital Twins over the Cloud-to-Thing Continuum
The interest in the development of smart cities and the proliferation of digital twins as a powerful information processing technology have lead to the definition of Urban Digital Twins (UDTs). UDTs model city aspects such ... -
Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio
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 assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML
Cámara-Moreno, Javier; Troya-Castilla, Javier
; Burgueño-Caballero, Lola
; Vallecillo-Moreno, Antonio Jesús
(Springer, 2023)
Most experts agree that large language models (LLMs), such as those used by Copilot and ChatGPT, are expected to revo- lutionize the way in which software is developed. Many papers are currently devoted to analyzing the ...