×
马克·米纳斯;伯特霍尔德·霍夫曼

使用指定和实现可视化流程建模语言DiaGen公司. （英语） Zbl 1263.68113号

Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第4期，67-79（2001）。
摘要：本文描述了如何基于图、图语法和转换规则指定图语言，以及如何使用图编辑器生成器DiaGen公司根据这样的规范生成图表编辑器。DiaGen公司可以应用于几乎所有的可视化语言，尤其是可视化流程建模语言。这可以通过状态图的编辑器和动画师进行演示。
关于整个系列，请参见[Zbl 1262.68012号].

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
2012年第68季度 语法和重写系统
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

视觉语言;图表编辑器;图表动画;图形文法;图形变换

软件：

DiaGen公司;GenGED公司
PDF格式BibTeX公司 XML格式引用
\textit{M.米纳斯}和\textit{B.霍夫曼}，电子。注释Theor。计算。科学。44，第4号，67--79（2001；Zbl 1263.68113）
全文： 内政部

参考文献：

[1] UML文档、Rational Software Corporation、，[http://www.rational.com/uml; UML文档、Rational Software Corporation、，[http://www.rational.com/uml
[2] D.Harel，状态图：复杂系统的可视化形式主义，计算机编程科学8; D.Harel，状态图：复杂系统的可视化形式主义，计算机编程科学8·兹比尔0637.68010
[3] D.Harel，A.Naamad，状态图的STATEMATE语义，ACM软件工程和方法论事务5; D.Harel，A.Naamad，状态图的STATEMATE语义，ACM软件工程和方法论事务5
[4] H.-J.Schneider，通过高级替换描述过程系统，见：Ehrig等人[31]，第7章，第402-450页。；H.-J.Schneider，通过高级替换描述过程系统，见：Ehrig等人[31]，第7章，第402-450页。
[5] H.Ehrig，M.Gajewsky，F.Parisi-Presicce，应用于代数规范和Petri网的高级替换系统，见：Ehrig等人[31]，第6章，第341-399页。；H.Ehrig，M.Gajewsky，F.Parisi Presicce，应用于代数规范和Petri网的高级替换系统，见：Ehrig等人[31]，第6章，第341-399页。
[6] M.Minas，G.Viehstaedt，DiaGen:一个用于图表编辑器的生成器，可直接操作和执行图表，见：VL'95[26]，第203-210页。；M.Minas，G.Viehstaedt，DiaGen:一个用于图表编辑器的生成器，可直接操作和执行图表，见：VL'95[26]，第203-210页。
[7] （Minas，M.，《支持超图解析器的图表编辑》，摘自：Proc.1997 IEEE Symp.on Visual Languages（1997），IEEE Computer Society Press:IEEE Compute Socility Press Capri，Italy），230-237
[8] M.Minas，创建图表的语义表示，见：Nagl和Schürr[27]，第209-224页。；M.Minas，创建图表的语义表示，见：Nagl和Schürr[27]，第209-224页。
[9] O.Köth，M.Minas，《生成提供自由编辑和语法定向编辑的图表编辑器》，in：Proc。图形变换国际研讨会（GRATRA 2000），柏林，2000年。；O.Köth，M.Minas，《生成提供自由编辑和语法定向编辑的图表编辑器》，in：Proc。图形转换国际研讨会（GRATRA 2000），柏林，2000年。
[10] R.Bardohl，M.Minas，A.Schürr，G.Taentzer，图形变换在视觉语言中的应用，收录于：Ehrig等人[28]，第105-180页。；R.Bardohl，M.Minas，A.Schürr，G.Taentzer，《图形变换在视觉语言中的应用》，收录于：Ehrig等人[28]，第105-180页。
[11] A.Schürr，A.Winter，A.Zndorf，《进步：语言与环境》，收录于：Ehrig等人[28]，第13章，第487-550页。；A.Schürr，A.Winter，A.Zndorf，《进步：语言与环境》，收录于：Ehrig等人[28]，第13章，第487-550页。
[12] A.V.Aho，R.Sethi，J.D.Ullman，《编译器——原理、技术和工具》，艾迪生-韦斯利出版社，1986年。；A.V.Aho，R.Sethi，J.D.Ullman，《编译器——原理、技术和工具》，艾迪生-韦斯利出版社，1986年·Zbl 1155.68020号
[13] S.S.Chok，K.Marriott，T.Paton，基于约束的图表美化，in：Proc。1999 IEEE交响乐。《视觉语言》，日本东京，IEEE计算机社会出版社，1999年。；S.S.Chok，K.Marriott，T.Paton，基于约束的图表美化，in：Proc。1999 IEEE交响乐。《视觉语言》，日本东京，IEEE计算机社会出版社，1999年。
[14] Costagliola，G。；De Lucia，A。；Orefice，S。；Tortora，G.，可视化系统实现的解析方法，IEEE软件工程学报，23，12，777-799（1997）
[15] S.S.Chok，K.Marriott，从约束多集文法自动构建用户界面，见：VL'95[26]，第242-249页。；S.S.Chok，K.Marriott，从约束多集文法自动构建用户界面，载于：VL'95[26]，第242-249页。
[16] R.Bardohl，GenGEd:基于代数图形语法的可视化语言通用图形编辑器，见：VL'98[30]，第48-55页。；R.Bardohl，GenGEd:基于代数图形语法的可视化语言通用图形编辑器，见：VL'98[30]，第48-55页。
[17] D.-Q.Zhang，K.Zhanng，VisPro：可视化语言生成工具集，见：VL'98[30]，第195-201页。；D.-Q.Zhang，K.Zhang，VisPro：一个可视化语言生成工具集，载：VL'98[30]，第195-201页。
[18] K.Marriott，B.Meyer，K.B.Wittenburg，《视觉语言规范和识别调查》，载于：Marriott and Meyer[29]，第1章，第5-85页。；K.Marriott，B.Meyer，K.B.Wittenburg，《视觉语言规范和识别调查》，载于：Marriott and Meyer[29]，第1章，第5-85页·兹伯利0933.68075
[19] M.Andries，G.Engels，J.Rekers，《如何表示视觉规范》，载于：Marriott and Meyer[29]，第8章，第245-260页。；M.Andries、G.Engels、J.Rekers，《如何表示视觉规范》，载于：Marriott和Meyer[29]，第8章，第245-260页·兹伯利0933.68091
[20] J.Rekers，A.Schürr，视觉环境实现的基于图形的框架，见：Proc。1996年IEEE交响乐。《视觉语言》，科罗拉多州博尔德，IEEE计算机社会出版社，1996年，第148-155页。；J.Rekers，A.Schürr，视觉环境实现的基于图形的框架，见：Proc。1996年IEEE交响乐。《视觉语言》，科罗拉多州博尔德，IEEE计算机社会出版社，1996年，第148-155页。
[21] R.Bardohl，C.Ermel，L.Ribeiro，面向基于petri网模型的可视化规范和动画，见：Proc。图形变换国际研讨会（GRATRA 2000），柏林，2000年。；R.Bardohl，C.Ermel，L.Ribeiro，面向基于petri网模型的可视化规范和动画，见：Proc。图形转换国际研讨会（GRATRA 2000），柏林，2000年。
[22] M.Minas，指定和生成图表编辑器，Habilitationsschrift，德国爱尔兰根大学，[德语]（2001年出版）。；M.Minas，指定和生成图表编辑器，Habilitationsschrift，德国爱尔兰根大学，[德语]（2001年出版）。
[23] G.Frey，M.Minas，编辑、可视化和实现信号解释petri网，收录于：Proc。7.Petrinetze的Algorithmen und Werkzeuge研讨会（AWPN'2000），编号TR 2/2000，Fachberichte Informatik，科布伦茨大学-朗道分校，2000年，第57-62页。；G.Frey，M.Minas，编辑、可视化和实现信号解释petri网，收录于：Proc。7.Petrinetze的Algorithmen und Werkzeuge研讨会（AWPN’2000），编号TR 2/2000，法国科布伦茨大学信息学院，2000年，第57-62页。
[24] B.Hoffmann，《从图形转换到基于规则的图形编程》，载于：Nagl和Schürr[27]，第165-180页。；B.Hoffmann，《从图形转换到基于规则的图形编程》，载于：Nagl和Schürr[27]，第165-180页。
[25] B.Hoffmann，M.Minas，《图表语法和语义的通用模型》，载于：J.D.P.Polim，A.Z.Broder，A.Corradini，R.Gorrieri，R.Heckel，J.Hromkovic，U.Vaccaro，J.B.Wells（编辑），ICALP Workshops 2000，加拿大安大略省滑铁卢市Carleton Scientific，2000年，第443-450页《信息学学报》第8期。；B.Hoffmann，M.Minas，《图表语法和语义的通用模型》，载于：J.D.P.Polim，A.Z.Broder，A.Corradini，R.Gorrieri，R.Heckel，J.Hromkovic，U.Vaccaro，J.B.Wells（编辑），ICALP Workshops 2000，加拿大安大略省滑铁卢市Carleton Scientific，2000年，第443-450页，《信息学学报》第8期。
[26] 程序。1995年IEEE交响乐。《视觉语言》，德国达姆施塔特，IEEE计算机社会出版社，1995年。；程序。1995年IEEE交响乐。《视觉语言》，德国达姆施塔特，IEEE计算机社会出版社，1995年。
[27] （Nagl，M.；Schürr，A.，关于工业关联图变换应用的国际研讨会（Agtive公司’99），论文选集，《计算机科学讲义》（2000）第1779卷，斯普林格出版社
[28] （Ehrig，H.；Engels，G.；Kreowski，H.-J.；Rozenberg，G.，《图形语法和图形转换计算手册》，第二卷：应用、语言和工具（1999），《世界科学：世界科学新加坡》）·Zbl 0998.68001号
[29] （Marriott，K.；Meyer，B.，《视觉语言理论》（1998），Springer:Springer New York）·Zbl 0910.00030号
[30] 程序。1998年IEEE研讨会。《视觉语言》，加拿大哈利法克斯，IEEE计算机社会出版社，1998年。；程序。1998年IEEE交响乐。《视觉语言》，加拿大哈利法克斯，IEEE计算机学会出版社，1998年。
[31] （Ehrig，H.；Kreowski，H.-J.；Montanari，U.；Rozenberg，G.，《图形语法和图形转换计算手册》，第二卷：并发性、并行性和分布（1999），《世界科学：世界科学新加坡》）·Zbl 0951.68049号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。