A method for extracting requirements of an architectural software model
comprises providing a use case model as a directed graph of the
architectural software model comprising nodes corresponding to use cases
and relations between nodes, and creating, automatically, a tree
comprising a root node corresponding to an abstract use case and at least
one leaf node corresponding to one of an abstract use case and a concrete
use case.