Full-text VersionPublisher’s Version
Automated translation of JSD into CSP : a case study in methods integrationJournal of Systems and Software
Document TypeJournal article
AbstractA 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.
Copyright © 2000 Elsevier Science Inc
Access to external full text or publisher's version may require subscription.
Citation InformationYeung, W. L. (2000). Automated translation of JSD into CSP: A case study in methods integration. Journal of Systems and Software, 55(2), 193-202. doi: 10.1016/S0164-1212(00)00070-4