Listar por autor "Muñoz Ariza, Paula"
Mostrando ítems 1-10 de 10
-
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 ... -
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 ... -
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams
Muñoz Ariza, Paula; Burgueño-Caballero, Lola; Vallecillo-Moreno, Antonio Jesús; Gogolla, Martin (2019-09-20)
This paper presents the extension of a UML and OCL tool that enables the textual specification of UML sequence diagrams, and the automated generation of all valid behaviors according to these sequence diagrams. Message ... -
Creación de pruebas automatizadas para modelos ejecutables de software
(2021-06)El Desarrollo Guiado por Comportamiento (conocido como BDD, por sus siglas en inglés, Behavior Driven Development) es una estrategia para desarrollar software usando la especificación del comportamiento y los resultados ... -
Dealing with Belief Uncertainty in Domain Models.
Burgueño-Caballero, Lola; Muñoz Ariza, Paula; Clarisó, Robert; Cabot, Jordi; Gérard, Sébastien; Vallecillo-Moreno, Antonio Jesús[et al.] (2023)
There are numerous domains in which information systems need to deal with uncertain information. These uncertainties may originate from different reasons such as vagueness, imprecision, incompleteness or inconsistencies; ... -
Diseño y desarrollo de un gemelo digital de un brazo robótico Arduino (TinkerKit Braccio)
(2022-06)Los gemelos digitales son representaciones virtuales de sistemas existentes en el mundo físico (sus gemelos físicos). Sin embargo, su complejidad inherente supone un gran desafío para desarrollarlos y verificar su ... -
Interoperabilidad de modelos UML entre herramientas gráficas y textuales
(2021)A la hora de diseñar modelos software se puede optar por utilizar herramientas de notación gráfica o de notación textual. La preferencia entre ellas es uno de los grandes debates dentro de la Ingeniería del Software Dirigida ... -
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 ... -
¿Qué es un Gemelo Digital? Una Propuesta de Arquitectura para su Implementación
En los últimos años, los gemelos digitales se han presentado como un paradigma innovador para mejorar el funcionamiento de sistemas ciberfísicos, software o procesos. El gemelo digital es una réplica virtual del sistema ... -
Simulación de Diagramas de Secuencia con la herramienta de modelado USE
(2020-01-21)Este proyecto se enmarca en el paradigma de la ingeniería del software dirigida por modelos, puesto que se pretende crear una herramienta que facilite la comprensión y la validación del comportamiento de modelos de software ...