Celý kurz je rozdělen do dvou částí, přičemž první z nich je věnována neformálním, příp. semi-formálním, metodám postavených na třech základních druzích abstrakcí - funkčním modelování, modelování chování a strukturálním modelování. K tomuto účelu budou představeny tři metody implementující tyto přístupy, a to metoda IDEF (Integrated DEFinition), EPC (Event-driven Process Chains) a UML (Unified Modeling Language). V druhé části budou studující obeznámeni s formálními metodami, konkrétně s aplikací teorie Petriho síti pro účely jednoznačné a přesné specifikace byznys procesů včetně jejich analýzy a verifikace. Po prostudování modulu by měl student být schopen sestavení modelů podnikových procesů nezávisle na použitých principech a softwarových nástrojích.