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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.