周瑜;黄彦凯;黄志秋;吴伟刚 面向开放环境中在线软件演化的一致性验证方法。 （中文。英文摘要） Zbl 1340.68019号 J.软。 第747-759号第26页（2015年）. 摘要：一致性保证机制对在线软件演化特别重要。与传统的基于属性图文法或体系结构描述语言的方法不同，本文从行为角度研究了该问题，并提出了一种基于分层时间自动机的新型验证技术。该方法可以直接支持开放环境中时序方面的建模以及组合系统的层次组织。为了使一致性验证变得可行，本文还提出了一种扁平化算法，该算法将模型转换为一组同步的串行时间自动机，以便输入到第三方工具集。文中给出了一个例子来说明这种新方法。进行了实验以补充讨论，并证明了该方法的可行性。 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 65年第68季度 形式语言和自动机 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 关键词：在线进化;时间自动机;一致性;模型检查 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhou}等人，J.Softw。26，第4号，747--759（2015；Zbl 1340.68019） 全文： 内政部