UML 2.0 also now supports activity diagrams, interaction overview diagrams ... but ultimately it is up to the developers to insert all the business logic and algorithms. Through DOORS/Analyst ...