Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
SzymonBobek,KrzysztofKaczor,KrzysztofKluza,WeronikaAdrian
2.Wceluweryfikacjiwiedzy,edytormapujebazęwiedzydopostacire-
gułowej,zapisanejwjęzykuREBIT,iprzekazujedoanalizatoraskładniowego.
3.Analizatorskładniowybadapoprawnośćskładniowąbazywiedzy
iparsujebazęwiedzywjęzykuREBITdoformatuHMRL,grupującpodobne
reguływtzw.konteksty(wceluumożliwieniabadaniazupełnościczysprzecz-
ności).
4.Weryfikatorlogicznyprzeprowadzaweryfikacjębazywiedzyiprze-
kazujeraportwzpowrotemdoedytora,któryinformujeużytkownikaoewentu-
alnychbłędach.
3.Edycjabazywiedzy
Edycjabazywiedzyjestdokonywanazapomocąstworzonegospecjalnie
dotegoceluedytora.Edytormazazadanieumożliwienieużytkownikowiłatwej
modyfikacjibazywiedzypoprzezzastosowaniewizualnychkomponentów
ułatwiającychposługiwaniesięaplikacją.Edytormożełączyćwsobiefunkcjo-
nalnośćaplikacjipozwalającejnaedycjębazywiedzy,jakteżaplikacjidlaużyt-
kownikakońcowego,którybędzieużywałjejdownioskowania.Wtymjednak
przypadkuzastosowanopierwszepodejście,gdzieaplikacjasłużyjedyniedo
edycjibazwiedzy.
Edytorskładasięzkilkumodułówpowstałychwwynikuzastosowania
wzorcaprojektowegoModel-View-Controller(MVC).MVC(rys.2)jestinfor-
matycznymwzorcemprojektowym,którynaokreślonympoziomieabstrakcji
architekturyaplikacjiwprowadza3-warstwowypodziałna:
−
warstwęmodelu–odpowiadającązawewnętrznąreprezentacjędanych
któreprzetwarzaaplikacja,
−
warstwęwidoku–odpowiadającązaprezentacjęużytkownikowidanych
przechowywanychwwarstwiemodelu:
−
warstwękontrolera–pośredniczącąpomiędzywarstwamimodeluiwi-
dokuwwymianiedanychpoprzezprzesyłanieodpowiednichkomuni-
katówlubpoprzezobsługęzdarzeńgenerowanychwtychwarstwach.
16
