Oryginalny tytuł:
Languages and the Consistency
Zawartość książki:
Praca opisana w tej książce jest częścią projektu "ENGLISH BEANS", który jest internetowym programem do nauki języka angielskiego. Jego celem jest pomoc uczniom szkół podstawowych i średnich w poprawie efektywności nauki języka angielskiego poprzez wykorzystanie najnowocześniejszych technologii, takich jak przetwarzanie języka naturalnego, korpus i graf wiedzy. "English Beans" ma wielopoziomową hierarchiczną architekturę i złożoną strukturę, a także obejmuje różne moduły i narzędzia innych firm. Spójność między różnymi modułami i narzędziami jest zatem kluczowym problemem dla integralności projektu "ENGLISH BEANS". Język EXPRESS (ISO 10303-11) został wprowadzony do projektu w celu opisania względnej wiedzy, informacji i danych w sposób półformalny. Sprawdzanie, analiza i symulacja będą następnie stosowane na tym półformalnym poziomie, aby zagwarantować spójność i kompletność całego systemu.
Poprawny model EXPRESS powinien być nie tylko poprawny składniowo, ale także semantycznie kompletny i spójny. W tym kontekście definicja spójności polega na tym, że w modelu nie powinny występować żadne sprzeczne ograniczenia, tak aby model i wszystkie jego podkomponenty mogły poprawnie współistnieć w instancji.
Obecne podejścia do sprawdzania modelu EXPRESS koncentrują się na sprawdzaniu składni i semantyki języka oraz na sprawdzaniu danych instancji pod kątem ograniczeń modelu. Podejście omówione w tej książce różni się tym, że uwzględnia kwestie spójności semantycznej poprzez analizę definicji modelu EXPRESS.
Spójność jest częściowo przedmiotem zainteresowania kilku paradygmatów, takich jak UML, OWL i Constraint Programming (CP). Rozwiązanie kwestii spójności w tych paradygmatach wymaga formalnej semantyki i technologii wnioskowania, które mogą w pełni objąć taką formalną semantykę. Opisane tutaj prace wykorzystują te formalne podejścia, a w szczególności programowanie ograniczeń, w celu zapewnienia środowiska sprawdzania spójności dla modeli EXPRESS.
