Dennis Undergraduate Dissertation 2014/15

Rebuilding the DFA Tool

Supervised by A.Cowling

Abstract

Dataflow Algebra (DFA) is the technique developed to specify a formal specification method of a system. DFA provides a possible way of defining a pattern of data flows between processes via the channels that connect them. Previous works have been done to create a DFA Tool, a tool that provides the capability for parsing specification written in the DFA. 

The DFA Tool was constructed mainly with such technologies as ANTLR and JDOM. These technologies have been developed and improved further from the time the latest DFA Tool was built. This project aims to update the DFA Tool by utilising these new technologies developments in its construction.