×

关于视觉语言及其编辑器的定义。 (英语) Zbl 1049.68675号

Hegarty,Mary(编辑)等人,图解表示和推理。2002年4月18日至20日,第二届国际会议,图表2002,美国佐治亚州Callaway Gardens。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43561-1)。莱克特。注释计算。科学。2317, 305-319 (2002).
摘要:不同的图表语言是核心元模型的具体变体,它指定了表达关系的方式,是语义解释的基础。在本文中,我们利用UML中引入的元模型概念,即通过抽象语法(以类图的形式给出)和逻辑语言中的一组约束,来识别图表语言家族。抽象语法约束可表达关系的类型以及参与实体的类型和多样性。约束表示关系及其参与者的上下文和全局属性。我们提出了一组元模型来描述常见类型的图表语言。该建议的优点是多方面的:元模型中的约束分析可用于评估一种语言对领域语义的充分性,并且可以检查具体的符号或语法是否符合元模型或引入了不可预见的约束。最后,我们讨论了这种特征化如何允许为具体的图表语言定义灵活的编辑器,其中特定的编辑器是由相关语言家族的一些高级构造原语的专业化而产生的。
关于整个系列,请参见[Zbl 0992.00057号].

MSC公司:

68吨99 人工智能
68单位35 信息系统的计算方法(超文本导航、接口、决策支持等)
PDF格式BibTeX公司 XML格式引用
全文: 链接