
- RIUMA Principal
- Listar por autor
Listar por autor "Troya-Castilla, Javier"
Mostrando ítems 1-17 de 17
-
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 ... -
Análisis de Conformidad de Gemelos Digitales Multi-Fidelidad
Muñoz Ariza, Paula; Troya-Castilla, 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
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 Moreno, Gala; Burgueño-Caballero, Lola
; Troya-Castilla, Javier
; Vallecillo-Moreno, Antonio Jesus
[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 Moreno, Gala; Troya-Castilla, 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-Castilla, 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-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 Jesus
[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
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
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-Castilla, 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
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
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 ... -
Processing Structured Data Streams
Barquero Moreno, Gala (UMA Editorial, 2021)A large amount of data is daily generated from different sources such as social networks, recommendation systems or geolocation systems. Moreover, this information tends to grow exponentially every year. Companies have ... -
Towards Approximate Model Transformations
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-Castilla, 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 ...