ROARS: Reuse-Oriented Automated Reasoning Software

Dieses Projekt soll die weltweit erste institutionsübergreifende Forschungsgruppe hervorbringen, die den gegenseitigen Einfluß von wiederverwendungsorientiertem Software-Engineering und in Anwendungen eingebundenem automatischem Schließen auf der Grundlage von Constraints und Regeln untersucht. Hauptthemen sind das Metamodell und die formal-logische Semantik einer hybriden objektorientierten, regelbasierten Sprache, die zwischen UML-Modellen und Implementierungen in Java oder C vermittelt um wiederverwendbare und erweiterbare regelbasierte AR-Komponenten für Deduktion, Abduktion, Wissenskorrektur, Vererbung und Constraintlösen in endlichen Bereichen zu erstellen und nahtlos zu integrieren.

Die Projektpartner und weitere Informationen finden Sie bei den Forschungsprojekten.