A Formal Architectural Design Patterns-Based Approach to Software Understanding