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

Volume

1

fYear

1998

fDate

11-14 Oct 1998

Firstpage

284

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on

ISSN

1062-922X

Print_ISBN

0-7803-4778-1

Type

conf

DOI

10.1109/ICSMC.1998.725423

Filename

725423