会议论文《基于Buchi自动机的UML模型一致性研究》探讨了如何利用Buchi自动机方法验证UML模型的一致性。该研究针对软件工程中模型与规范之间的一致性问题，提出了一种基于形式化方法的分析框架。通过将UML模型转化为Buchi自动机，实现了对系统行为的无限运行路径的验证，从而确保模型满足给定的逻辑约束。该成果为提高UML模型的正确性和可靠性提供了理论支持和技术手段。
文档为pdf格式，0.28MB，总共7页。
举报
