Iskhodya iz obshchikh predstavleniy ob ispolnenii posledovatel'nykh i parallel'nykh protsessov na vychislitel'nykh sistemakh vyvoditsya aksiomaticheskaya teoriya ob"ektno-sobytiynykh mdeley. Formuliruetsya ryad interesnykh predel'nykh teorem. Opredelyaetsya ravnomoshchnost' abstraktnoy predel'noy modeli mashine T'yuringa i real'noy predel'noy modeli protsedure s planirovaniem povtornogo vkhoda. Predlagaetsya mashina vyvoda modeley, unifitsiruyushchaya ikh strukturu i soderzhanie s dannymi o predmentoy oblasti. Predlozheny kontseptsii deduktsii i pryamogo porozhdeniya programm na baze modeley. Razvity idei effektivnogo posledovatel'nogo i parallel'nogo programmirovaniya nekotorykh algoritmov na protsedurakh s planirovaniem povtornogo vkhoda. Vvoditsya ponyatie metasloya programmy, zanimayushchegosya induktsiey/modelirovaniem algoritmov, dannykh i funktsional'nykh kharakteristik programm na baze predlagaemykh ob"ektno-sobytiynykh modeley. Prediktsiya sootvetstvuyushchikh aspektov programmy v metasloe daet informatsiyu dlya optimizatsii ee ispolneniya.