Title :
Denotational semantics for JSD
Author_Institution :
Dept. of Comput. Studies, Lingnan Coll., Hong Kong
Abstract :
This paper discusses the use of denotational semantics in formalizing the notations of structured methods. Using the Jackson System Development (JSD) method as an example, the techniques of denotational semantics are applied to the JSD notations to give them a formal semantics based on lambda calculus and communicating sequential processes (CSP). A JSD design can then be readily translated into CSP based on the semantic definition
Keywords :
communicating sequential processes; lambda calculus; programming theory; software engineering; CSP; JSD; Jackson System Development; communicating sequential processes; denotational semantics; formal semantics; lambda calculus; structured methods; Calculus; Computer languages; Concurrent computing; Design methodology; Educational institutions; Embedded system; Specification languages; System analysis and design; System recovery; Writing;
Conference_Titel :
Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings
Print_ISBN :
0-8186-8271-X
DOI :
10.1109/APSEC.1997.640163
