"A Graphical CCS Simulator"

Supervised by Dr MP Stannett

Abstract

The aim of this project was to create a functional simulator for the CCS language with a graphical user interface. More specifically the system should be able to transform expressions entered by a normal user into transition and flow graphs that adhere to the CCS syntax.

The requirement for such a simulator stems from the importance of modelling distributed systems. Several languages exist to model such systems and CCS is among them. Therefore several attempts have been made to automate process evolution in CCS and this has led to the computer world being saturated with several simulating software. Several shortcomings in these systems have restricted their use and that is what the project aims to address. By providing a robust CCS simulating tool that is usable by a wide audience which may include both students and computer scientist the project is built to be the most effective solution available.

The development of the system has produced several problems which accounts for several planned features not being incorporated in the final build. But even in this state the system provides a highly effective solution to anyone's CCS simulation needs. The simple interface coupled with the effective output mechanism for graphs provides users with a simple yet powerful simulating tool. Besides this the development of the system using Java helps the system to be used on a wide variety of platforms making it truly accessible.