Suoritettavan spesifiointikielen kääntäjä

Abstract

Ohjelmistojen määrittelyn ja suunnittelun hallitseminen on tullut yhä tärkeämmäksi. Tähän ovat johtaneet ohjelmistojen koon kasvu ja järjestelmille asetetut suuremmat luotettavuusvaatimukset. DisCo-projektin tavoitteena on tutkia määrittelyä ja suunnittelua reaktiivisten rinnakkaisjärjestelmien kannalta ja kehittää animointiympäristö, jossa määrittelyitä voidaan testata. DisCo-ympäristöön liittyy kääntäjä, joka on tämän tutkielman aiheena. Työn tuloksena syntyi kääntäjä, jolla DisCo-kieliset ohjelmat käännetään Lispiksi tulkille sopivaan muotoon. Kääntäjän teosta saatujen kokemusten perusteella Lisp soveltuu hyvin tällaisiin ohjelmointiprojekteihin. Tässä työssä on aluksi suppea johdanto DisCo-projektissa käsiteltyyn teoriaan ja muihin määrittelykieliin. Työn varsinainen tarkoitus on kuvata kääntäjän rakenne ja toiminta. /Kir10