Describir: Towards Rewriting Semantics of Software Architecture Specification