Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model