Denotational Semantics for JSD

  • Authors:

  • W. Lok Yeung

  • Affiliations:

  • -

  • Venue:
  • APSEC '97 Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

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.