Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model
Issue No.04 - April (1995 vol.21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.385973
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 rules. This powerful metaphor was devised in the domain of theoretical computer science by Ban<math><tmath>\^ a</tmath></math>tre and Le Mtayer and then reformulated as the Chemical Abstract Machine, or CHAM, by Berry and Boudol. The CHAM formalism provides a framework for developing operational specifications that does not bias the described system toward any particular computational model. It also encourages the construction and use of modular specifications at different levels of detail. We illustrate the use of the CHAM for architectural description and analysis by applying it to two different architectures for a simple, but familiar, software system, the multiphase compiler.
Software architecture, chemical abstract machine, specification, analysis, formal methods
Paola Inverardi, Alexander L. Wolf, "Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model", IEEE Transactions on Software Engineering, vol.21, no. 4, pp. 373-386, April 1995, doi:10.1109/32.385973