欢迎来到麦多课文档分享! | 帮助中心 海量文档,免费浏览,给你所需,享你所想!
麦多课文档分享
全部分类
  • 标准规范>
  • 教学课件>
  • 考试资料>
  • 办公文档>
  • 学术论文>
  • 行业资料>
  • 易语言源码>
  • ImageVerifierCode 换一换
    首页 麦多课文档分享 > 资源分类 > PDF文档下载
    分享到微信 分享到微博 分享到QQ空间

    ISO 18629-12-2005 Industrial automation systems and integration - Process specification language - Part 12 Outer core《工业自动化系统和集成 工艺规范语言 第12部分 外芯》.pdf

    • 资源ID:1252057       资源大小:511KB        全文页数:66页
    • 资源格式: PDF        下载积分:10000积分
    快捷下载 游客一键下载
    账号登录下载
    微信登录下载
    二维码
    微信扫一扫登录
    下载资源需要10000积分(如需开发票,请勿充值!)
    邮箱/手机:
    温馨提示:
    如需开发票,请勿充值!快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。
    如需开发票,请勿充值!如填写123,账号就是123,密码也是123。
    支付方式: 支付宝扫码支付    微信扫码支付   
    验证码:   换一换

    加入VIP,交流精品资源
     
    账号:
    密码:
    验证码:   换一换
      忘记密码?
        
    友情提示
    2、PDF文件下载后,可能会被浏览器默认打开,此种情况可以点击浏览器菜单,保存网页到桌面,就可以正常下载了。
    3、本站不支持迅雷下载,请使用电脑自带的IE浏览器,或者360浏览器、谷歌浏览器下载即可。
    4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰。
    5、试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。

    ISO 18629-12-2005 Industrial automation systems and integration - Process specification language - Part 12 Outer core《工业自动化系统和集成 工艺规范语言 第12部分 外芯》.pdf

    1、 Reference number ISO 18629-12:2005(E) ISO 2005INTERNATIONAL STANDARD ISO 18629-12 First edition 2005-10-01 Industrial automation systems and integration Process specification language Part 12: Outer core Systmes dautomatisation industrielle et intgration Langage de spcification de procd Partie 12:

    2、Noyau externe ISO 18629-12:2005(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 performing the

    3、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 this PDF file can

    4、 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 Central Secretariat

    5、 at the address given below. ISO 2005 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 the address b

    6、elow 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 2005 All rights reserved ISO 18629-12 : 2005 (E)C o n t e n t Page 1 S

    7、cope . 1 2 Normative references 1 3 Terms, definitions, and abbreviations . 2 3.1 Terms and definitions 2 3.2 Abbreviations 7 4 ISO 18629 general. 7 5 Organization of ISO 18629-12 8 5.1 Extensions in Outer core . 8 6 Subactivity core theory 9 6.1 Primitive Relations of the Subactivity core theory 9

    8、6.2 Defined Relations of the Subactivity core theory 9 6.3 Relationship to other sets of axioms 10 6.4 Informal Semantics of the Subactivity core theory . 10 6.4.1 subactivity 10 6.4.2 primitive . 10 6.5 Definitions in the Subactivity core theory. 10 6.5.1 Definition 1: . 10 6.6 Axioms of the Subact

    9、ivity core theory 11 6.6.1 Axiom 1 11 6.6.2 Axiom 2 11 6.6.3 Axiom 3 11 6.6.4 Axiom 4 11 6.6.5 Axiom 5 12 6.6.6 Axiom 6 12 7 Occurrence tree core theory 13 7.1 Primitive Relations 13 7.2 Primitive Functions . 13 7.3 Relationship to other sets of axioms 13 7.4 Informal Semantics of the Occurrence tre

    10、e core theory 13 7.4.1 earlier 13 7.4.2 initial. 14 7.4.3 legal 14 7.4.4 poss. 14 7.4.5 precedes 14 7.4.6 successor. 15 7.5 Axioms for the Occurrence tree core theory . 15 7.5.1 Axiom 1 15 7.5.2 Axiom 2 15 7.5.3 Axiom 3 15 7.5.4 Axiom 4 16 7.5.5 Axiom 5 16 7.5.6 Axiom 6 16 7.5.7 Axiom 7 17 7.5.8 Axi

    11、om 8 18 7.5.9 Axiom 9 18 ISO 2005 All rights reserved iiiISO 18629-12 : 2005 (E) 7.5.10 Axiom 10 18 7.5.11 Axiom 11 18 7.5.12 Axiom 12 19 7.5.13 Axiom 13 19 7.5.14 Axiom 14 19 7.5.15 Definition 1 19 7.5.16 Definition 2. 19 8 Discrete state core theory 20 8.1 Primitive categories in the Discrete stat

    12、e core theory . 20 8.2 Primitive relations in the Discrete state core theory 20 8.3 Relationship to other sets of axioms 20 8.4 Informal semantics of the Discrete state core theory 20 8.4.1 state. 20 8.4.2 holds . 21 8.4.3 prior 21 8.5 Axioms for the Discrete state core theory . 21 8.5.1 Axiom 1 21

    13、8.5.2 Axiom 2 21 8.5.3 Axiom 3 22 8.5.4 Axiom 4 22 8.5.5 Axiom 5 22 8.5.6 Axiom 6 22 8.5.7 Axiom 7 23 9 Atomic activity core theory. 23 9.1 Primitive Relations in the Atomic activity core theory . 24 9.2 Primitive Functions in the Atomic activity core theory 24 9.3 Relationship to other sets of axio

    14、ms 24 9.4 Informal semantics of the Atomic activity core theory . 24 9.4.1 atomic . 24 9.4.2 conc 24 9.5 Definitions in Atomic activity core theory 24 9.6 Axioms of the Atomic activity core theory . 25 9.6.1 Axiom 1 25 9.6.2 Axiom 2 25 9.6.3 Axiom 3 25 9.6.4 Axiom 4 25 9.6.5 Axiom 5 25 9.6.6 Axiom 6

    15、 26 9.6.7 Axiom 7 26 9.6.8 Axiom 8 26 9.6.9 Axiom 9 26 10 Complex activity core theory 27 10.1 Primitive Relations in the Complex activity core theory 27 10.2 Defined Relations in the Complex activity core theory 27 10.3 Relationship to other sets of axioms 27 10.4 Informal Semantics of the Complex

    16、activity core theory 28 10.4.1 min_precedes 28 10.4.2 root . 28 10.4.3 subtree 28 10.4.4 leaf 28 10.4.5 do 29 ISO 2005 All rights reserved iv 10.4.6 next_subocc 29 10.4.7 sibling . 29 10.5 Definitions in Complex activity core theory . 29 10.5.1 Definition 1. 30 10.5.2 Definition 2. 30 10.5.3 Definit

    17、ion 3. 30 10.5.4 Definition 4. 31 10.5.5 Definition 5. 31 10.6 Axioms of the Complex activity core theory 31 10.6.1 Axiom 1 32 10.6.2 Axiom 2 32 10.6.3 Axiom 3 32 10.6.4 Axiom 4 33 10.6.5 Axiom 5 33 10.6.6 Axiom 6 33 10.6.7 Axiom 7 34 10.6.8 Axiom 8 34 10.6.9 Axiom 9 34 10.6.10 Axiom 10 35 10.6.11 A

    18、xiom 11 35 11 Activity occurrence core theory 35 11.1 Primitive Relations in the Activity occurrence core theory 35 11.2 Defined Relations in the Activity occurrence core theory 35 11.3 Relationship to other sets of axioms 36 11.4 Informal Semantics of the Activity occurrence core theory 36 11.4.1 s

    19、ubactivity_occurrence. 36 11.4.2 mono. 36 11.4.3 root_occ 36 11.4.4 leaf_occ 37 11.4.5 iso_occ 37 11.4.6 hom. 37 11.4.7 same_grove. 37 11.5 Definitions for Activity occurrence core theory 38 11.5.1 Definition 1. 38 11.5.2 Definition 2. 38 11.5.3 Definition 3. 38 11.5.4 Definition 3. 39 11.5.5 Defini

    20、tion 4. 39 11.5.6 Definition 5. 39 11.6 Axioms for Activity occurrence core theory . 40 11.6.1 Axiom 1 40 11.6.2 Axiom 2 40 11.6.3 Axiom 3 40 11.6.4 Axiom 4 41 11.6.5 Axiom 5 42 11.6.6 Axiom 6 42 11.6.7 Axiom 7 42 11.6.8 Axiom 8 43 ISO 2005 All rights reserved vISO 18629-12 : 2005 (E)ISO 18629-12 :

    21、2005 (E) 11.6.9 Axiom 9 43 11.6.10 Axiom 10 43 11.6.11 Axiom 11 44 11.6.12 Axiom 12 44 11.6.13 Axiom 13 44 11.6.14 Axiom 14 44 11.6.15 Axiom 15 45 Annex A (normative) Use of ASN.1 Identifiers in SC4 standards 46 Annex B (informative) Relationship to Situation Calculus. 47 Annex C (informative) Examp

    22、le of process description using PSL-Outercore 48 Bibliography 56 Index 57 Figures Figure 1: Relationships among sets of axioms within PSL Outer core. 9 Figure C1: TOP level process for manufacturing a GT350 1. 48 Figure C.2: PROCESS for manufacturing the 350Engine 1. 51 Figure C.3: PROCESS for manuf

    23、acturing the 350Block 1. 52 Figure C.4: PROCESS for manufacturing the 350Harness 1 53 Figure C.5: PROCESS for manufacturing the harness wire 1. 54 Figure C.6 : Process for manufacturing the 350-Wire 1. 54 ISO 2005 All rights reserved vi Foreword The International Organisation for Standardisation (IS

    24、O) is a worldwide federation of national standards bodies (ISO member bodies). The work of preparing International Standards is normally 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 rep

    25、resented on that committee. International organisations, governmental and non-governmental, in liaison with ISO, also take part in the work. ISO collaborates closely with the International Electrotechnical Commission (IEC) on all matters of electrotechnical standardization. International Standards a

    26、re drafted in accordance with the rules given in ISO/IEC Directives, Part 2. Draft International Standards (DIS) adopted by 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 v

    27、ote. Attention is drawn to the possibility that some of the elements of this part of ISO 18629 may be the subject of patent rights. ISO shall not be held responsible for identifying any or all such patent rights. ISO 18629-12 was prepared by Technical Committee ISO/TC 184, Industrial automation syst

    28、ems and integration, Sub-committee SC4, Industrial data A complete list of parts of ISO 18629 is available from the Internet. http:/www.tc184-sc4.org/titles ISO 2005 All rights reserved viiISO 18629-12 : 2005 (E)ISO 18629-12 : 2005 (E) Introduction ISO 18629 is an International Standard for the comp

    29、uter-interpretable exchange of information related to manufacturing processes. Taken together, all the parts 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 sev

    30、eral industrial sectors or companies, independently from any particular representation model. The nature of this language makes it suitable for sharing process information related to manufacturing during all the stages of a production process. This part provides a description of the core elements of

    31、 the language defined within the International Standard. This part of ISO 18629 and all other parts in ISO 18629 are independent of any specific process representation or model proposed in a software application in the domain of manufacturing management. Collectively, they provide a structural frame

    32、work for improving the interoperability of these applications. ISO 2005 All rights reserved viiiINTERNATIONAL STANDARD ISO 18629-12 : 2005 (E) Industrial automation systems and integration Process specification language Part 12: PSL Outer core 1 Scope This part of ISO 18629 provides a representation

    33、 of the concepts that belong to the Outer core of the language, through a set of axioms and definitions. These axioms provide an axiomatization of the semantics for terminology in the ISO 18629 Outer core. The following are within the scope of this part of ISO 18629: the aggregation of activities an

    34、d sub-activities; discrete activities and state; constraints on the occurrence of activities; concurrency for primitive activities; complex activities; occurrences of complex activities. 2 Normative references The following referenced documents are indispensable for the application of this document.

    35、 For dated references, only the edition cited applies. For undated references, the latest edition of the referenced document (including any amendments) applies. ISO/IEC 8824-1, Information technology Abstract Syntax Notation One (ASN.1): Specification of basic notation ISO 10303-1: Industrial automa

    36、tion systems and integration Product data representation and exchange Part 1: Overview and fundamental principles. ISO 15531-1: Industrial automation systems and integration Industrial manufacturing management data Part 1: General overview. ISO 18629-1: Industrial automation systems and integration

    37、Process specification language Part 1: Overview and basic principles ISO 18629-11: Industrial automation systems and integration Process specification language Part 11: PSL core ISO 2005 All rights reserved 1ISO 18629-12 : 2005 (E) 3 Terms, definitions, and abbreviations 3.1 Terms and definitions Fo

    38、r the purposes of this document, the following terms and definitions apply: 3.1.1 axiom well-formed formula in a formal language that provides constraints on the interpretation of symbols in the lexicon of a language ISO 18629-1 3.1.2 conservative definition definition that specifies necessary and s

    39、ufficient conditions that a term shall satisfy and that does not allow new inferences to be drawn from the theory ISO 18629-1 3.1.3 core theory set of predicates, function symbols and individual constants, associated with some axioms, the primitive concepts of the ontology ISO 18629-1 3.1.4 data a r

    40、epresentation of information in a formal manner suitable for communication, interpretation, or processing by human beings or computers ISO 10303-1 3.1.5 defined lexicon set of symbols in the non-logical lexicon which denote defined concepts NOTE Defined lexicon is divided into constant, function and

    41、 relation symbols. EXAMPLE terms with conservative definitions. ISO 18629-1 3.1.6 definitional extension extension of PSL-Core that introduces new linguistic items which can be completely defined in terms of the PSL-Core ISO 2005 All rights reserved 2 ISO 18629-1 3.1.7 extension augmentation of PSL-

    42、Core containing additional axioms NOTE 1 The PSL-Core is a relatively simple set of axioms that is adequate for expressing a wide range of basic processes. However, more complex processes require expressive resources that exceed those of the PSL-Core. Rather than clutter the PSL-Core itself with eve

    43、ry conceivable concept that might prove useful in describing one process or another, a variety of separate, modular extensions need to be developed and added to the PSL-Core as necessary. In this way a user can tailor the language precisely to suit his or her expressive needs. NOTE 2 All extensions

    44、are core theories or definitional extensions. ISO 18629-1 3.1.8 grammar specification of how logical symbols and lexical terms can be combined to make well-formed formulae ISO 18629-1 3.1.9 idempotent element (a) of a set under an internal binary operation (OP) with respect to which : a OP a = a NOT

    45、E a function is idempotent when every element of the definition domain is idempotent with respect to it EXAMPLE set-theoretic intersection and union are idempotent, since S S = S and S S = S. 3.1.10 information facts, concepts, or instructions ISO 10303-1 3.1.11 interpretation universe of discourse

    46、and assignment of truth values (TRUE or FALSE) to all sentences in a theory NOTE See annex C for an example of an interpretation. 3.1.12 language combination of a lexicon and a grammar ISO 18629-1 ISO 2005 All rights reserved 3ISO 18629-12 : 2005 (E) NOTE: Definitional extensions add no new expressi

    47、ve power to PSL-Core but are used to specify the semantics and terminology in the domain application. ISO 18629-12 : 2005 (E) 3.1.13 lexicon set of symbols and terms NOTE The lexicon consists of logical symbols (such as Boolean connectives and quantifiers) and non-logical symbols. For ISO 18629, the

    48、 non logical part of the lexicon consists of expressions (constants, function symbols, and relation symbols) chosen to represent the basic concepts of the ontology. ISO 18629-1 3.1.14 manufacturing function or act of converting or transforming material from raw material or semi-finished state to a s

    49、tate of further completion ISO 15531-1 3.1.15 manufacturing process structured set of activities or operations performed upon material to convert it from the raw material or a semifinished state to a state of further completion NOTE Manufacturing processes may be arranged in process layout, product layout, cellular layout or fixed position layout. Manufacturing processes may be planned to support make-to-stock, make-to-order, assemble-to- order, etc., b


    注意事项

    本文(ISO 18629-12-2005 Industrial automation systems and integration - Process specification language - Part 12 Outer core《工业自动化系统和集成 工艺规范语言 第12部分 外芯》.pdf)为本站会员(testyield361)主动上传,麦多课文档分享仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知麦多课文档分享(点击联系客服),我们立即给予删除!




    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

    copyright@ 2008-2019 麦多课文库(www.mydoc123.com)网站版权所有
    备案/许可证编号:苏ICP备17064731号-1 

    收起
    展开