DocumentCode
2576681
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
fYear
1999
fDate
3-5 Feb 1999
Firstpage
204
Lastpage
211
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/EMPDP.1999.746670
Filename
746670
Link To Document