Especificación de Máquinas de Estados UML y Compatibilidad en RKH

El presente artículo describe en detalle la semántica y notación de cada uno de los elementos que constituyen las máquinas de estados especificadas por UML, las cuales se basan en el modelo de comportamiento dinámico Statechart escrito por el profesor David Harel [1]. Adicionalmente, describe la compatibilidad y grado de cumplimiento de la versión 2.4.4 o superior del framework RKH [2] con la especificación de máquinas de estados definida por OMG, en la especificación “OMG Unified Modeling Language”, Version 2.5, Capítulo 14 “StateMachine”, pág. 319 [3].

Si bien la especificación UML de OMG es libre y pública, dista bastante de ser fácil de leer e interpretar, por aquellas personas que no se dedican exclusivamente a estos temas, pero si requieren formalizar la manera en que desarrollan software, en especial aquel aplicado a los embedded systems.

Por tal motivo, el objetivo fundamental del presente artículo, es acercar la especificación (semántica y notación) de UML relacionada con las máquinas de estados, para difundirla de una manera más clara, comprensible, amena y en español. Fomentando de esta manera, la estandarización y uniformidad de estos conceptos, evitando depender de la semántica y notación particular que difunden diferentes autores, profesionales y proveedores dedicados al modelado de software, en especial para el segmento de los embedded systems. Promoviendo, de esta manera, un lenguaje común para aquellos que trabajan con modelos de comportamiento dinámico de software, especialmente máquinas de estados. Siendo estas el objetivo del presente documento, debido a que se utilizan asiduamente, desde hace varias décadas, en la industria del desarrollo de embedded software, para representar la dinámica de la totalidad o parte de un sistema. A estos se los conoce como sistemas reactivos [1].

El documento completo se encuentra aquí.

Referencias 

[1] D. Harel, "Statecharts: A Visual Formalism for Complex Systems," in Sci. Comput. Programming 8, pp. 231–274, 1987.

[2] RKH. (2010, Aug.). RKH Sourceforge download site. [Online]. http://sourceforge.net/projects/rkh-reactivesys/
[3] OMG Unified Modeling Language - Version 2.5, ptc/2013-09-05, Sept. 2013
[4] B.P. Douglass, “Introduction”, in Real-Time UML Workshop for Embedded Systems, Newnes, 2006, pp. 22