Grafische Constraints zur Entwicklung korrekter Graphtransformationssysteme und zur Verifikation von Graphprogrammen

用于开发正确的图形转换系统和验证图形程序的图形约束

• 批准号: 16543333
• 负责人: Professorin Dr. Annegret Habel
• 金额: --
• 依托单位: Department für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2006
• 资助国家: 德国
• 起止时间: 2005-12-31 至 2008-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/16543333?language=en
• 关键词: Grafische; Constraints; zur; Entwicklung; korrekter

Für die Entwicklung korrekter Graphtransformationssysteme und Graphprogramme sollen theoretische Grundlagen und daraus resultierende Konzepte entwickelt werden. Als Sprache zur Spezifikation von Programmeigenschaften sollen - an Stelle von Formeln der Prädikatenlogik - grafische Constraints untersucht und verwendet werden, die sowohl geeignet erscheinen, Anforderungen an ein System zu beschreiben als auch Schlüsse über das Systemverhalten zu ziehen. Weiterhin sollen Constraint- Transformationen über Regeln, Mengen von Regeln, sequentielle Komposition von Regeln und iterierte Graphprogramme untersucht werden und Entscheidungs- beziehungsweise Semi-Entscheidungsverfahren für das Implikationsproblem von grafischen Constraints entwickelt werden. Die Anwendbarkeit der Konzepte soll durch geeignete Fallstudien nachgewiesen werden. Begleitend sollen Implementierungen erfolgen, mit der Absicht, die wesentlichen Schritte zu automatisieren, um schließlich ein Werkzeug zu erhalten, dass die Synthese von korrekten Graphtransformationssystemen und die Verifikation von Graphprogrammen unterstützt.

为了使开发人员能够理解Graphtransformationssysteme和Graphprogrammes sollen theoretische Grundlagen and daraus resultierende Konzepte entwickelt韦尔登。作为一种特殊的程序设计方法--一种特殊的程序设计方法--一种特殊的程序设计方法--约束条件的形成方法，它可以被韦尔登，也可以被设计成一种特殊的系统。Weiterhin sollen Constraint- Transformationen über Regeln，Mengen von Regeln，sequentielle Komposition von Regeln und iterte Graphprogramme untersucht韦尔登und Entscheidungs-beziehungsweise Semi-Entscheidungsverfahren für das Implikationsproblem von grafischen Constraints entwickelt韦尔登.在韦尔登的学习中，Konzepte的名字被删除了。首先解决实现的问题，用抽象的方法，我们可以自动化地编写脚本，然后编写一个工具，使图形转换系统的综合和图形程序的验证变得更加简单。