On specifying reactive systems for manufacturing processes

Experience of specification methods for manufacturing processes is proposed in this paper. The considered methods are SA-RT method and SC-AC (statecharts and activity charts); these methods are a representative sample of most used methods in reactive systems design. This work is being experimented on two main CASE tools: Teamwork for SA-RT and Statemate for SC-AC. A simple method for modelling and verifying specification, YASMINA, is proposed.<
>