JoséE.里维拉。；弗朗西斯科·杜兰；安东尼奥·瓦莱西略 实时领域特定视觉语言的行为语义。 （英语） Zbl 1306.68086号 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381174-190（2010）。 摘要：特定于领域的可视化语言（DSVL）越来越普遍，它使用一种非常接近问题领域的符号，并且对于领域专家来说非常直观，从而在抽象层次上指定系统。通常，DSVL仅根据其抽象和具体语法进行定义，没有精确的语义，这可能会妨碍使用工具模拟或分析生成的模型。在本文中，我们展示了如何有效地使用重写逻辑，尤其是实时Maude，为实时DSVL提供语义，以及如何从可视化规范中自动生成这些Maude规范。Real-Time Maude的使用提供了其他有趣的好处，例如能够模拟DSVL规范或对其进行正式分析。有关整个系列，请参见[Zbl 1197.68017号]. 引用于5文件 MSC公司： 第68季度第42季度 语法和重写系统 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：时刻2；莫德 PDF格式BibTeX公司 XML格式引用 \textit｛J.E.Rivera｝等人，Lect。票据计算。科学。6381174-190（2010年；Zbl 1306.68086） 全文： 内政部