Automated translation of JSD into CSP : a case study in methods integration
Document Type
Journal article
Source Publication
Journal of Systems and Software
Publication Date
1-1-2000
Volume
55
Issue
2
First Page
193
Last Page
202
Publisher
Elsevier Inc.
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.
DOI
10.1016/S0164-1212(00)00070-4
Print ISSN
01641212
E-ISSN
18731228
Publisher Statement
Copyright © 2000 Elsevier Science Inc
Access to external full text or publisher's version may require subscription.
Full-text Version
Publisher’s Version
Language
English
Recommended Citation
Yeung, 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