PDEVS

LLM框架助力生成和验证复杂状态图

研究人员开发了一个新框架PDEVS-LLM，该框架利用大型语言模型（LLM）协助人类建模者创建和验证并行离散事件系统规范（PDEVS）状态图。该框架旨在通过从系统描述中生成合理的事实，并使用命题逻辑针对行为条件进行验证，来提高模型的准确性和逻辑一致性。该系统包括一个受控纠正机制来完善生成的事实，以及一种将状态图转换为定时自动机以进行死锁和可达性属性验证的方法。评估表明，生成状态图的逻辑一致性得到了显著改善。