doksi összevetése, formázása, state chartok, class diagram beletéve