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

A software tool has been developed for translating the notation of the Jack son system development (JSD) method into the formalism of communicating seq uential processes (CSP). The paper illustrates the translation using a smal l example and then introduces a systematic approach to automating the trans lation. The automation involves a formalized version of the JSD notation, c alled FJSD, and the definition of a translation function. The applicability and limitations of this approach to automated translation are considered i n the wider context of methods integration. (C) 2000 Elsevier Science Inc. All rights reserved.