Resumen

En Event-B, las personas necesitan usar variables de control para restringir el orden de los eventos, lo cual es un proceso que consume tiempo y propenso a errores. Este artículo presenta un método para combinar sistemas de transición etiquetados e iUML-B para completar la modelización del comportamiento del sistema, lo cual es más conveniente y práctico para los ingenieros que están acostumbrados a usar el autómata para construir un modelo de comportamiento del sistema. Primero, utilizamos un sistema de transición etiquetado para establecer el modelo de comportamiento del sistema. Luego simulamos y verificamos las trazas de eventos del modelo de comportamiento del sistema de transición etiquetado. Finalmente, convertimos el modelo de sistema de transición etiquetado en una máquina de estados iUML-B y lo utilizamos para generar el modelo de flujo de control correspondiente. Utilizamos el protocolo de retransmisión acotada de Abrial para demostrar la practicidad de nuestro enfoque. Los resultados de la simulación muestran que el modelo de comportamiento del sistema generado por la máquina de estados iU

• Materias:Algoritmo de agrupamiento Reconocimiento de caracteres Reconocimiento de entidades nombradas Algoritmos de recomendación Tecnologías de contenedores
• Subjects:Clustering algorithm Character recognition Named entity recognition Recommendation algorithms Container technologies
• Palabras claves:Variables; Eventos; Modelado; Sistema; Comportamiento; Transición
• Keywords:Variables; Events; Modeling; System; Behavior; Transition