Design, abstract data types and occam

Kerridge, J.M.; Wright, S.; Oates, R.

Abstract

A design methodology is presented whereby abstract data types are mapped onto occam processes. For each function a command and reply protocol is specified. Attention is paid to the formal specification. The method may be useful in obtaining a parallel implementation of dataflow diagrams as produced by systems like SSADM.

Citation

Kerridge, J., Wright, S., & Oates, R. (1989, April). Design, abstract data types and occam. Presented at 10th Occam User Group Technical Meeting, Enschede, The Netherlands

• Presentation Conference Type: Conference Paper (published)
• Conference Name: 10th Occam User Group Technical Meeting
• Start Date: Apr 3, 1989
• End Date: Apr 5, 1989
• Publication Date: 1989
• Deposit Date: Jul 24, 2019
• Publisher: IOS Press
• Pages: 29-45
• Book Title: Applying Transputer Based Parallel Machines: OUG-10, proceedings of the 10th Occam User Group Technical Meeting
• ISBN: 9051990111
• Keywords: occam process; abstract data types; parallel implementation
• Public URL: http://researchrepository.napier.ac.uk/Output/1992819