动画视图与模型转换系统：集成与高级Petri网应用

本文主要探讨了可视化建模语言与动画视图及模型转换系统的集成，特别是在理论计算机科学背景下，针对日益复杂的软件系统需求。随着软件规范从文本表达向可视化建模技术的转变，如UML等，这些技术旨在以更直观的方式表示分布式、组件化、并行性和过程等概念。 图转换系统作为一种强大的工具，它能够系统地描述可视化建模语言的语法，并为其实现提供形式化的语义基础。这类系统有助于提高模型的精确性，尤其是在非正式定义的可视化符号中，图变换技术的应用显得尤为关键。通过形式化的图变换，模型的结构和行为得以准确描述，这对于模型验证、模拟和分析具有显著优势。 然而，为了更好地满足用户的需求，尤其是当用户希望在实际应用场景中观察模型行为时，论文提出了一种面向领域的动画视图与模型转换系统的集成。这种集成允许用户以系统化的方式定义基于正式模型的场景动画，比如著名的Dining Philosophers系统，通过将其转换为代数高级Petri网的形式，实现了模型的动态展示。 作者通过将动画规则应用于模型状态，从而生成了场景动画，具体展示了哲学家们围绕餐桌用餐的动态交互，这种动态视图能直观地反映出模型的行为，增强了用户对模型的理解。论文还提及了可视