Dr Robert Walters

Declarative Systems & Software Engineering Group

I joined the University of Southampton in May 1996 as a Research Assistant to work for Prof. Peter Henderson on the CORE (Construction Companies Processes Re-Engineering) Esprit project 20.777 and later moved to the PROCESS project, SV-Soft a project in collaboration with ICL, and CMM45 .  I am now working on the RICES project in which we are concerned with how to build Enterprise Systems which are able to cope with inconsistent data.

I completed my PhD in 2003. The subject of my thesis was a formal modelling language in which the user builds models by drawing diagrams using a software tool in place of the usual process algebra. In addition to supporting the model generation process, the tool is also able to execute the models and convert them (automatically) into Promela, the input language of the SPIN model checker. See RDT for more details. This work builds on the REPI package which comprised a collection of tools aimed at enabling a user to build and execute process models using the RolEnact process modelling language with a minimum of specialised knowledge.

Here are home pages for projects that I am (or have been) connected with: projects.

Some papers that I have available for downloading: papers.

Here is a link to an experimental set of pages of a small PWB Model. These pages need a Java enabled browser and are still under development so please do not be surprised if following this link or the model fail.

I am also course leader for COMP6004 – “Formal Design of Systems”.

Anyone looking for files that I said I would make available should try looking here first.



Declarative Systems & Software Engineering Group
Electronics & Computer Science
University of Southampton
Room 4025, level 4, EEE Building,
Highfield, Southampton SO17 1BJ
Telephone: +44 (1703) 593055
FAX: +44 (1703) 593045
Email: rjw1@ecs.soton.ac.uk


Page updated: 12 June 2007