Title :
Experience in modeling a concurrent software system using STATEMATE
Author :
Coleman, Glenn L. ; Ellison, Charles P. ; Gardner, Gentry G. ; Sandini, Daniel L. ; Brackett, J.W.
Author_Institution :
Dept. of Electr., Comput. & Syst. Eng., Boston Univ., MA, USA
Abstract :
STATEMATE was used to produce an executable model of a software system which would be implemented as a concurrent program with multiple tasks. In addition, the STATEMATE prototyper was used to produce executable Ada code which exhibited the same behavioral characteristics as the STATEMATE model. By augmenting this code with an Ada implementation of low-level primitive activities and a graphical interface, a working prototype of the system was produced. STATEMATE was found to be extremely helpful in recognizing ambiguity and deficiencies in the software requirements; however, limitations of both the tool set and the methodology were revealed. The ADARTS design method was used to produce an independent design of the same application which was implemented in Ada. Comparisons are drawn between the two implementations
Keywords :
Ada; parallel programming; software prototyping; software tools; systems analysis; ADARTS design method; Ada implementation; STATEMATE model; STATEMATE prototyper; ambiguity; behavioral characteristics; concurrent program; concurrent software system; deficiencies; executable Ada code; executable model; graphical interface; independent design; low-level primitive activities; multiple tasks; software requirements; tool set; working prototype; Application software; Concurrent computing; Design methodology; Elevators; Floors; Prototypes; Real time systems; Software prototyping; Software systems; Software tools;
Conference_Titel :
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location :
Tel-Aviv
Print_ISBN :
0-8186-2041-2
DOI :
10.1109/CMPEUR.1990.113614
