BS-ISO-IEC-TR-11589-1995.pdf
《BS-ISO-IEC-TR-11589-1995.pdf》由会员分享,可在线阅读,更多相关《BS-ISO-IEC-TR-11589-1995.pdf(32页珍藏版)》请在三一文库上搜索。
1、BRITISH STANDARD BS ISO/IEC TR 11589:1995 Implementation of ISO/IEC TR 11589:1995 Information technology Open Systems Interconnection LOTOS description of the CCR service Licensed Copy: sheffieldun sheffieldun, na, Wed Nov 22 06:58:47 GMT+00:00 2006, Uncontrolled Copy, (c) BSI BS ISO/IEC TR 11589:19
2、95 This British Standard, having been prepared under the direction of the Information Systems Technology Assembly, was published under the authority of the Standards Board and comes into effect on 15 January 1996 BSI 02-2000 The following BSI references relate to the work on this standard: Committee
3、 reference IST/21 Draft for comment 94/641265 DC ISBN 0 580 25231 0 Committees responsible for this British Standard The preparation of this British Standard was entrusted to Technical Committee IST/21, Open Systems Interconnection, data management and open distributed processing, upon which the fol
4、lowing bodies were represented: British Computer Society British Telecommunications plc CCTA (the Government Centre for Information Systems) Department of Trade and Industry IT Standards Unit (ITD6A) Digital Equipment Co. Ltd. IBM United Kingdom Ltd. International Computers Limited Joint Information
5、 Systems Committee Level 7 Ltd. Logica UK Ltd. National Computing Centre Ltd. National Health Services Nine Tiles Computer Systems Ltd. PSC International Ltd. Rank Xerox Ltd. Salford Software Services SEMA Group Systems Ltd. X Open Company Ltd. Amendments issued since publication Amd. No.DateComment
6、s Licensed Copy: sheffieldun sheffieldun, na, Wed Nov 22 06:58:47 GMT+00:00 2006, Uncontrolled Copy, (c) BSI BS ISO/IEC TR 11589:1995 BSI 02-2000i Contents Page Committees responsibleInside front cover National forewordii Forewordiii Text of ISO/IEC TR 115891 Licensed Copy: sheffieldun sheffieldun,
7、na, Wed Nov 22 06:58:47 GMT+00:00 2006, Uncontrolled Copy, (c) BSI BS ISO/IEC TR 11589:1995 ii BSI 02-2000 National foreword This British Standard reproduces verbatim ISO/IEC TR 11589:1995 and implements it as the UK national standard. This British Standard is published under the direction of the In
8、formation Systems Technology Assembly whose Technical Committee IST/21 has the responsibility to: aid enquirers to understand the text; present to the responsible international committee any enquiries on interpretation, or proposals for change, and keep UK interests informed; monitor related interna
9、tional and European developments and promulgate them in the UK. NOTEInternational and European Standards, as well as overseas standards, are available from Customer Services, BSI, 389 Chiswick High Road, London W4 4AL. A British Standard does not purport to include all the necessary provisions of a
10、contract. Users of British Standards are responsible for their correct application. Compliance with a British Standard does not of itself confer immunity from legal obligations. Summary of pages This document comprises a front cover, an inside front cover, pages i and ii, the ISO/IEC TR title page,
11、pages ii to iv, pages 1 to 22 and a back cover. This standard has been updated (see copyright date) and may have had amendments incorporated. This will be indicated in the amendment table on the inside front cover. Licensed Copy: sheffieldun sheffieldun, na, Wed Nov 22 06:58:47 GMT+00:00 2006, Uncon
12、trolled Copy, (c) BSI Licensed Copy: sheffieldun sheffieldun, na, Wed Nov 22 06:58:47 GMT+00:00 2006, Uncontrolled Copy, (c) BSI ISO/IEC TR 11589:1995(E) ii BSI 02-2000 Contents Page Forewordiii Introduction1 1Scope1 2Normative references1 3Definitions1 4Symbols and abbreviations1 5Conventions2 6Int
13、roduction to the formal description2 6.1Model2 6.2Structure2 6.3Service overview5 7Global constraints of the CCR service5 8Service primitives6 8.1Basic construction6 8.2CSP classification9 8.3CSP parameter selectors11 8.4CSP parameters12 8.4.1 Atomic Action Identifier12 8.4.2 Branch Identifier12 8.4
14、.3 User Data12 8.4.4 Recovery State12 8.5Others13 9Constraints of the superior side13 9.1Normal sequence of the superior13 9.2Recovery sequence of the superior15 10Constraints of the subordinate side16 10.1Normal sequence of the subordinate16 10.2Recovery sequence of the subordinate18 11Constraints
15、of the relation between superior and subordinate18 11.1Service Primitive Queue19 11.2CCEPRelation21 Figure 1 CCR service model2 Figure 2 Relationship among the processes3 Figure 3 Relationship among the types4 Table 1 Service Primitives and Parameters5 Licensed Copy: sheffieldun sheffieldun, na, Wed
16、 Nov 22 06:58:47 GMT+00:00 2006, Uncontrolled Copy, (c) BSI ISO/IEC TR 11589:1995(E) BSI 02-2000iii Foreword ISO (the International Organization for Standardization) is a worldwide federation of national standards bodies (ISO member bodies). The work of preparing International Standards is normally
17、carried out through ISO technical committees. Each member body interested in a subject for which a technical committee has been established has the right to be represented on that committee. International organizations, governmental and non-governmental, in liaison with ISO, also take part in the wo
18、rk. ISO collaborates closely with the International Electrotechnical Commission (IEC) on all matters of electrotechnical standardization. The main task of technical committees is to prepare International Standards. In exceptional circumstances a technical committee may propose the publication of a T
19、echnical Report of one of the following types: type 1, when the required support cannot be obtained for the publication of an International Standard, despite repeated efforts; type 2, when the subject is still under technical development or where for any other reason there is the future but not imme
20、diate possibility of an agreement on an International Standard; type 3, when a technical committee has collected data of a different kind from that which is normally published as an International Standard (“state of the art”, for example). Technical Reports of types 1 and 2 are subject to review wit
21、hin three years of publication, to decide whether they can be transformed into International Standards. Technical Reports of type 3 do not necessarily have to be reviewed until the data they provide are considered to be no longer valid or useful. ISO/IEC TR 11589, which is a Technical Report of type
22、 2, was prepared by Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 21, Open systems interconnection, data management and open distributed processing. Licensed Copy: sheffieldun sheffieldun, na, Wed Nov 22 06:58:47 GMT+00:00 2006, Uncontrolled Copy, (c) BSI iv blank
23、Licensed Copy: sheffieldun sheffieldun, na, Wed Nov 22 06:58:47 GMT+00:00 2006, Uncontrolled Copy, (c) BSI ISO/IEC TR 11589:1995(E) BSI 02-20001 Introduction This Technical Report gives a LOTOS specification of CCR Service Definition defined in ISO/IEC 9804. LOTOS is a formal description technique(F
24、DT) to define behavior of systems with a formal syntax and semantics. Aim of this Technical Report is to give an unambiguous, precise, and self-contained description of ISO/IEC 9804. However, in case of inconsistency between ISO/IEC 9804 and this Technical Report, ISO/IEC 9804 takes precedence over
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- BS ISO IEC TR 11589 1995
链接地址:https://www.31doc.com/p-3748854.html