《ISO-10746-4-1998.pdf》由会员分享,可在线阅读,更多相关《ISO-10746-4-1998.pdf(71页珍藏版)》请在三一文库上搜索。
1、INTERNATIONAL STANDARD ISO/IEC 10746-4 First edition AMENDMENT 1 1998-12-15 2001 -1 2-1 5 Information technotogy - Open Distributed Processing - Reference Model: Architectural semantics AMENDMENT 1 : Computational formalization Technologies de linformation - Traitement rparti ouvert - Modle de rfren
2、ce: Smantique architecturale AMENDEMENT 7 : Formalisation informatique Reference number ISO/IEC 10476-4: 1998/Amd.l :ZOO1 (E) ISO/IEC 2001 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resa
3、le, 04/04/2007 23:27:16 MDTNo reproduction or networking permitted without license from IHS -,-,- ISOIIEC 10746-4:1998/Amd.l:2001 (E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobes licensing policy, this file may be printed or viewed but shall not be edited un
4、less the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobes licensing policy. The IS0 Central Secretariat accepts no liability in this area. Adobe is a tradema
5、rk of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by IS0 member bodies.
6、In the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below. O ISO/IEC 2001 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic or mechani
7、cal, including photocopying and microfilm, without permission in writing from either IS0 at the address below or ISOs member body in the country of the requester. l IS0 copyright ofice Case postale 56 CH-121 1 Geneva 20 Tel. + 41 22 749 O 1 11 Fax +41227490947 E-mail copyrightiso.ch Web www.iso.ch P
8、ublished by IS0 in 2002 . . , Printed in Switzerland . . II O ISO/IEC 2001 -All rights reserved Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/04/2007 23:27:16 MDTNo reproduction
9、or networking permitted without license from IHS -,-,- ISOllEC 10746-4:1998/Amd.l:2001(E) 1 CONTENTS Page 1) Introduction 1 2) Clause 1 - Scope 1 . 3) 4) Clause 2 . Normative references . Subclause 3.2 . Definitions from ITU-T Recommendation 2.100 5) Subclause 3.3 - Definitions from the Z-Base Stand
10、ard 6) Annex A Annex A . Computational Formalization . Formalization of the Computational Viewpoint Language in 2 . A . I A.2 A.3 A.4 Formalization of the Computational Viewpoint Language in LOTOS Formalization of the Computational Viewpoint Language in SDL . Formalization of the Computational Viewp
11、oint Language in ESTELLE 2 2 2 3 3 3 12 20 28 O ISO/IEC 2001 -All rights reserved . 111 Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/04/2007 23:27:16 MDTNo reproduction or netwo
12、rking permitted without license from IHS -,-,- ISOIIEC 10746-4:1998/Amd.I:2001(E) Foreword IS0 (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form the specialized system for worldwide standardization. National bodies that are members of I
13、S0 or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technical activity. IS0 and IEC technical committees collaborate in fields of mutual interest. Other international organizatio
14、ns, governmental and non-governmental, in liaison with IS0 and IEC, also take part in the work. In the field of information technology, IS0 and IEC have established a joint technical committee, ISOAEC JTC 1. International Standards are drafted in accordance with the rules given in the ISOAEC Directi
15、ves, Part 3. The main task of the joint technical committee is to prepare International Standards. Draft International Standards adopted by the joint technical committee are circulated to national bodies for voting. Publication as an International Standard requires approval by at least 75 % of the n
16、ational bodies casting a vote. Attention is drawn to the possibility that some of the elements of this Amendment may be the subject of patent rights. IS0 and IEC shall not be held responsible for identifying any or all such patent rights. Amendment 1 to International Standard ISOAEC 10746-4: 1998 wa
17、s prepared by Joint Technical Committee ISOIIEC JTC 1, information technology, Subcommittee SC 7, Software engineering, in collaboration with ITU-T. The identical text is published as ITU-T Rec. X.904/Amd.l. iv O ISOAEC 2001 -All rights reserved Copyright International Organization for Standardizati
18、on Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/04/2007 23:27:16 MDTNo reproduction or networking permitted without license from IHS -,-,- ISODEC 10746-4:1998iAmd.l:2001 (E) INTERNATIONAL STANDARD ITU-T RECOMMENDATION INFORMATION TECH
19、NOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS AMENDMENT 1 Computational formalization 1) Introduction Replace the Ist paragraph o f the introduction This Recommendation I International Standard is an integral part of the ODP Reference Model. It contains a formalisat
20、ion of the ODP modelling concepts defined in ITU-T Rec. X.902 I ISO/IEC 10746-2, clauses 8 and 9. The formalisation is achieved by interpreting each concept in terms of the constructs of the different standardised formal description techniques. with This Recommendation I International Standard is an
21、 integral part of the ODP Reference Model. It contains a formalization of the ODP modelling concepts defined in ITU-T Rec. X.902 I ISO/IEC 10746-2, clauses 8 and 9 and in ITU-T Rec. X.903 I ISO/IEC 10746-3, clause 7 (Computational Language). The formalization is achieved by interpreting each concept
22、 in terms of the constructs of the different standardized formal description techniques. 2) Clause 1 - Scope Replace the fourth bullet under The RM-ODP consists of ITU-T Rec. X.904 I ISO/IEC 10746-4: Architectural Semantics: contains a formalisation of the ODP modelling concepts defined in ITU-T Rec
23、. X.902 I ISO/IEC 10746-2, clauses 8 and 9, and a formalisation of the viewpoint languages of ITU-T Rec. X.903 I ISO/IEC 10746-3. The formalisation is achieved by interpreting each concept in terms of the constructs of the different standardised formal description techniques. This text is normative.
24、 with ITU-T Rec. X.904 I ISO/IEC 10746-4: Architectural Semantics: contains a formalization of the ODP modelling concepts defined in ITU-T Rec. X.902 i ISO/IEC 10746-2, clauses 8 and 9, and a formalization of the computational viewpoint language of ITU-T Rec. X.903 I ISO/IEC 10746-3. The formalizati
25、on is achieved by interpreting each concept in terms of the constructs of the different standardized formal description techniques. This text is normative. Replace the fourth paragraph The purpose of this Recommendation I International Standard is to provide an architectural semantics for ODP. This
26、essentially takes the form of an interpretation of the basic modelling and specification concepts of ITU-T Rec. X.902 I ISO/IEC 10746-2 and the viewpoint languages of ITU-T Rec. X.903 I ISOAEC 10746-3, using the various features of different formal specification languages. An architectural semantics
27、 is developed in four different formal specification languages: LOTOS, ESTELLE, SDL and Z. The result is a formalisation of ODPs architecture. Through a process of iterative development and feedback, this has improved the consistency of ITU-T Rec. X.902 I ISO/IEC 107462 and ITU-T Rec. X.903 I ISO/IE
28、C 10746-3. with The purpose of this Recommendation I International Standard is to provide an architectural semantics for ODP. This essentially takes the form of an interpretation of the basic modelling and specification concepts of ITU-T Rec. X.902 I ISO/IEC 10746-2 and the computational viewpoint l
29、anguage of ITU-T Rec. X.903 I ISO/IEC 107463, using the various features of different formal specification languages. An architectural semantics is developed in four different formal ITU-T Rec. X.904/Amd.l (2000 E) 1 Copyright International Organization for Standardization Provided by IHS under lice
30、nse with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/04/2007 23:27:16 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC 10746-4:1998/Amd.l:2001 (E) specification languages: LOTOS, ESTELLE, SDL and Z. The result is a formalization of ODP
31、s architecture. Through a process of iterative development and feedback, this has improved the consistency of ITU-T Rec. x.902 I ISOAEC 10746-2 and U-T Rec. X.903 I ISO/IEc 10746-3. Add the following paragraph at the end of Scope: Annex A shows one way in which the computational viewpoint language o
32、f ITU-T Rec. X.903 I TSOIIEC 10746-3 can be represented in the formal languages LOTOS, SDL, Z and Estelle. This Recommendation I International Standard also makes use of the concepts defined in ITU-T Rec. X.902 I ISOIEC 10746-2. 3) Clause 2 - Normative references Change publication date for ITU-T Re
33、commendation 2.100 from (1993) to (1999). ISOIEC 13568: Add the following reference: Z Notation, ISOIEC JTC 1 SC 22 WG 19 Advanced Working Draft 2.C, July 13th 1999. 4) Subclause 3.2 - Definitions from ITU-T Recommendation 2.100 Replace the list with the following terms: active, adding, all, alterna
34、tive, and, any, as, atleast, axioms, block, call, channel, comment, connect, connection, constant, constants, create, dcl, decision, default, else, endalternative, endblock, endchannel, endconnection, enddecision, endgenerator, endnewtype, endoperator, endpackage, endprocedure, endprocess, endrefine
35、ment, endselect, endservice, endstate, endsubstructure, endsyntype, endsystem, env, error, export, exported, external, fi, finalized, for, fpar, from, gate, generator, 8 import, imported, in, inherits, input, intelface, join, literal, literals, map, mod, nameclass, newtype, nextstate, nodelay, noequ
36、ality, none, not, now, offspring, operator, operators, or, ordering, out, output, package, parent, priori, procedure, process, provided, redefined, referenced, refinement, rem, remote, reset, return, returns, revealed, reverse, save, select, seK sender, service, set, signal, signallist, signalroute,
37、 signalset, spelling, start, state, stop, struct, substructure, synonym, syntype, system, task, then, this, timer, to, type, use, via, view, viewed, virtual, with, xor. 5) Change subclause title to: 3.3 - Definitions from the Z Notation. Replace the list with following terms: axiomatic description,
38、data refinement, hiding, operation refinement, overriding, schema (operation, state, framing), schema calculus, schema composition, sequence, type. Subclause 3.3 - Definitions from the Z-Base Standard 2 ITU-T Rec. X.904/Amd.l(2000 E) Copyright International Organization for Standardization Provided
39、by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 04/04/2007 23:27:16 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC 10746-4:1998/Amd.l:2001 (E) 6) Annex A Add a new Annex A as follows: Annex A Computational Formaliz
40、ation A.l A.l.l Concepts The formalization of the computational language in LOTOS uses the concepts defined in the formalization of the basic modelling and structuring rules given in ITU-T Rec. X.902 I ISOAEC 10746-2 clauses 8 and 9. Elementary Structures Associated with Operational and Signal Inter
41、faces To formalize the computational language in LOTOS it is necessary to introduce certain elementary structures. These include parameters that might be associated with certain computational interfaces and a basic model of information that might be used in a stream flow. To formalize parameters it
42、is necessary to introduce two concepts: names for things and types for things. Names are simply labels. As we shall see, the computational viewpoint requires that checks, e.g. for equality, are done on these labels when interfaces are constructed. We may represent names generally by: Formalization o
43、f the Computational Viewpoint Language in LOTOS type Name is Boolean sorts Name opns newName: - Name anotherName: Name - Name - eq-,-ne-: Name, Name - Boo1 endtype (* Name *) For brevity sake we omit the equations, which are expected to be obvious. It is possible to be more prescriptive here, e.g. u
44、sing character strings from the LOTOS library. The only thing we are interested in regarding names is that we can determine their equality or inequality. As discussed in this Recommendation I International Standard, a type in the ODP sense may not be interpreted directly in the process algebra part
45、of LOTOS. It is however possible to model types through the Act One part of LOTOS. Unfortunately, whilst Act One was designed specifically for representing types, it is limited in the ways in which types and types relationships are checked. For example, it is not possible to check subtyping or equiv
46、alence up to isomorphism between types due to type equality in Act One being based on name equivalence of sorts. As a basis for reasoning here we introduce an elementary notion of types that allows us to test for equality, inequality and subtyping. type AnyType is Boolean sorts AnyType opns newType:
47、 - AnyType anotherType: AnyType - AnyType eq,-isSubtype-: AnyType, AnyType - Bool endtype (* AnyType *) A parameter is a relation between a name and its underlying type representation. Thus a parameter may be represented by: type Param is Name, AnyType sorts Param opns newparam: Name, AnyType - Para
48、m eq_,-ne-,-isSubtype-: Param, Param - Bool endtype (* Param *) As previously, we require checks on the equality or inequality of parameters as well as when one parameter is a subtype of another. Two parameters are in a subtype relationship when their types are in a subtype relationship. It is also
49、useful for us to introduce sequences of these parameters. type PList is String actualizedby Param using sortnames PList for String Param for Element Bool for FBool opns -isSubtype-: PList, PList - Boo1 endtype (* PList *) ITU-T Rec. X.904lAmd.l (20O E) 3 Copyright International Organization for Standardization