Herramientas de diagrama de estado de YAKINDU

YAKINDU Statechart Tools (YAKINDU SCT) es una herramienta ^[1] para la especificación y desarrollo de sistemas reactivos controlados por eventos con la ayuda de máquinas de estados finitos . Incluye una herramienta para la edición gráfica de diagramas de estados y proporciona validación, simulación y generadores de código fuente para varias plataformas de destino y lenguajes de programación. YAKINDU Statechart Tools está disponible en ediciones estándar y profesional, con licencias sin costo para uso no comercial o académico. ^[2] Los usuarios provienen tanto de la industria ^{[3] [4]} como de la academia. ^{[5] [6] [7]}

Conceptos

Las herramientas de diagramas de estados de YAKINDU implementan el concepto de diagramas de estados inventado por David Harel en 1984. ^[8] Los diagramas de estados fueron adoptados por UML posteriormente. ^[9]

El software se puede utilizar para modelar máquinas de estados finitos . Los modelos teóricos importantes para máquinas de estados finitos son las máquinas de Mealy y las máquinas de Moore . Las herramientas de diagrama de estados de YAKINDU se pueden utilizar para modelar ambos tipos.

Funcionalidad

Las principales características de YAKINDU Statechart Tools son:

• Combinación inteligente de modelado textual y gráfico
• Validación sintáctica y semántica de las máquinas de estados modeladas
• Modelos de diagramas de estados ejecutables a través del motor de simulación
• Generadores de código fuente para Java , C y C++ (además de generadores de código fuente en estado beta para Python, Swift y TypeScript), que permiten la integración de máquinas de estado generadas en aplicaciones personalizadas
• Marco de pruebas SCTUnit
• Análisis de cobertura (SCov)

Extensibilidad

YAKINDU Statechart Tools ofrece API abiertas que permiten en gran medida la adaptación a requisitos específicos. Los generadores de código no solo son ampliables, sino que el desarrollador también puede especificar su propio dialecto de diagrama de estado. Para este propósito, se define el concepto de diagrama de estado específico del dominio . Esto hace posible utilizar diagramas de estado como módulos de lenguaje reutilizables.

Historia

La primera versión de YAKINDU Statechart Tools fue lanzada en 2008 como parte del proyecto de investigación MDA for Embedded . ^[10] En este proyecto de investigación, se desarrollaron procesos de desarrollo basados ​​en modelos para el desarrollo de sistemas embebidos basados ​​en el proyecto Eclipse. Desde mediados de 2010, el equipo de YAKINDU, compuesto principalmente por empleados de itemis AG , una empresa de Lünen, Alemania, ha estado trabajando en la versión 2.0. La primera versión oficial fue lanzada junto con la versión Juno de Eclipse .

• La versión 2.9 es compatible con las versiones 4.5 (Mars) y 4.6 (Neon) de Eclipse. A partir de esta versión, es posible ejecutar generadores de código desde la línea de comandos o en un sistema de integración continua.

Introducción de la edición profesional

En diciembre de 2016, itemis lanzó una edición profesional del software a cambio de una tarifa, que proporciona funcionalidades adicionales.

Cambio de modelo de licencias

Con el lanzamiento de la versión 3.0 de la edición estándar ^[11] en julio y de la edición profesional ^[12] en agosto de 2017, itemis cambió el modelo de licencia de código abierto a uno de licencia propietaria. Las licencias siguen estando disponibles sin costo para los usuarios no comerciales de la versión estándar. Los estudiantes y educadores pueden obtener la edición profesional de forma gratuita.

La última versión de código abierto de YAKINDU Statechart Tools 2.9.3 todavía está disponible en el repositorio de GitHub de YSCT.

Otorgar

• Alemania – País de las Ideas 2008: Desarrollo de software generativo basado en modelos para sistemas integrados ^[13]

Literatura y fuentes

• Mülder, Andreas; Nyßen, Alexander (2011). "TMF meets GMF" (PDF) . Eclipse Magazin (en alemán) (3). Frankfurt am Main: Software & Support Media GmbH: págs. 74–78. ISSN  1861-2296. Archivado (PDF) desde el original el 2016-08-11 . Consultado el 2016-06-20 .
• Mülder, Andreas; Unger, Andreas (2012). "Yakindu ist auch eine Stadt". Revista Eclipse (en alemán) (3). Fráncfort del Meno: Software & Support Media GmbH. ISSN  1861-2296.
• Alexander Nyßen (2011). "TMF meets GMF – Combining Graphical & Textual Modeling" (PDF) . EclipseCon Europe 2011. Archivado desde el original el 8 de agosto de 2016. Consultado el 17 de junio de 2016 .
• Nyßen, Alexander; Terfloth, Axel (2012). "YAKINDU SCT – Diagramas de estado específicos del dominio". EclipseCon 2012. Archivado desde el original el 2016-09-16 . Consultado el 2012-09-15 .
• Terfloth, Axel (12 de julio de 2011). "Modellgetriebene Entwicklung mit der Yakindu Workbench: Vortrag auf dem BAIKEM Netzwerktreffen Embedded Systems" (PDF) (en alemán). Bayern Innovativo. Archivado (PDF) desde el original el 16 de septiembre de 2016 . Consultado el 15 de septiembre de 2016 .

Enlaces externos

• Página de inicio del proyecto
• Código fuente en Github

Referencias

1. Neumann, Alejandro (5 de marzo de 2009). "itemis stellt Statechart-Tools unter die Eclipse-Lizenz". Desarrollador Heise (en alemán). Archivado desde el original el 6 de agosto de 2016 . Consultado el 17 de junio de 2016 .
2. "Herramientas de diagrama de estado de YAKINDU (YAKINDU SCT)". itemis AG . Consultado el 11 de enero de 2018 .
3. "Cadena de herramientas AUTOSAR mejorada con YAKINDU – Caso práctico: Leopold Kostal GmbH & Co. KG". itemis AG . Archivado desde el original el 2016-09-16 . Consultado el 2016-09-15 .
4. Stephane Maag (23 de mayo de 2013). "Técnicas finales de pruebas de seguridad" (PDF, 3,91 MB) . Consorcio DIAMONDS. Archivado (PDF) desde el original el 18 de enero de 2017. Consultado el 17 de enero de 2017 .
5. Maryam Rahmaniheris; Yu Jiang; Lui Sha (21 de octubre de 2016). "Diseño basado en modelos de sistemas de orientación clínica". arXiv : 1610.06895 [cs.CY].
6. Rafael Mota Gregorut (diciembre de 2015). "Sintetización de propiedades formales a partir de casos de prueba de diagramas de estados" (PDF) . Universidad de São Paulo. Archivado desde el original (PDF, 1,35 MB) el 17 de enero de 2017. Consultado el 17 de enero de 2017 .
7. Claudia Picoco; Valentin Rychkov; Tunc Aldemir (noviembre de 2020). "Un marco para verificar modelos de evaluación de riesgos probabilísticos dinámicos" (PDF) . Ingeniería de confiabilidad y seguridad del sistema . 203 . Consultado el 10 de julio de 2020 .
8. Harel, David (1984). "Statecharts: A Visual Formalism For Complex Systems" (PDF) . Ciencia de la programación informática . 8 (3). Holanda Septentrional: 231–274. doi : 10.1016/0167-6423(87)90035-9 . Archivado (PDF) desde el original el 12 de octubre de 2013.
9. OMG (febrero de 2009). «OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2». pág. 525. Archivado desde el original el 2012-09-02 . Consultado el 2016-06-17 .
10. "Tutorial: Editor de gráficos de estado con GMF erstellen". Forschungsprojekt MDA para Embedded (en alemán). itemis AG , Ingenieurbüro Dr. Kahlert, Nachrichtentechnik FH Dortmund. 2008-07-16. Archivado desde el original el 16 de septiembre de 2016 . Consultado el 19 de febrero de 2013 .
11. Terfloth, Axel (18 de julio de 2017). "Presentación de YAKINDU Statechart Tools 3.0 Standard Edition". itemis AG . Archivado desde el original el 13 de enero de 2018 . Consultado el 12 de enero de 2018 .
12. Mülder, Andreas (7 de agosto de 2017). «YAKINDU Statechart Tools 3.0 Professional Edition: novedades y novedades». itemis AG . Archivado desde el original el 13 de enero de 2018. Consultado el 12 de enero de 2018 .
13. "365 Orte: Lunes 2008". Deutschland - Land der Ideen (en alemán). Alemania – Land der Idea Management GmbH. 2009-03-05. Archivado desde el original el 31 de julio de 2016 . Consultado el 17 de junio de 2016 .