Computer software for non-intrusive modeling of running distributed software systems using semantic graphs