Date and Time:Thursday 22 May 2008, 15:30 - 16:30

Speaker:Harsh Beohar

Title: Verification of Workflow in BeX using ASD

Abstract:

The main theme of this thesis is to investigate whether is it feasible to use ASD (Analytical System Design) methodology by Verum in software development lifecycle. In brief, software designer has to write Sequence Based Specification in MS-Excel. Then, the ASD tool (a plug-in provided to be installed in MS-Excel) will generate a CSP model. When CSP model is ready then model checking is done using FDR2 tool.