V tejto práci definujeme formálny modelovací jazyk založený na
pravidlách ako formálnu časť Biochemického priestoru.
Biochemický priestor je formát slúžiaci na popis reakčných
sieti biologických procesov. Skladá sa z formálnej časti pre
popis a neformálnej časti pre anotáciu dát. Biochemický
priestor je vyvíjaný ako súčasť webovej platformy Comprehensive
Modelling Platform slúžiacej na modelovanie a analýzu
biologických systémov. Umožňuje vymedziť vzťah matemetických
modelov voči ich biologickému významu na určitej úrovni
abstrakcie.