Pashchenko, Dmitry V and Martyshkin, Alexey I and Trokoz, Dmitry A and Pashchenko, Tatyana Yu and Babich, Mikhail Yu and Butaev, Mikhail M (2021) Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales. Nexo Revista Científica, 34 (1). pp. 61-73. ISSN 1995-9516
|
Text
ricardo,+5.+esf+33.pdf - Published Version Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (708Kb) | Preview |
Abstract
El artículo aborda el tema de la investigación y desarrollo de métodos que permitan dar cuenta de ejemplos de comportamiento al sintetizar modelos de autómatas mediante fórmulas temporales. Se dan definiciones de los términos y conceptos utilizados en el trabajo; se formula el problema de sintetizar sistemas de autómatas según la especificación en forma de fórmulas temporales y ejemplos de comportamiento; se describe un algoritmo prometedor para reducir el problema de sintetizar sistemas de autómatas al problema de satisfacibilidad de la fórmula booleana; Se realiza un análisis del dominio y otros enfoques. Se proponen nuevos métodos para tener en cuenta ejemplos de comportamiento en la síntesis de sistemas de autómatas según una especificación dada en forma de fórmulas temporales. Se describen algoritmos para construir gráficos de scripts y métodos para dividir gráficos en grupos; están diseñados para aumentar la eficiencia de la representación de ejemplos de comportamiento utilizados para codificar los ejemplos de comportamiento en forma de fórmulas booleanas. Se lleva a cabo un estudio experimental de los métodos propuestos para dar cuenta de ejemplos de comportamiento y enfoques básicos para la presentación de ejemplos de comportamiento. Los resultados experimentales mostraron la superioridad de los métodos recientemente desarrollados con respecto a la presentación de guiones en forma de fórmulas temporales. En resumen, se presentan las principales conclusiones del trabajo realizado
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | modelo de autómata, simulación de eventos discretos, autómata de estado finito, situación de conflicto, métodos de contabilización de ejemplos de comportamiento. |
| Subjects: | 000 Generalidades > 005 Programación de computadores, programas, datos |
| Depositing User: | Lic. Ruth Muñoz |
| Date Deposited: | 16 Dec 2022 17:13 |
| Last Modified: | 16 Dec 2022 17:13 |
| URI: | http://ribuni.uni.edu.ni/id/eprint/4766 |
Actions (login required)
 |
View Item |
