Tool for specification of use cases using UML