"Supporting Dataflow Algebra within WinCASE"

Supervised by A.Cowling

Abstract

This project enhances the WinCASE Case Tool, with an extended repository to allow the use of the DataFlow Algebra. The DataFlow Algebra, is formal specification technique defining a system as the data flows between its components using a formal algebraic syntax and data flow diagrams. WinCASE is intended to become a Meta-CASE Tool. Both WinCASE and DataFlow Algebra are under research at the Department of Computer Science, at the University of Sheffield. Detailed analysis is carried out on WinCASE and the implemented repository for Parallel Communication Sequential Code. Design, implementation and testing are discussed with results. Concluding in a successful extension to WinCASE and providing base for further work with both software and documentation.