Unifikatsiya Proektirovaniya Slozhnykh Vychislitel'nykh Kompleksov

Obsuzhdayutsya nekotorye aspekty unifitsirovannogo podkhoda k konstruirovaniyu slozhnykh komp'yuternykh vychislitel'nykh kompleksov dlya resheniya prikladnykh zadach razlichnoy problemnoy orientatsii. Formal'no opredelyaetsya klass algoritmicheskikh vychislitel'nykh zadach, dlya komp'yuternogo resheniya kotorykh predlagaetsya tipovoy vychislitel'nyy kompleks. Bol'shinstvo komponent kompleksa unifitsirovano, t.e. ne zavisit ot ego problemnoy orientatsii. Nastroyka kompleksa na reshenie opredelennogo klassa zadach osushchestvlyaetsya posredstvom konstruirovaniya ryada formal'nykh modeley. Predstavlena metodologiya konstruirovaniya i interpretatsii takikh modeley, osnovannaya na posledovatel'nykh transformatsiyakh modeli predstavleniya znaniy o predmetnoy oblasti v model' professional'nogo yazyka predstavleniya dannykh, model' khraneniya predlozheniy professional'nogo yazyka, a takzhe v setevuyu model' vychislitel'nogo protsessa resheniya prikladnoy zadachi.