Funkció-meghatározás

A rendszer minden funkciójához készíthethetünk egy ilyen funkcióleírást. Most csak a 4.2 folyamat esetében mutatjuk be ezt a leírást.