Title :
A model-based software engineering of parallel and distributed systems using Petri nets
Author :
Mikolajczak, Boleslaw
Author_Institution :
Comput. & Inf. Sci. Dept., Univ. of Massachusetts, Dartmouth, MA, USA
Abstract :
This paper describes a sequence of two graduate courses devoted to Software Engineering of Parallel and Distributed Systems (SEPDS) in a software-oriented graduate computer science curriculum. We apply a model-based integrated approach using Petri nets. Two main objectives of these courses are: to present Petri nets as a model to specify, verify, validate, and evaluate performance of PDSs, and to show examples of Petri nets applications to development of PDSs. Software tools such as: Design/CPN, Great GSPN, UltraSAN are utilized.
Keywords :
Petri nets; computer science education; distributed programming; formal specification; parallel programming; program verification; Design/CPN; Great GSPN; UltraSAN; distributed systems; graduate courses; model-based integrated approach; model-based software engineering; parallel systems; software-oriented graduate computer science curriculum; Computer science; Concurrent computing; Distributed computing; Distributed databases; Petri nets; Software design; Software engineering; Software systems; Stochastic systems; Transaction databases;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725423
