A Rewriting Semantics for the CBABEL Architecture Description Language