Dit betreft dan het ontwikkelen van een formalisme dat gebruikt kan worden voor beschrijving, constructie of analyse van informatiesystemen.
Enkele voorbeelden:
De theorievorming heeft betrekking op semantiek, op syntax, en op analysemethoden.
Semantiek wordt vaak gegeven in de vorm van een wiskundig model.
Syntax hoeft niet een textuele vorm te hebben, maar is tegenwoordig vaak grafisch. Bij analysemethoden gaat het om de automatische bepaling van eigenschappen, bijvoorbeeld bij Petrinetten of hypertekststructuren.
Ook het ontwikkelen van methoden en het vergelijken van formalismen, b.v. aan de hand van voorbeelden, behoren tot dit type.