1. Home page
  2. Search

Associating composition of petri net specifications with application designs in GRADE

This item is provided by the institution :
/aggregator-openarchives/portal/institutions/uoa   

Repository :
Pergamos Digital Library   

see the original item page
in the repository's web site and access all digital files if the item*



Associating composition of petri net specifications with application designs in GRADE
Tsiatsoulis, Z Dozsa, G Cotronis, JY Kacsuk, P
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. (EN)
scientific_publication_inproceedings
Επιστημονική δημοσίευση - Ανακοίνωση Συνεδρίου (EL)
Scientific publication - Conference Paper (EN)
University of Athens
Pergamos Digital Library
Conference Paper
English
1999-01-01
uoadl:3051361
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3051361
IEEE Comput. Soc (EL)
IEEE Comput. Soc (EN)



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)