Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model ; CU-CS-709-94