RULE-BASED SYSTEM AND METHOD FOR CHECKING COMPLIANCE OF ARCHITECTURAL ANALYSIS AND DESIGN MODELS

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.