Denotational semantics for JSD

W. Lok YEUNG

    Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

    1 Scopus Citations

    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 languageEnglish
    Title of host publicationProceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
    PublisherIEEE Comp Soc, Los Alamitos, CA, United States
    Pages72-80
    Number of pages9
    ISBN (Print)081868271X
    DOIs
    Publication statusPublished - 1 Jan 1997

    Fingerprint

    Semantics

    Cite this

    YEUNG, W. L. (1997). Denotational semantics for JSD. In Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC (pp. 72-80). IEEE Comp Soc, Los Alamitos, CA, United States. https://doi.org/10.1109/APSEC.1997.640163
    YEUNG, W. Lok. / Denotational semantics for JSD. Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC. IEEE Comp Soc, Los Alamitos, CA, United States, 1997. pp. 72-80
    @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 = "1",
    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",

    }

    YEUNG, WL 1997, Denotational semantics for JSD. in Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC. IEEE Comp Soc, Los Alamitos, CA, United States, pp. 72-80. https://doi.org/10.1109/APSEC.1997.640163

    Denotational semantics for JSD. / YEUNG, W. Lok.

    Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC. IEEE Comp Soc, Los Alamitos, CA, United States, 1997. p. 72-80.

    Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

    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://commons.ln.edu.hk/sw_master/6946

    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 -

    YEUNG WL. Denotational semantics for JSD. In Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC. IEEE Comp Soc, Los Alamitos, CA, United States. 1997. p. 72-80 https://doi.org/10.1109/APSEC.1997.640163