Skip to main content
SpringerLink
Log in

Specifying distributed CICS in Z: Accessing local and remote resources

  • Short Communication
  • Published:
Formal Aspects of Computing

Abstract

The CICS/ESA Intercommunication Guide is a source of information about distributed CICS systems. Among other things, it describes how an application program running on one system can issue a command that will be shipped to a remote system. A resource manager located at the remote system will execute the command and ship back a response.

This paper presents a formal specification of the above interaction between application programs and resource managers. Some familiarity with the Z specification language is assumed. The structure of the specification illustrates how it is possible to address separately, and later combine, different aspects of a complex system, including its distributed nature.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Blyth, D.: The CICS Application Programming Interface — Temporary Storage. IBM Hursley Park Technical Report TR12.301, 1990.

  2. Collins, B.P., Nicholls, J.E., Sørensen, I.H.: Introducing formal methods — the CICS experience with Z. IBM Hursley Park Technical Report TR12.260, 1987.

  3. Hayes, I.J. (ed.): Specification Case Studies. Prentice-Hall, 1987.

  4. Houston, I.S.C.: The CICS Application Programming Interface — Automatic Transaction Initiation. IBM Hursley Park Technical Report TR12.300, 1990.

  5. Houston, I.S.C.: The CICS Application Programming Interface — Interval Control. IBM Hursley Park Technical Report TR12.298, 1991.

  6. Houston, I.S.C.: The CICS Application Programming Interface — Transactions and Principal Facilities. IBM Hursley Park Technical Report TR12.306, 1991.

  7. Houston, I.S.C.: The CICS Application Programming Interface — Task Control. IBM Hursley Park Technical Report TR12.307, 1991.

  8. Houston, I.S.C., King, S.: CICS project report — experiences and results from the use of Z in IBM. In: Prelin, S., Toetenel, W.J. (eds.) Proceedings VDM '91, Lect. Notes in Comp. Sci. (Vol. 551) Springer-Verlag 1991.

  9. IBM Corporation: CICS/ESA Intercommunication Guide. IBM Document SC33-0657, 1990.

  10. IBM Corporation: CICS/ESA Application Programming Guide. IBM Document SC33-0675, 1990.

  11. IBM Corporation: CICS/ESA Application Programmer's Reference Manual. IBM Document SC33-0676, 1990.

  12. Jonsson, B.: Compositional Verification of Distributed Systems. PhD Thesis, DoCS 87/9, Uppsala University, 1987.

  13. Josephs, M.B.: Specifying Reactive Systems in Z. Oxford University Programming Research Group Technical Report PRG-TR-19-91, 1991.

  14. Josephs, M.B.: Receptive Process Theory. Acta Informatica 29:17–31, 1992.

    Google Scholar 

  15. King, S.: The CICS Application Programming Interface — Program Control. IBM Hursley Park Technical Report TR12.302, 1990.

  16. King, S.: The CICS Application Programming Interface — Basic Mapping Support. IBM Hursley Park Technical Report TR12.308, 1991.

  17. Lynch, N.A., Tuttle, M.R.: An Introduction to Input/Output Automata. CWI Quarterly 2(3):219–246, 1989.

    Google Scholar 

  18. Mundy, P., Wordsworth, J.B.: The CICS Application Programming Interface — Transient Data and Storage Control. IBM Hursley Park Technical Report TR12.299, 1990.

  19. Spivey, J.M.: The Z Notation. Prentice-Hall, 1992.

  20. Stark, E.W.: Foundations of a Theory of Specification for Distributed Systems. PhD Thesis, MIT/LCS/TR-342, MIT, 1984.

  21. Wordsworth, J.B.: The CICS Application Programming Interface — Terminal control (3270). IBM Hursley Park Technical Report TR12.305, 1991.

Download references

Author information

Authors and Affiliations

  1. IBM (UK) Laboratories Limited, Winchester, Hampshire, UK

    Iain S. C. Houston

  2. Centre for Concurrent Systems and VLSI, South Bank University, School of Computing, Information Systems, and Mathematics, London, UK

    Mark B. Josephs

Authors
  1. Iain S. C. Houston
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark B. Josephs
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

IBM is a trademark of the International Business Machines Corporation.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Houston, I.S.C., Josephs, M.B. Specifying distributed CICS in Z: Accessing local and remote resources. Formal Aspects of Computing 6, 569–579 (1994). https://doi.org/10.1007/BF01211869

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01211869

Keywords

Search

Navigation