Automated translation of JSD into CSP : a case study in methods integration

Wing Lok YEUNG

Research output: Journal PublicationsJournal Article (refereed)Researchpeer-review

1 Scopus Citations

Abstract

A software tool has been developed for translating the notation of the Jackson system development (JSD) method into the formalism of communicating sequential processes (CSP). The paper illustrates the translation using a small example and then introduces a systematic approach to automating the translation. The automation involves a formalized version of the JSD notation, called FJSD, and the definition of a translation function. The applicability and limitations of this approach to automated translation are considered in the wider context of methods integration.
Original languageEnglish
Pages (from-to)193-202
Number of pages10
JournalJournal of Systems and Software
Volume55
Issue number2
DOIs
Publication statusPublished - 1 Jan 2000

Fingerprint

Automation

Cite this

@article{cd7b032f97484d1d9b40462b0173551d,
title = "Automated translation of JSD into CSP : a case study in methods integration",
abstract = "A software tool has been developed for translating the notation of the Jackson system development (JSD) method into the formalism of communicating sequential processes (CSP). The paper illustrates the translation using a small example and then introduces a systematic approach to automating the translation. The automation involves a formalized version of the JSD notation, called FJSD, and the definition of a translation function. The applicability and limitations of this approach to automated translation are considered in the wider context of methods integration.",
author = "YEUNG, {Wing Lok}",
year = "2000",
month = "1",
day = "1",
doi = "10.1016/S0164-1212(00)00070-4",
language = "English",
volume = "55",
pages = "193--202",
journal = "Journal of Systems and Software",
issn = "0164-1212",
publisher = "Elsevier Inc.",
number = "2",

}

Automated translation of JSD into CSP : a case study in methods integration. / YEUNG, Wing Lok.

In: Journal of Systems and Software, Vol. 55, No. 2, 01.01.2000, p. 193-202.

Research output: Journal PublicationsJournal Article (refereed)Researchpeer-review

TY - JOUR

T1 - Automated translation of JSD into CSP : a case study in methods integration

AU - YEUNG, Wing Lok

PY - 2000/1/1

Y1 - 2000/1/1

N2 - A software tool has been developed for translating the notation of the Jackson system development (JSD) method into the formalism of communicating sequential processes (CSP). The paper illustrates the translation using a small example and then introduces a systematic approach to automating the translation. The automation involves a formalized version of the JSD notation, called FJSD, and the definition of a translation function. The applicability and limitations of this approach to automated translation are considered in the wider context of methods integration.

AB - A software tool has been developed for translating the notation of the Jackson system development (JSD) method into the formalism of communicating sequential processes (CSP). The paper illustrates the translation using a small example and then introduces a systematic approach to automating the translation. The automation involves a formalized version of the JSD notation, called FJSD, and the definition of a translation function. The applicability and limitations of this approach to automated translation are considered in the wider context of methods integration.

UR - http://commons.ln.edu.hk/sw_master/1972

U2 - 10.1016/S0164-1212(00)00070-4

DO - 10.1016/S0164-1212(00)00070-4

M3 - Journal Article (refereed)

VL - 55

SP - 193

EP - 202

JO - Journal of Systems and Software

JF - Journal of Systems and Software

SN - 0164-1212

IS - 2

ER -