Synthesis of concurrent programs

Dátum
2004-12-01
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt

Students need a well defined method to be successful in the complex process of writing a concurrent program. In this paper we show a step by step method to create such programs. The method based on UML which has been thought to students during previous courses. UML provides standard and relatively simple tools to describe concurrent systems, and from the description the program can be derived. First we give a brief introduction to the concurrent systems. This is followed by the description of the method, and finally we demonstrate the method on a small problem.

Leírás
Kulcsszavak
concurrent program, process, synchronization, guarded statement, semaphore, object-oriented design, UML, class diagram, state-chart diagram
Forrás
Teaching Mathematics and Computer Science, Vol. 2 No. 2 (2004) , 301-317