Multithreading by itself, however, is not enough to solve the parallel programming problems. Multithreading should be accompanied by a formalism that assists the programmer to generate correct multithreaded code. WoTUG-members have a track record of implementing parallelism for over a decade based on the formal theory of CSP . Parallelism may be considered an inherent property of a system. If so, this property should be considered during system design and parallelism should not be used as a mere tool to improve incidental performance.
Parallelism is too valuable a property of a system to be ignored.
There is no formalism to support this task. On the other hand, the transformation from parallel application to parallel software may be realised using the CSP programming paradigm, structured design methods or the object oriented paradigm and design patterns. The multithreaded feature of Java is being proposed as an approach to concurrent programming. Java, however, needs to be accompanied by a design formalism for parallel or concurrent systems design. This conference will address the design of parallel or concurrent applications in the area of embedded real-time systems as well as in general purpose concurrent programming.