Paper Info
Title
Specifying distributed CICS in Z: Accessing local and remote resources
Abstract
AbstractAbstractThe 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.
Year
DOI
Venue
1994
10.1007/BF01211869
Formal Aspects of Computing
Keywords
DocType
Volume
formal specification,cics,transaction processing,z,resource management,distributed systems,resource manager,distributed system
Journal
6
Issue
ISSN
Citations 
5
0934-5043
4
PageRank 
References 
Authors
0.46
3
2
Name
Order
Citations
PageRank
Iain S. C. Houston140.46
Mark B. Josephs230235.24