Refining an ASM Specification of the Production Cell to C++ Code

Luca Mearelli (Università di Pisa, Italy)

Abstract: We present here the transformation to C++ code of the refined ASM mode l for the production cell developed in the paper "Integrating ASMs into the Softw are Development Life Cycle" (see this volume) which serves as program documentation. This implementation is a refinement step and produces code which has been valida ted through extensive experimentation with the production cell simulator of FZI Karlsruhe.

Keywords: Abstract State Machines., Code Documentation, Code Inspection, Programming Techniques, Stepwise Refinement

Categories: D.1, D.1.3, D.1.5, D.2.1, D.2.4, D.2.5