Languages and the Consistency
Die in diesem Buch beschriebene Arbeit ist Teil des Projekts "ENGLISH BEANS", einem Online-Englischlernprogramm. Sein Ziel ist es, Grund- und Sekundarschülern dabei zu helfen, die Effizienz des Englischlernens durch den Einsatz modernster Technologien wie Natural Language Processing, Corpus und Knowledge Graph zu verbessern. "English Beans" verfügt über eine mehrstufige hierarchische Architektur und eine komplexe Struktur und bezieht eine Vielzahl von Modulen und Tools von Drittanbietern ein. Die Konsistenz zwischen verschiedenen Modulen und Werkzeugen ist daher ein Schlüsselproblem für die Integrität des Projekts "ENGLISH BEANS". Die EXPRESS-Sprache (ISO 10303-11) wurde in das Projekt eingeführt, um die entsprechenden Kenntnisse, Informationen und Daten auf halbformale Weise zu beschreiben. Überprüfungen, Analysen und Simulationen würden dann auf dieser halbformalen Ebene durchgeführt, um die Konsistenz und Vollständigkeit des Gesamtsystems zu gewährleisten.
Ein korrektes EXPRESS-Modell sollte nicht nur syntaktisch korrekt, sondern auch semantisch vollständig und konsistent sein. In diesem Zusammenhang bedeutet die Definition von Konsistenz, dass es keine widersprüchlichen Einschränkungen im Modell geben sollte, so dass das Modell und alle seine Teilkomponenten in einer Instanziierung korrekt koexistieren können.
Aktuelle Ansätze zur Überprüfung von EXPRESS-Modellen konzentrieren sich auf die syntaktische und sprachlich-semantische Überprüfung und auf die Überprüfung von Instanzdaten gegen Modellbeschränkungen. Der Ansatz, der in diesem Buch behandelt wird, unterscheidet sich insofern, als er die Fragen der semantischen Konsistenz durch Analyse der EXPRESS-Modelldefinition berücksichtigt.
Konsistenz ist zum Teil der Schwerpunkt verschiedener Paradigmen wie UML, OWL und Constraint Programming (CP). Die Behandlung von Konsistenzproblemen in diesen Paradigmen erfordert eine formale Semantik und Schlussfolgerungstechnologien, die eine solche formale Semantik vollständig abdecken können. Die hier beschriebene Arbeit nutzt diese formalen Ansätze, insbesondere Constraint Programming, um eine Umgebung zur Konsistenzprüfung für EXPRESS-Modelle bereitzustellen.
| ISBN: | 9781913558000 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
