About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
Formal Aspects of Computing
Paper
Specifying distributed CICS in Z: Accessing local and remote resources
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. © 1994 BCS.