加布里埃尔·坦泽尔；阿伦德·伦辛克 使用类型继承确保基于图形的模型中的结构约束。 （英语） Zbl 1119.68365号 Cerioli，Maura（编辑），《软件工程的基本方法》，第八届国际会议，FASE 2005，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2005，英国爱丁堡，2005年4月4日至8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25420-X/pbk）。计算机科学课堂讲稿344264-79（2005）。 摘要：图是表示软件系统模型和元模型中结构的常用方法。在这种情况下，通过使用类图或类型图对域实体及其关系进行分类来描述模型域已经成为一个非常有价值的原则。然而，纯类型可以施加的约束相对较弱；因此，通常使用结构属性（例如局部不变量或多重性条件）或继承来丰富类型信息。在本文中，我们展示了如何在具有继承的类型图中使用图约束来表示结构属性，并展示了如何将具有继承的受约束类型图转换为等价的受约束简单类型图。根据现有理论，可以将图约束转化为类型化图转换系统生成的前提条件，从而确保这些图约束。这一结果可以看作是将图形变换与面向对象概念集成的又一重要步骤。关于整个系列，请参见[兹比尔1068.68003]. 引用于12文件 MSC公司： 2012年第68季度 语法和重写系统 68兰特 计算机科学中的图论（包括图形绘制） 软件：VPM公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Taentzer}和\textit{A.Rensink}，莱克特。注释计算。科学。3442、64-79（2005年；Zbl 1119.68365） 全文： 内政部