DocumentCode
287596
Title
On specifying reactive systems for manufacturing processes
Author
Sahraoui, Abd-El-Kader
Author_Institution
CNRS, Toulouse, France
fYear
1994
fDate
21-22 Jul 1994
Firstpage
110
Lastpage
115
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Applications, 1994., Proceedings of the IEEE Workshop on
Conference_Location
Washington, DC
Print_ISBN
0-8186-6375-8
Type
conf
DOI
10.1109/RTA.1994.316155
Filename
316155
Link To Document