CASE Support for Methods Integration : Implementation of a translation from a structured to a formal notation

Work carried out at The University of Teesside has resulted in an integrated method between the Ward Mellor (WM) Structured Analysis Real-Time (SA/RT) notation and Value Passing Synchronous Calculus of Communicating Systems (SCCS-VP), an extension to SCCS to cater for values. This is achieved through a formally specified Semantic Function (SF) which defines a mapping from WM models to their re-expression in SCCS-VP. The work presented here takes the Z specification of the Semantic Function and implements it in the functional programming language, ML. This paper looks in turn at the steps found necessary to develop a complete CASE supported integration of WM models to SCCS-VP program translation, and their simulation on the Edinburgh Concurrency Workbench (CWB).