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

We are exploring an approach to formally specifying and analyzing software architectures that is based on viewing software systems as chemicals whose reactions are controlled by explicitly stated r...