ISO-10746-4-1998.pdf
《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
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- ISO 10746 1998
链接地址:https://www.31doc.com/p-3774009.html