Wir haben die Atfinity-Software unter bestehenden Technologien positioniert, wie:

• Geschäftsprozessmanagement (BPM)
• Datenbankmanagementsystem (DBMS)
• Domänenspezifische Sprache (DSL)
• Expertensystem (ES)
• Low-Code/No-Code (LCNC)
• Modellbasierte Softwareentwicklung (MBSE)
• Synthesebasierte Entwicklung (SBE)

Datenbanken und regelbasierte Expertensysteme sind entscheidende Bereiche verwandter Arbeit, insbesondere die inkrementelle Überprüfung von Datenbankassertionen.

Wir haben auch mehrere Möglichkeiten für gemeinsame technische Innovationen untersucht und identifiziert, wie:

• Einfache Erklärungen des Gesamtansatzes für verschiedene Benutzer aus der Perspektive von Datenbanken.
• Grafische Übersichten der Konfigurationen, die Einblick in das resultierende Systemverhalten geben.
• Frühzeitige Validierung der Konfigurationen aus der Perspektive der Datenbankintegrität und der Transaktionsprotokolle.

Die Atfinity-Software ist eine Low-Code/No-Code (LCNC)-Lösung, die eine schnellere und kostengünstigere Implementierung und Wartung digitaler Prozesse ermöglicht. Das Unternehmen Atfinity konzentriert sich derzeit auf das Bankwesen als Marktsegment, es wird jedoch erwartet, dass die Atfinity-Software ein viel grösseres Wirkungspotenzial auch in anderen Marktsegmenten hat. In diesem Projekt untersuchen wir die Atfinity-Software, um ihr volles Wirkungspotenzial auszuschöpfen. Dazu gehört die Positionierung der Atfinity-Software unter bestehenden Technologien zur automatischen Softwaregenerierung und die Identifizierung der wichtigsten innovativen Funktionen für nachhaltiges Wachstum.