Eredeti címe:
Languages and the Consistency
Könyv tartalma:
Az ebben a könyvben leírt munka az "ENGLISH BEANS" projekt része, amely egy online angol nyelvtanulási program. Célja, hogy az általános és középiskolásoknak segítsen az angol nyelvtanulás hatékonyságának javításában olyan csúcstechnológiák alkalmazásával, mint a természetes nyelvfeldolgozás, a korpuszok és a tudásgrafikon. Az "English Beans" többszintű hierarchikus architektúrával és összetett szerkezettel rendelkezik, és számos harmadik féltől származó modult és eszközt is tartalmaz. A különböző modulok és eszközök közötti konzisztencia ezért kulcsfontosságú probléma az "ENGLISH BEANS" projekt integritása szempontjából. Az EXPRESS (ISO 10303-11) nyelvet vezették be a projektbe a relatív tudás, információ és adatok félig-meddig formális módon történő leírására. Az ellenőrzés, elemzés, szimulációs munka ezután ezen a fél-formális szinten történik, hogy garantálja a teljes rendszer konzisztenciáját és teljességét.
Egy helyes EXPRESS modellnek nemcsak szintaktikailag helyesnek, hanem szemantikailag is teljesnek és konzisztensnek kell lennie. Ebben az összefüggésben a konzisztencia definíciója az, hogy a modellben ne legyenek egymással ellentétes korlátozások, hogy a modell és annak minden alkomponense helyesen tudjon együtt létezni egy példányosításban.
Az EXPRESS modellellenőrzés jelenlegi megközelítései a szintaktikai és nyelvi szemantikai ellenőrzésre, valamint a példányadatok modellkorlátozásokkal való ellenőrzésére összpontosítanak. Az ebben a könyvben tárgyalt megközelítés annyiban különbözik, hogy a szemantikai konzisztencia kérdéseit az EXPRESS modelldefiníció elemzésével vizsgálja.
A konzisztencia részben számos paradigma, például az UML, az OWL és a korlátozó programozás (CP) középpontjában áll. A konzisztencia kérdéseinek kezelése ezekben a paradigmákban formális szemantikát és olyan következtetési technológiákat igényel, amelyek teljes mértékben lefedik az ilyen formális szemantikát. Az itt leírt munka ezeket a formális megközelítéseket, és különösen a korlátozó programozást használja fel az EXPRESS modellek konzisztenciaellenőrző környezetének biztosítására.
