Serialization as a paradigm for the engineering of parallel programs

Serialisation is a key technique for making the most efficient use of multi-processor architecture. It aims at creating a system which is as modular as possible by exploiting parallelism and processes without considering the restriction of the architecture. Afterwards, through transformation, the number of processes is reduced to achieve the required performance. We present composition and abstraction rules for the construction of deadlock-free systems, and transformation rules to reduce the number of processes in order to improve the system's performance. We also describe the graphical interface to support the automatic development of systems based on serialisation.