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
UR - http://www.scopus.com/inward/record.url?scp=0034546716&partnerID=8YFLogxK
U2 - 10.1016/S0164-1212(00)00070-4
DO - 10.1016/S0164-1212(00)00070-4
M3 - Journal Article (refereed)
SN - 0164-1212
VL - 55
SP - 193
EP - 202
JO - Journal of Systems and Software
JF - Journal of Systems and Software
IS - 2
ER -