会议论文《UML2.0顺序图的一种有穷自动机模型》探讨了如何将UML2.0顺序图转化为有穷自动机形式，以支持形式化验证和分析。作者通过建立数学模型，实现了对顺序图行为的精确描述，为软件系统的设计与验证提供了理论基础。该研究在2008年全国理论计算机科学学术年会上发表，对提高软件工程的可靠性具有重要意义。
文档为pdf格式，0.34MB，总共5页。
举报
