"Automated translation of JSD into CSP : a case study in methods integr" by Wing Lok YEUNG
 

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

Plum Print visual indicator of research metrics
PlumX Metrics
  • Citations
    • Citation Indexes: 1
  • Usage
    • Abstract Views: 1
  • Captures
    • Readers: 3
see details

Share

COinS
Plum Print visual indicator of research metrics
  • Citations
    • Citation Indexes: 1
  • Usage
    • Abstract Views: 1
  • Captures
    • Readers: 3
see details