DocumentCode
1555545
Title
CCS specification of a Linda behavioural model debugger
Author
Sewry, D.A. ; Clayton, P.G. ; Wentworth, E.P.
Author_Institution
Dept. of Inf. Syst., Rhodes Univ., Grahamstown, South Africa
Volume
144
Issue
2
fYear
1997
fDate
4/1/1997 12:00:00 AM
Firstpage
89
Lastpage
100
Abstract
The paper reports on an investigation into a behavioural model debugger for the Linda parallel programming paradigm using Milner´s (1989) CCS. The Linda paradigm and the behavioural model for debugging are introduced, and an application of the model to Linda is discussed. A CCS specification of a Linda system with behavioural model debugger is presented and compared with a CCS specification of the basic Linda system. Observational equivalence is demonstrated between the two systems that ensures that, despite their internal differences, they are indistinguishable on the basis of their interactions with Linda client programs. A prototype Linda system with debugger that is based on the behavioural model approach is also described
Keywords
calculus of communicating systems; formal specification; parallel programming; program debugging; CCS specification; Linda behavioural model debugger; Linda client programs; Linda parallel programming paradigm; observational equivalence;
fLanguage
English
Journal_Title
Software Engineering. IEE Proceedings- [see also Software, IEE Proceedings]
Publisher
iet
ISSN
1364-5080
Type
jour
DOI
10.1049/ip-sen:19970972
Filename
588369
Link To Document