《ISO-TR-11589-1995.pdf》由会员分享，可在线阅读，更多相关《ISO-TR-11589-1995.pdf（29页珍藏版）》请在三一文库上搜索。
1、TECHNICAL REPORT ISO/IEC TR 11589 First edition 1995-I o-01 Information technology - Open Systems Interconnection - LOTOS description of the CCR service Technologies de /information - lnterconnexion de syst.Gmes ouverts (0.91 - Description LOTOS du service CCR Reference number ISO/IEC TR 11589:1995(
2、E) Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=Hong Kong Polytechnic Univ/9976803100 Not for Resale, 04/17/2007 09:15:15 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC TR 11589:1995(E) Contents 1 Scope 1
3、2 Normative references 1 3 Definitions 1 4 Symbols and abbreviations 2 5 Conventions 2 6 Introduction to the formal description 2 6.1 Model . 2 6.2 Structure . 2 6.3 Service overview . 5 7 Global constraints of the CCR service 6 8 Service primitives 7 8.1 Basic construction i 8.2 CSP classification
4、. 9 8.3 CSP parameter selectors . 11 8.4 CSP parameters . 12 8.4.1 Atomic Action Identifier . 12 8.4.2 Branch Identifier . 12 8.4.3 UserData. 12 8.4.4 Recovery State 12 8.5 Others . 13 0 ISO/IEC 1995 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or ut
5、ilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from the publisher. ISO/IEC Copyright Office l Case postale 56 l (X-121 1 GenBve 20 l Switzerland Printed in Switzerland ii Copyright International Organization for Stand
6、ardization Provided by IHS under license with ISO Licensee=Hong Kong Polytechnic Univ/9976803100 Not for Resale, 04/17/2007 09:15:15 MDTNo reproduction or networking permitted without license from IHS -,-,- o ISO/IEC ISO/IEC TR 11589:1995(E) 9 Constraints of the superior side 13 9.1 Normal sequence
7、of the superior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 9.2 Recovery sequence of the superior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 10 Constraints of the subordinate side 16 10.1 Normal sequence of the subordinate . . . . . . . . . . . . . . .
8、. . . . . . . . . . . . . . . 17 10.2 Recovery sequence of the subordinate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 11 Constraints of the relation between superior and subordinate 20 11.1 Service Primitive Queue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9、. . . 20 11.2 CCEPRelation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 . . . 111 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=Hong Kong Polytechnic Univ/9976803100 Not for Resale, 04/17/2007 09:15:
10、15 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC TR 11589:1995(E) 0 ISOAEC Foreword IS0 (the International Organization for Standardization) is a worldwide federation of national standards bodies (IS0 member bodies). The work of preparing International Standards i
11、s normally carried out through IS0 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 par
12、t in the work. IS0 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 publica
13、tion of a Technical 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 futu
14、re but not immediate 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 subj
15、ect to review within 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/TJZC TR 11589, which is a Techni
16、cal Report of type 2, was prepared by Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 21, Open systems interconnection, data management ana! open distributed processing. iv Copyright International Organization for Standardization Provided by IHS under license with IS
17、O Licensee=Hong Kong Polytechnic Univ/9976803100 Not for Resale, 04/17/2007 09:15:15 MDTNo reproduction or networking permitted without license from IHS -,-,- 0 ISO/IEC ISO/IEC TR 11589:1995(E) Introduction This Technical Report gives a LOTOS specification of CCR Service Definition defined in ISO/IE
18、C 9804. LOTOS is a formal description technique(FDT) 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 Tech
19、nical Report, ISO/IEC 9804 takes precedence over this Technical Report. V Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=Hong Kong Polytechnic Univ/9976803100 Not for Resale, 04/17/2007 09:15:15 MDTNo reproduction or networking permitted with
20、out license from IHS -,-,- TECHNICAL REPORT ISO/IEC ISO/IEC TR 11589:1995(E) Information technology - Open Systems Interconnection - LOTOS description of the CCR service 1 Scope This Technical Report focuses on one atomic action branch and covers the relevant service primitives with their types and
21、parameters, and the behaviour as to how these service primitives can be issued and received by the CCR service provider. Service primitives and its parameters are defined in clause 8. The sequential rules on superior side is defined in clause 9, and on subordinate side is defined in clause 10. The r
22、elation of the events that occur on the superior and subordinate sides is described in clause 11. This Technical Report does not cover the following items in ISO/IEC 9804. l Clause 6: concept. Because formal language can not describe this kind of semantics. l CCR service-user rules(Annex A), Relatio
23、nship of CCR to the Application Layer Structure(Annex B). l Description to manage more than one atomic action branch. 2 Normative references The following standards contain provisions which, through reference in this text, constitute provisions of this Technical Report. At the time of publication, t
24、he editions indicated were valid. All standards are subject to revision, and parties to agreements based on t,his Technical Report are encouraged to investigate the possibility of applying the most recent editions of the standards listed below. Members of IEC and IS0 maintain registers of currently
25、valid International Standards. ISO/IEC 9804:1994, 1 f n ormation technology - Open Systems Interconnection - Service defy- nition GOT the Commitment, Concurrency and Recovery service element. ISO/IEC 9805-1:1994, Information technology - Open Systems Interconnection - Protocol for the Comm-itment, C
26、oncurrency and Recovery service elem.ent: Protocol Specification. IS0 8807:1989, Information processing systems - Open System.s Interconnection. LOTOS A formal description technique based on the temporal ordering of observational behaviour. 3 Definitions For the purposes of this Technical Report the
27、 definitions given in ISO/IEC 9804 apply. There is not a term “CCR connection end point” in ISO/IEC 9804. This term is used in this Technical Report to represent the point at which the CCR user recieved the service from CCR provider. 1 Copyright International Organization for Standardization Provide
28、d by IHS under license with ISO Licensee=Hong Kong Polytechnic Univ/9976803100 Not for Resale, 04/17/2007 09:15:15 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC TR 11589:1995(E) ISO/IEC 4 Symbols and abbreviations The abbreviations given in ISO/IEC 9804 apply. The
29、 abbreviation “LOTOS” is defined in IS0 8807. The following additional abbreviations are employed in this Technical Report. CCEP CCR Connection End Point CSP CCR Service Primitive 5 Conventions An action for a combination of an event and a state not defined in the state table is left to implememer a
30、s “a local matter” by ISO/IEC 9804. S UC h undefined events are not specified in the LOTOS specification at all. This is not an exact representation of natural language specification, because deadlock will occur when the CCR user insists to taking an undefined event. Events not defined in this LOTOS
31、 specification are expected to be treated as a local matter. Clauses 7 through 11 of this Technical Report constitute LOTOS text. All explanatory descriptions are caught between “(*” and “*)” symbols and are treated as comments of the LOTOS text. ISO/IEC 10731 (S ervice Conventions) is adopted, but
32、the service primitive names and parameter names may be simplified or modified. 6 Introduction to the formal description 6.1 Model CCR service is modeled in figure 1. Figure 1 - CCR service model 6.2 Structure The relationship among the processes are shown in figure 2, and the relationship among the
33、types are shown in figure 3. In these figures, “*” means that “the definition has already listed above”. 2 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=Hong Kong Polytechnic Univ/9976803100 Not for Resale, 04/17/2007 09:15:15 MDTNo reproduc
34、tion or networking permitted without license from IHS -,-,- ISO/IEC ISO/IEC TR 11589:1995(E) aBranch SupCCEP I I I SupAction II I I I ContSupAction II I I I ContSupActioni I I I I I SupDecision I I I I I SupRollSendi I I I I I SupRollSend2 I I I SupRecovery I I I SupRecResponse I I I SupRecActions I
35、 SubCCEP I I I SubAction II I I I ContSubAction II I I I ContSubActionl II I I I ContSubAction2 II I I I ContSubAction3 II I I I Rollback II I I I ContSubAction4 I I I SubRecovery I I I SubRecResponse I I I SubRecActions CCEPRelation Relation Figure 2 - Relationship among the processes Copyright Int
36、ernational Organization for Standardization Provided by IHS under license with ISO Licensee=Hong Kong Polytechnic Univ/9976803100 Not for Resale, 04/17/2007 09:15:15 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC TR 11589:1995(E) CSPQueue I CSPParameterSelectors I
37、I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I I Boolean Error Boolean I CSPBasicClassifiers I I CSPConstant* BasicCSP I I I I I I I I I I I I I I I I I I 1 I I I I I I I I I I I I I I I I I I I I I I I I I I I I CSPConstant* AtomicActionId I I I OctetString* BranchId
38、I I I OctetString* UserData I I I OctetString* Requestor-Recovery-State I I I NaturalNumber* Responder-Recovery-Stete I CSPName I I I NaturalNumber* I I I Boolean* I CSPType I NaturalNumber* Boolean* NaturalNumber* ISO/IEC Figure 3 - Relationship among the types Copyright International Organization
39、for Standardization Provided by IHS under license with ISO Licensee=Hong Kong Polytechnic Univ/9976803100 Not for Resale, 04/17/2007 09:15:15 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC ISO/IEC TR 11589:1995(E) 6.3 Service overview CCR service primitives and par
40、ameters are summarized in table 1. Table 1 - Service Primitives and Parameters Service Primitives and Parameters Req Ind Rsp Cnf C-BEGIN Atomic Action Identifier - Masters Name Atomic Action Identifier - suffix Branch Identifier - Superiors Name Branch Identifier - suffix User Data C-PREPARE User Da
41、ta C-READY User Data C-COMMIT User Data C-ROLLBACK User Data C-RECOVER Recovery State Atomic Action Identifier - Masters Name Atomic Action Identifier - suffix Branch Identifier - Superiors Name Branch Identifier - suffix User Data M MC=) M MC=) M MC=) M MC=) U C(=) u CC=) U CC=) U CC=) U C(=) u CC=
42、) U C(=) u CC=) M M(=) M MC=) M M(=) M M(=) M M(=) M MC=) M M(=) M MC=) M M(=) M MC=) U C(=) u CC=) The symbols in the table represent the following semantics; blank not applicable C conditional M mandatory U user option In the table, notation (=) indicates that the parameter value is semantically e
43、qual to the value to its left in the table. 5 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=Hong Kong Polytechnic Univ/9976803100 Not for Resale, 04/17/2007 09:15:15 MDTNo reproduction or networking permitted without license from IHS -,-,- I
44、SO/IEC TR 11589:1995(E) ISO/IEC 7 Global constraints of the CCR service CCR service is represented in terms of type definitions and process definitions. The static attribute, i.e. the type of the service primitives and their parameters are described in type definitions. The behavior, i.e. the servic
45、e primitives issuing/receiving procedures are described in process definitions. Issuing and receiving of service primitives are represented as the events at the gates. Formal data types, FBoolean, Boolean, NaturalNumber, Element, Set, OctetString, NatRepresentations. and DecDigit are imported from L
46、OTOS standard library. specification CCR-Servicesup,sub : noexit library FBoolean,Boolean,NaturalNumber,Element,Set,OctetString endlib CCR service defines the behavior of one atomic action branch. Constraints beyond one atomic action branch are described in annex A of ISO/IEC 9804, but they are not
47、included in this Technical Report. behavior Branchsup,sub where process Branchsup,sub : noexit := aBranchCsup,subl BranchCsup,subl where CCR service are defined through the following three view points; l behavior local at superior, not restricted by remote behavior, a behavior local at subordinate,
48、not restricted by remote behavior, and l end-to-end relations which result from the exchange of information via the CCR service provider. These are described in SupCCEP, SubCCEP, and CCEPRelation respectively. process aBranchCsup,sub : exit := SupCCEPCsup I Csupl I CCEPRelationsup,sub 1 sub 1 SubCCEPsub where 6 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=Hong Kong P