Denotational semantics for JSD

W. Lok YEUNG

doi:10.1109/APSEC.1997.640163

Denotational semantics for JSD

W. Lok YEUNG

Lingnan College

Research output: Book Chapters | Papers in Conference Proceedings › Conference paper (refereed) › Research › peer-review

1 Citation (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
Publisher	IEEE Comp Soc, Los Alamitos, CA, United States
Pages	72-80
Number of pages	9
ISBN (Print)	081868271X
DOIs	https://doi.org/10.1109/APSEC.1997.640163
Publication status	Published - 1 Jan 1997

Access to Document

10.1109/APSEC.1997.640163

Cite this

@inproceedings{0bc214c9f31e4115bed70e25e4cf178b,

title = "Denotational semantics for JSD",

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.",

author = "YEUNG, {W. Lok}",

year = "1997",

month = jan,

day = "1",

doi = "10.1109/APSEC.1997.640163",

language = "English",

isbn = "081868271X",

pages = "72--80",

booktitle = "Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC",

publisher = "IEEE Comp Soc, Los Alamitos, CA, United States",

}

TY - GEN

T1 - Denotational semantics for JSD

AU - YEUNG, W. Lok

PY - 1997/1/1

Y1 - 1997/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0031354021&partnerID=8YFLogxK

U2 - 10.1109/APSEC.1997.640163

DO - 10.1109/APSEC.1997.640163

M3 - Conference paper (refereed)

SN - 081868271X

SP - 72

EP - 80

BT - Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

PB - IEEE Comp Soc, Los Alamitos, CA, United States

ER -

Denotational semantics for JSD

Abstract

Access to Document

Other files and links

Fingerprint

Cite this