BS ISO/IEC TR 11589:1995

Withdrawn

Information technology. Open systems interconnection. LOTOS description of the CCR service

Available format(s)

Hardcopy , PDF

Withdrawn date

01-01-2012

Language(s)

English

Published date

15-01-1996

Publisher

British Standards Institution

1 Scope
2 Normative references
3 Definitions
4 Symbols and abbreviations
5 Conventions
6 Introduction to the formal description
   6.1 Model
   6.2 Structure
   6.3 Service overview
7 Global constraints of the CCR service
8 Service primitives
   8.1 Basic construction
   8.2 CSP classification
   8.3 CSP parameter selectors
   8.4 CSP parameters
         8.4.1 Atomic Action Identifier
         8.4.2 Branch Identifier
         8.4.3 User Data
         8.4.4 Recovery State
   8.5 Others
9 Constraints of the superior side
   9.1 Normal sequence to the superior
   9.2 Recovery sequence of the superior
10 Constraints of the subordinate side
  10.1 Normal sequence of the subordinate
  10.2 Recovery sequence of the subordinate
11 Constraints of the relation between superior and
   subordinate
  11.1 Service Primitive Queue
  11.2 CCEPRelation

Committee	ICT/1
DevelopmentNote	Supersedes 94/641265 DC. (08/2005)
DocumentType	Standard
Pages	32
PublisherName	British Standards Institution
Status	Withdrawn
Supersedes	94/641265 DC : MAY 94

Standards	Relationship
ISO/IEC TR 11589:1995	Identical

ISO/IEC 9804:1998	Information technology Open Systems Interconnection Service definition for the Commitment, Concurrency and Recovery service element
ISO/IEC 9805-1:1998	Information technology Open Systems Interconnection Protocol for the Commitment, Concurrency and Recovery service element: Protocol specification Part 1:
ISO 8807:1989	Information processing systems Open Systems Interconnection LOTOS A formal description technique based on the temporal ordering of observational behaviour