Extensiones UML para la sincronización de capturas
El lenguaje de modelado unificado (UML) representa un importante esfuerzo de un gran número de expertos en metodología para construir un medio común de describir los sistemas complejos gracias al concepto de la orientación a los objetos. Desde la aprobación de la norma UML y la última versión, UML 2.0 este lenguaje de modelado se ha utilizado para desarrollar un gran número de sistemas de mayor prioridad temporal y de recursos. No obstante, la UML carece de algunas áreas que resultan fundamentales para los diseñadores y desarrolladores de sistemas integrados en tiempo real. En concreto, la falta de unas nociones cuantificables de tiempo y recursos ha impedido su uso generalizado, y la definición estricta de la semántica es un requisito obligatorio. Afortunadamente, se comprobó que el UML tenía todos los mecanismos necesarios para resolver estos problemas a través de su servicio de extensibilidad. El vínculo entre la ejecución del sistema y el progreso temporal puede describirse con precisión, y por tanto se puede contribuir al comportamiento de modelado dependiente del tiempo. Para ello se introdujo una entidad activa, con el fin de poder definir los límites de duración entre los sucesos arbitrarios que se producían en el sistema. Además del temporizador, un reloj recupera el momento real de tiempo. Las demás extensiones permiten identificar los episodios de relevancia sintáctica en la ejecución del sistema, incluida la información relacionada con el tipo y el tiempo de incidencia. Además, se definió un formalismo operacional para expresar suposiciones y requisitos que implican condiciones más complejas que la distancia entre dos sucesos. Se puede ejecutar un observador sincrónicamente con un sistema y vigilar su estado y los sucesos que se producen. Se utiliza como aceptador de lenguaje que puede tener características de memoria local, y su comportamiento es descrito por una máquina de estado. El nuevo perfil UML en tiempo real se evaluará en casos prácticos industriales proporcionados y elaborados por los socios del proyecto OMEGA. El objetivo es incorporar pasos y pautas más detalladas sobre el uso del lenguaje UML kernel, sobre todo a efectos de las extensiones de tiempo deseadas.
