Synthesis of concurrent programs

Abstract

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.