Ze strukturní analýzy systémů [] známe metodu analýzy shora-dolů (top down), která spočívá v postupné dekompozici systému na komponenty. Opačný přístup metodou zdola-nahoru (bottom-up) spočívá nejprve ve specifikaci jednotlivých komponent a následném hledání vztahů mezi nimi. Specifikace a návrh systémů těmito metodami jsou hierarchické.
Při analýze se zabýváme systémem na různých úrovních abstrakce. Abstrakce umožňuje popis chování systému z určitého obecnějšího pohledu. Na dané úrovni nezajímavé části systému mohou být abstrakcí skryty. Podpora abstrakce velmi úzce souvisí s podporou hierarchie.
Některé algebry procesů abstrakci matematicky formalizují zaváděním speciálních operátorů (např. operátor restrikce v CCS). U většiny grafických jazyků je abstrakce podporována. V některých grafických jazycích pro systémy reálného času však chybí (např. UPPAAL []).