A great one which I used in the nineties was the Objectory software engineering tool by Ivar Jacobson and his team (later bought by Rational which unfortunately discontinued the tool in favour of Rose).