A Framework for Developing and Analyzing Software Architecture Specifications in SAM