Teoriq ob#ektno-sobytijnyh modelej.

Ishodq iz obschih predstawlenij ob ispolnenii posledowatel'nyh i parallel'nyh processow na wychislitel'nyh sistemah wywoditsq axiomaticheskaq teoriq ob#ektno-sobytijnyh mdelej. Formuliruetsq rqd interesnyh predel'nyh teorem. Opredelqetsq rawnomoschnost' abstraktnoj predel'noj modeli mashine T'üringa i real'noj predel'noj modeli procedure s planirowaniem powtornogo whoda. Predlagaetsq mashina wywoda modelej, unificiruüschaq ih strukturu i soderzhanie s dannymi o predmentoj oblasti. Predlozheny koncepcii dedukcii i prqmogo porozhdeniq programm na baze modelej. Razwity idei äffektiwnogo posledowatel'nogo i parallel'nogo programmirowaniq nekotoryh algoritmow na procedurah s planirowaniem powtornogo whoda. Vwoditsq ponqtie metasloq programmy, zanimaüschegosq indukciej/modelirowaniem algoritmow, dannyh i funkcional'nyh harakteristik programm na baze predlagaemyh ob#ektno-sobytijnyh modelej. Predikciq sootwetstwuüschih aspektow programmy w metasloe daet informaciü dlq optimizacii ee ispolneniq.