Towards an Ontology for the Foundations of Software Languages
Dieser Artikel stellt die erste Version der Ontologie „Foundations of Software Languages" (FSL) vor, eine Wissensressource, die entwickelt wurde, um diverse Konzepte von Software-Sprachen für die Informatikausbildung zu vereinheitlichen und die unter Verwendung einer durch Generative KI erweiterten Standardmethodik erstellt wurde.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich vor, Sie betreten eine riesige, chaotische Bibliothek. Diese Bibliothek beherbergt nicht nur Bücher; sie enthält jede einzelne Art von „Anleitung", die Menschen je für Computer geschrieben haben. Es gibt Programmiersprachen (wie Python oder C++), Modellierungssprachen (Baupläne für Software), Datenbankabfragesprachen und sogar die Regeln dafür, wie Software aufgebaut wird.
Im Moment ist diese Bibliothek ein Chaos. Die Bücher liegen auf dem Boden gestapelt, die Beschriftungen sind inkonsistent, und niemand weiß genau, wie eine „Datenbankabfrage" mit einem „Compiler" zusammenhängt.
Das Problem:
Informatiker bauen diese Sprachen seit Jahrzehnten, doch sie hatten keine einzige, einheitliche „Karte" oder einen „Katalog", der erklärt, wie all diese verschiedenen Sprachtypen zusammenpassen, welche Werkzeuge sie erstellen und auf welchen formalen Regeln (Mathematik) sie basieren.
Die Lösung (FSL):
Der Autor, Ralf Lämmel, hat eine neue Art von Karte namens Foundations of Software Languages (FSL) erstellt. Denken Sie an FSL nicht als Buch, sondern als eine digitale, lebendige Enzyklopädie (eine „Ontologie"), die das gesamte Universum der Softwaresprachen organisiert.
So erklärt das Papier dieses Projekt mit einfachen Analogien:
1. Die Analogie des „Hauptkatalogs"
Normalerweise schauen Sie, wenn Sie ein Buch finden möchten, in das Dewey-Dezimalklassifikationssystem. Doch in der Welt der Software haben wir für verschiedene Dinge unterschiedliche Systeme.
- FSL ist der Hauptkatalog. Er listet nicht nur Sprachen auf; er verbindet sie. Er sagt Ihnen, dass „Java" (eine Programmiersprache) und „OCL" (eine Modellierungssprache) beide „Softwaresprachen" sind, aber einige Konzepte teilen (wie „objektorientiert"), während andere einzigartig für sie sind.
- Er kartiert auch die Werkzeuge (die Hämmer und Sägen, die zum Erstellen dieser Sprachen verwendet werden) und die formale Mathematik (die Baupläne und die Physik), die sie funktionsfähig machen.
2. Die Analogie der „Baustelle"
Das Papier argumentiert, dass der Bau von Softwaresprachen wie die Leitung einer riesigen Baustelle ist.
- Die Sprachen sind die Gebäude.
- Die Werkzeuge sind die Kräne und Bagger.
- Die formalen Systeme sind die Physik und die Ingenieurgesetze, die sicherstellen, dass die Gebäude nicht einstürzen.
- Software-Engineering-Aktivitäten sind die Bauphasen (Planung, Bau, Test).
Vor FSL hatten wir Baupläne für die Gebäude, aber wir hatten kein einziges Diagramm, das zeigte, wie die Kräne, die physikalischen Gesetze und die Bauphasen miteinander interagierten. FSL zeichnet dieses große Gesamtbild.
3. Die Analogie des „KI-Co-Pilots"
Eine so große Karte zu erstellen, ist eine enorme Aufgabe. Der Autor nutzte Generative KI (wie einen superschnellen, schnelllesenden Assistenten), um Hilfe zu erhalten.
- Der Mensch: Der Autor (der Architekt) entschied, was zu bauen ist, und überprüfte die Arbeit.
- Die KI: Die KI fungierte als Forschungsassistent. Sie half, neue Kategorien von Sprachen zu finden, schlug Namen für Beziehungen vor und füllte fehlende Teile der Karte basierend auf den Beispielen des Autors aus.
- Das Ergebnis: Die KI baute die Karte nicht allein; sie beschleunigte den Prozess, sodass sich der Mensch auf das große Ganze konzentrieren konnte, während die KI die schwere Arbeit der Datenorganisation erledigte.
4. Die Analogie der „Technologischen Räume"
Das Papier führt den Begriff „Technologische Räume" ein. Stellen Sie sich verschiedene Stadtviertel vor:
- Ein Viertel ist Modellgetriebene Entwicklung (wo alles aus Bauplänen gebaut wird).
- Ein anderes ist SQL (wo es alles um Datenbanken geht).
- Ein weiteres ist XML (wo es alles um Datentags geht).
FSL kartiert diese Viertel. Es zeigt Ihnen, dass Sie, wenn Sie im Viertel „Modellgetriebene Entwicklung" wohnen, spezifische Werkzeuge verwenden und spezifischen Regeln folgen, und es zeigt Ihnen, wie Sie zum Viertel „SQL" reisen, wenn Sie dies benötigen.
Was das Papier tatsächlich erreicht hat (Die „erste Veröffentlichung")
Das Papier stellt Version 1 dieser Karte vor. Es ist nicht die endgültige, perfekte Version (der Autor gibt zu, dass es ein „Minimum Viable Product" ist, wie ein Prototyp-Haus).
- Es ordnet das Chaos: Es gruppiert Sprachen, Werkzeuge und mathematische Konzepte in eine strukturierte Hierarchie.
- Es verbindet die Punkte: Es zeigt Beziehungen wie „Werkzeug X verarbeitet Sprache Y" oder „Konzept Z wird in Aktivität A verwendet".
- Es ist für den Geschäftsbetrieb geöffnet: Die Karte ist online veröffentlicht (auf GitHub), damit andere Experten sie ansehen, Fehler beheben und weitere Räume hinzufügen können.
Warum ist das wichtig?
Das Hauptziel laut dem Papier ist die Bildung.
Stellen Sie sich einen Studenten vor, der Informatik lernt. Er belegt vielleicht einen Kurs über „Programmierung", einen über „Datenbanken" und einen über „Software-Engineering". Derzeit fühlen sich diese Kurse wie separate Inseln an.
FSL ist die Brücke. Es hilft Lehrern und Studenten zu erkennen, wie all diese Fächer zusammenhängen. Es bietet eine einzige, organisierte Wissensbasis, die die Theorie, die Praxis und die Werkzeuge der Softwarewelt miteinander verbindet.
Kurz gesagt: Das Papier handelt vom Aufbau der ersten umfassenden „Google Maps" für die gesamte Welt der Softwaresprachen, unter Verwendung einer Mischung aus menschlichem Expertenwissen und KI-Unterstützung, um Studierenden und Forschern zu helfen zu verstehen, wie alles zusammenpasst.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.