Title :
Associating composition of Petri net specifications with application designs in GRADE
Author :
Tsiatsoulis, Z. ; Dózsa, G. ; Cotronis, J.Y. ; Kacsuk, P.
Author_Institution :
Dept. of Inf., Athens Univ., Greece
Abstract :
To provide high-level graphical support for developing message passing programs, an integrated programming environment (GRADE) is being developed. GRADE currently provides tools to construct, execute, debug, monitor and visualise message-passing based parallel programs. The paper describes the extension of GRADE with formal method support based on Petri nets composition. We outline specification composition, directly associated with application composition as well as the integration of specification and implementation of program development
Keywords :
Petri nets; formal specification; integrated software; message passing; parallel programming; programming environments; GRADE; Petri net specifications; application designs; debug; formal method support; high-level graphical support; integrated programming environment; message passing programs; message-passing based parallel programs; monitor; Decision support systems; X-ray scattering;
Conference_Titel :
Parallel and Distributed Processing, 1999. PDP '99. Proceedings of the Seventh Euromicro Workshop on
Conference_Location :
Funchal
Print_ISBN :
0-7695-0059-5
DOI :
10.1109/EMPDP.1999.746670
