The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Functional programming using standard ML
Functional programming using standard ML
The Z notation: a reference manual
The Z notation: a reference manual
Integrating formal notations and systems analysis: using entity relationship diagrams
Software Engineering Journal
Communication and Concurrency
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Structured Analysis and System Specification
Structured Analysis and System Specification
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Generating formal specifications from CASE repositories
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Methods integration: time for reflection (and reorientation?)
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |
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).