The CICS application programming interface definition

  • J. B. Wordsworth
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


IBM has been using Z in the development of CICS at Hursley Park for over five years. This paper reports recent work in the construction of a specification of a complex programming interface—the CICS application programming interface. It covers the nature of the interface being specified, reasons for specifying it, how the work has been organised, and technical problems encountered.


Application Programming Interface Error Handling Interval Control TerminaL controL Transient Data 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Blyth90]
    Blyth D. The CICS application programming interface: Temporary storage IBM Hursley Technical Report TR12.301, December 1990Google Scholar
  2. [CICSGI]
    CICS General Information IBM Form No GC33–0155Google Scholar
  3. [Collins87]
    Collins B.P., Nicholls J.E. and Sorensen I.H. Introducing formal methods: The CICS experience with Z IBM Hursley Technical report TR12.260, December 1987Google Scholar
  4. [Croxa1190]
    Croxall S., Lupton P. J. and Wordsworth J.B. A formal specification of the CPI Communications IBM Hursley Technical Report TR12. 277, December 1990Google Scholar
  5. [Houston90a]
    Houston I.S.C. and Wordsworth J.B. A Z specification of part of the CICS file control API IBM Hursley Technical Report TR12.272, February 1990 Google Scholar
  6. [Houston90b]
    Houston I.S.C. The CICS application programming interface: Automatic transaction initiation IBM Hursley Technical Report TR12.300, December 1990Google Scholar
  7. [King90]
    King S. The CICS application programming interface: Program control IBM Hursley Technical Report TR12.302, December 1990Google Scholar
  8. [Mundy90]
    Mundy P. and Wordsworth J.B. The CICS application programming interface: Transient data and storage control IBM Hursley Technical Report TR12.299, December 1990Google Scholar
  9. [Wordsworth89]
    Wordsworth J.B. Practical experience of formal specification: a programming interface for communications in ESEC 89: 2nd European Software Engineering Conference, ed. Ghezzi and McDermid, Springer-Verlag (LCNS 387), September 1989Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • J. B. Wordsworth
    • 1
  1. 1.IBM United Kingdom Laboratories LtdWinchester HampshireUK

Personalised recommendations