ISO 18629-14-2006 Industrial automation systems and integration - Process specification language - Part 14 Resource theories《工业自动化系统和集成 工艺规范语言 第14部分 定义空间 源理论》.pdf
《ISO 18629-14-2006 Industrial automation systems and integration - Process specification language - Part 14 Resource theories《工业自动化系统和集成 工艺规范语言 第14部分 定义空间 源理论》.pdf》由会员分享,可在线阅读,更多相关《ISO 18629-14-2006 Industrial automation systems and integration - Process specification language - Part 14 Resource theories《工业自动化系统和集成 工艺规范语言 第14部分 定义空间 源理论》.pdf(34页珍藏版)》请在麦多课文档分享上搜索。
1、 Reference number ISO 18629-14:2006(E) ISO 2006INTERNATIONAL STANDARD ISO 18629-14 First edition 2006-08-15 Industrial automation systems and integration Process specification language Part 14: Resource theories Systmes dautomatisation industrielle et intgration Langage de spcification de procd Part
2、ie 14: Thories de ressource ISO 18629-14:2006(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 unless the typefaces which are embedded are licensed to and installed on the computer p
3、erforming the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobes licensing policy. The ISO Central Secretariat accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create thi
4、s 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 ISO member bodies. In the unlikely event that a problem relating to it is found, please inform the Centr
5、al Secretariat at the address given below. ISO 2006 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 mechanical, including photocopying and microfilm, without permission in writing from either ISO at
6、 the address below or ISOs member body in the country of the requester. ISO copyright office Case postale 56 CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail copyrightiso.org Web www.iso.org Published in Switzerland ii ISO 2006 All rights reserved ISO 18629-14 : 2006 (E) ISO 200
7、6 All rights reserved iii C o n t e n t Page 1 Scope. 1 2 Normative references 1 3 Terms, definitions, and abbreviations . 1 3.1 Terms and definitions 1 3.2 Abbreviations 4 4 General information on ISO 18629. 4 5 Organization of ISO 18629-14 5 6 Resource Requirements theory 5 6.1 Primitive Relations
8、 of the Resource Requirements theory . 5 6.2 Primitive Functions of the Resource Requirements theory. 6 6.3 Defined Relations of the Resource Requirements theory . 6 6.4 Theories required by Resource Requirements 6 6.5 Definitional extensions required by Resource Requirements . 6 6.6 Informal Semant
9、ics of the Resource Requirements theory. 6 6.6.1 requires 6 6.6.2 resource_point. 7 6.6.3 demand 7 6.6.4 agg_demand 7 6.6.5 resource . 7 6.7 Definitions in the Resource Requirements theory. 8 6.7.1 Definition 1: 8 6.8 Axioms of the Resource Requirements theory 8 6.8.1 Axiom 1 8 6.8.2 Axiom 2 8 6.8.3
10、 Axiom 3 8 6.8.4 Axiom 4 9 6.8.5 Axiom 5 9 7 Resource Set theory 9 7.1 Primitive Functions. 9 7.2 Defined Functions. 9 7.3 Theories required by Resource Set . 10 7.4 Definitional Extensions required by Resource Set 10 7.5 Informal Semantics of the Resource Set theory 10 7.5.1 resource_set. 10 7.5.2
11、in_resource_set 10 7.5.3 resource_subset . 10 7.6 Axioms for the Resource Set theory . 11 7.6.1 Axiom 1 11 7.6.2 Axiom 2 11 7.6.3 Axiom 3 11 7.7 Definitions for the Resource Set theory 12 7.7.1 Definition 1 . 12 7.7.2 Definition 2 . 12 8 Additive Quantities theory 12 ISO 18629-14 : 2006 (E) ISO 2006
12、 All rights reserved iv 8.1 Primitive Categories in the Additive Quantities theory 12 8.2 Primitive Functions in the Additive Quantities theory 12 8.3 Primitive Constants in the Additive Quantities theory 12 8.4 Primitive Relations in the Additive Quantities theory 13 8.5 Theories required by Resour
13、ce Set . 13 8.6 Informal Semantics of the Additive Quantities theory 13 8.6.1 additive 13 8.6.2 plus 13 8.6.3 zero_quantity.13 8.6.4 greater . 13 8.7 Axioms for the Additive Quantities theory. 14 8.7.1 Axiom 1 14 8.7.2 Axiom 2 14 8.7.3 Axiom 3 14 8.7.4 Axiom 4 14 8.7.5 Axiom 5 14 8.7.6 Axiom 6 14 8.
14、7.7 Axiom7 . 15 8.7.8 Axiom 8 15 8.7.9 Axiom 9 15 8.7.10 Axiom 10. 15 8.7.11 Axiom 11. 16 Annex A (normative) Use of ASN.1 Identifiers in SC4 standards. 17 Annex B (informative) Example of process description using ISO 18629-14. 18 Bibliography 25 Index. 26 Figures Figure B1: TOP level process for m
15、anufacturing a GT350 10 18 Figure B.2: PROCESS for manufacturing the 350Engine 10 20 Figure B.3: PROCESS for manufacturing the 350Block 10 21 Figure B.4: PROCESS for manufacturing the 350Harness 10 . 22 Figure B.5: PROCESS for manufacturing the harness wire 10 23 Figure B.6 : Process for manufacturi
16、ng the 350-Wire 10 24 ISO 18629-14 : 2006 (E) ISO 2006 All rights reserved vForeword The International Organisation for Standardisation (ISO) is a worldwide federation of national standards bodies (ISO member bodies). The work of preparing International Standards is normally carried out through ISO
17、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 organisations, governmental and non-governmental, in liaison with ISO, also take part in the work. ISO collaborates clo
18、sely with the International Electrotechnical Commission (IEC) on all matters of electrotechnical standardization. International Standards are drafted in accordance with the rules given in ISO/IEC Directives, Part 2. The main task of technical committees is to prepare International Standards. Draft I
19、nternational Standards adopted by the technical committees are circulated to the member bodies for voting. Publication as an International Standard requires approval by at least 75% of the member bodies casting a vote. Attention is drawn to the possibility that some of the elements of this part of I
20、SO 18629 may be the subject of patent rights. ISO shall not be held responsible for identifying any or all such patent rights. ISO 18629-14 was prepared by Technical Committee ISO/TC 184, Industrial automation systems and integration, Subcommittee SC4, Industrial data. A complete list of parts of IS
21、O 18629 is available from the Internet. http:/www.tc184-sc4.org/titles ISO 18629-14 : 2006 (E) ISO 2006 All rights reserved vi Introduction ISO 18629 is an International Standard for the computer-interpretable exchange of information related to manufacturing processes. Taken together, all the parts
22、contained in the ISO 18629 Standard provide a generic language for describing a manufacturing process throughout the entire production process within the same industrial company or across several industrial sectors or companies, independently from any particular representation model. The nature of t
23、his language makes it suitable for sharing process information related to manufacturing during all the stages of a production process. This part of ISO 18629 provides a description of the core elements of the language defined within ISO 18629. All parts of ISO 18629 are independent of any specific p
24、rocess representation or model proposed in a software application in the domain of manufacturing management. Collectively, they provide a structural framework for improving the interoperability of these applications. INTERNATIONAL STANDARD ISO 18629-14 : 2006 (E) ISO 2006 All rights reserved 1 1 Sco
- 1.请仔细阅读文档,确保文档完整性,对于不预览、不比对内容而直接下载带来的问题本站不予受理。
- 2.下载的文档,不会出现我们的网址水印。
- 3、该文档所得收入(下载+内容+预览)归上传者、原创作者;如果您是本文档原作者,请点此认领!既往收益都归您。
下载文档到电脑,查找使用更方便
10000 积分 0人已下载
下载 | 加入VIP,交流精品资源 |
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- ISO18629142006INDUSTRIALAUTOMATIONSYSTEMSANDINTEGRATIONPROCESSSPECIFICATIONLANGUAGEPART14RESOURCETHEORIES

链接地址:http://www.mydoc123.com/p-1252059.html