×

行为保护模拟到动画模型和规则转换。 (英语) Zbl 1283.68183号

König,Barbara(编辑)等人,第三届并发和验证图形转换研讨会论文集(GT-VC 2007),葡萄牙里斯本,2007年9月3日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》213,第1期,55-74(2008)。
摘要:在图形转换的框架中,仿真规则定义了可视化模型的操作行为。此外,已经展示了如何通过所谓的S2A变换从模拟规则中构造动画规则。与模拟规则相反,动画规则使用符号表示面向用户的可视化中应用程序域中的实体。使用动画视图执行模型可以更好地了解用户的模型行为,从而提前检测到模型不一致。因此,动画视图构建的一个重要要求是保留原始视觉模型的行为。这意味着,我们必须一方面证明(S2A)变换的语义正确性,另一方面证明合适的后向变换(A2S)的语义正确。模型和规则转换的语义正确性意味着,对于源系统的每个序列,我们在目标系统中找到相应的序列\在我们对GraMoT 2006的贡献中考虑了(S2A)转换。本文给出了动画到模拟(A2S)反向变换的精确定义,并说明了在什么条件下可以获得A2S反向变换的语义正确性。主要结果说明了\(S2A\)-变换是行为保持的条件。结果被用于分析无线电时钟模型的S2A变换行为。
关于整个系列,请参见[Zbl 1279.68015号].

MSC公司:

2012年第68季度 语法和重写系统
05C62号 图形表示(几何和交点表示等)

软件:

检查VML
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ehrig,H。;Ehrig,K.,基于类型化属性图转换的模型转换形式概念概述,Proc。图形和模型转换国际研讨会(GraMoT'05)。程序。图形和模型转换国际研讨会(GraMoT’05),ENTCS,152(2005)
[2] Ehrig,H。;Ehrig,K。;埃梅尔,C。;赫尔曼,F。;Taentzer,G.,《信息保持双向模型转换》(Dwyer,M.B.;Lopes,A.,《软件工程的基本方法》,LNCS,4422(2007)),72-86
[3] Ehrig,H。;Ehrig,K。;Prange,U。;Taentzer,G.,《代数图形变换基础》(EATCS理论计算机科学专著(2006),斯普林格出版社)·Zbl 1095.68047号
[4] Ehrig,H。;Koenig,B.,《在图形重写的dpo方法中推导互模拟同余》(Proc.FOSSACS 2004)。程序。FOSSACS 2004,LNCS,2987(2004)),151-166·Zbl 1126.68446号
[5] Ermel,C.,“基于类型代数图变换的可视化语言模拟和动画”,博士论文,德国柏林大学,Fak。IV(2006);Ermel,C.,“基于类型代数图变换的可视化语言模拟和动画”,博士论文,德国柏林大学,Fak。IV(2006)
[6] 埃梅尔,C。;Ehrig,H。;Ehrig,K.,《仿真到动画模型的语义正确性和规则转换》,Proc。车间图形和模型转换(GraMoT’06)。程序。车间图形和模型转换(GraMoT’06),EASST的电子通信,4(2006)
[7] Ermel,C.、H.Ehrig和K.Ehrig,仿真到动画模型的语义正确性及规则转换:长版本http://iv.tu-berlin.de/TechnBerichte/2006/2006-10.pdf; Ermel,C.、H.Ehrig和K.Ehrig,仿真到动画模型的语义正确性及规则转换:长版本http://iv.tu-berlin.de/TechnBerichte/2006/2006-10.pdf ·Zbl 1175.68221号
[8] Ermel,C.、K.Hölscher、S.Kuske和P.Ziemann,基于图变换的集成UML行为模型动画仿真程序。IEEE视觉语言与以人为本计算研讨会(VL/HCC’05); Ermel,C.、K.Hölscher、S.Kuske和P.Ziemann,基于图变换的集成UML行为模型动画仿真程序。IEEE视觉语言与以人为本计算研讨会(VL/HCC’05)
[9] GenGED主页
[10] Harel,D.,《状态图:复杂系统的可视化形式主义》,《计算机编程科学》,第8231-274页(1987年)·兹比尔0637.68010
[11] Harel,D。;埃夫罗尼,S。;Cohen,I.,(Proc.组件和对象的形式方法.Proc.组件与对象的形式化方法,(FMCO'02)。程序。组件和对象的形式化方法。程序。组件和对象的形式化方法,(FMCO’02),LNCS,2852(2003),136-153
[12] Macromedia,Inc.,Macromedia-Flash MX 2004和Director MX 2004(2004)
[13] Narayanan,A.和G.Karsai,朝向验证模型转换程序。图形转换和可视化建模技术研讨会(GT-VMT’06); Narayanan,A.和G.Karsai,朝向验证模型转换程序。图形转换和可视化建模技术研讨会(GT-VMT’06)·Zbl 1283.68210号
[14] Parisi-Presicce,F.,《图形语法的转换》(第五届图形语法及其在计算机科学中的应用国际研讨会,第五届图语法及其在计算科学中的运用国际研讨会,LNCS,1073(1996))·Zbl 0643.68124号
[15] 施密特。;Varró,D.,Checkvml:一种用于模型检查的可视化建模语言工具,(Proc.UML,建模语言和应用程序。程序。UML,建模语言和应用。程序。UML,建模语言和应用,(UML'03),LNCS,2863(2003),92-95
[16] Schürr,A.,《使用三重图形语法的图形翻译器规范》,(计算机科学中的图形理论概念研讨会。计算机科学中图形理论概念的研讨会,LNCS,903(1994)),151-163
[17] Varró,D.,通过模型检查对可视化建模语言进行自动形式验证,《软件和系统建模》,385-113(2004)
[18] WWW联盟,可缩放矢量图形规范(2003)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。