UML or else, a set of types / interfaces that represent the system and its properties. thanks for the suggestion