DocumentCode
275704
Title
A formalisation of Jackson system development
Author
Yeung, W.L. ; Smith, P. ; Topping, G.
Author_Institution
Sunderland Polytech., UK
fYear
1991
fDate
16-18 Sep 1991
Firstpage
31
Lastpage
39
Abstract
This paper presents a formalisation of the Jackson system development (JSD) method based on the theory of communicating sequential processes (CSP). The paper describes how a specification written in the JSD notations can be translated into CSP, which is well suited for modelling and reasoning about the behaviour of concurrent systems. The translation process is formally defined and a tool has been developed to automate the process. The theoretical basis is extended to cover the JSD implementation phase which has not been previously tackled by other researchers
Keywords
formal specification; systems analysis; Jackson system development; communicating sequential processes theory; concurrent systems; formalisation; modelling; reasoning; specification; translation process;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering for Real Time Systems, 1991., Third International Conference on
Conference_Location
Cirencester
Print_ISBN
0-85296-526-5
Type
conf
Filename
140043
Link To Document