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

Wing Lok YEUNG

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

1 Citation (Scopus)


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
Issue number2
Publication statusPublished - 1 Jan 2000


Dive into the research topics of 'Automated translation of JSD into CSP : a case study in methods integration'. Together they form a unique fingerprint.

Cite this