Title :
On specifying reactive systems for manufacturing processes
Author :
Sahraoui, Abd-El-Kader
Author_Institution :
CNRS, Toulouse, France
Abstract :
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
Keywords :
computer integrated manufacturing; formal specification; program verification; software tools; CASE tools; SA-RT method; SC-AC; Statemate; Teamwork; YASMINA; activity charts; manufacturing processes; reactive systems design; reactive systems specification; specification methods; specification modelling; statecharts; Computer aided software engineering; Control systems; Guidelines; Logic; Manufacturing processes; Object oriented modeling; Software engineering; System analysis and design; Timing; Trademarks;
Conference_Titel :
Real-Time Applications, 1994., Proceedings of the IEEE Workshop on
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-6375-8
DOI :
10.1109/RTA.1994.316155
