ImageVerifierCode 换一换
格式:PDF , 页数:30 ,大小:982.89KB ,
资源ID:209821      下载积分:5000 积分
快捷下载
登录下载
邮箱/手机:
温馨提示:
如需开发票,请勿充值!快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。
如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝扫码支付 微信扫码支付   
注意:如需开发票,请勿充值!
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【http://www.mydoc123.com/d-209821.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(GB T 20719.1-2006 工业自动化系统与集成 过程规范语言 第1部分 概述与基本原理.pdf)为本站会员(arrownail386)主动上传,麦多课文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知麦多课文库(发送邮件至master@mydoc123.com或直接QQ联系客服),我们立即给予删除!

GB T 20719.1-2006 工业自动化系统与集成 过程规范语言 第1部分 概述与基本原理.pdf

1、ICS 40 L 67 B 中华人民共和国国家标准GB/T 20719. 1-2006/ISO 18629-1 :2004 工业自动化系统与集成过程规范语言第1部分:概述与基本原理2006-12-13发布Industrial automation system and integration Process specification language-Part 1 : Overview and basic principles CISO 18629-1: 2004, IDT) 2007-07-01实施中华人民共程国国家最量蓝雪撞撞检瘟总局也舍中国国家每准先管理委员会Q(., GB/T 2号7

2、19.1-2006/ISO 18629-1 :2004 目次前言,.B寻i言,盏,.,飞1范密,OOtOtH0 0 0 0 0. 0 0 0 2规范性引用文件量.3 术语、定义及缩疆各i吾.,.,., Z 3. 1 术语和定义,. 2 3. 2缩略语川,.,. 5 4 GB/T 20719总.,.,. z 4. 1 GB20719概述,u.,.,. 4. 2 PSL基本原理.,4. 3 PSL扩展的需求.雹.川,74. 3. 1 非逻辑词汇.,., 7 4.3.2 模型的规范.74. 3. 3 扩展的公理.,.,.,.,. 8 4. 3. 4 过程描述的语言去,.84. 3. 5 扩展格式.雹

3、.,.,.8 4. 4 GB/T 20719标准的组织.川,84. 5 GB/T 20719. Ix系列核心理论.4. 5. I GB/T 20719. 11 PSL核心.,4. 5. 2 GB/T 20719. 12 外核.9 4. 5. 3 GB/T 20719. 13 对序理论., 4. 5. 4 GB/T 20719. 14 资源理论.,.I台4. 5 5 GBiT 20719. 15 活动赞能理论,号,.10 4 6 GB20719.Zx系列外部殃射.,.10 4. 7 GB/T 20719. 4x系列定义性扩展,.114. 7. I GB/T 20719. 41 4. 7. 2 G

4、JVT 20719. 42 4. 7. 3 GB/T 20719. 43 4. 7. 4 GB/T 20719. 44 4. 7. 5 GBiT 2白719.454. 7. 6 GBiT 20719. 46 活动,.,.11 对问与状态. .盏,. . 11 序列”. . 11 资源角色.” 11 资源集的种类,.川,. 11 加工活动.124. 7. 7 GBiT 20719. 47 过程目的.12 4. 8 GB2071立2xx系列转换执行指导.,125 一致性测试方法及框架.12 5. 1 应用软件与GB/T20719的致性. IZ 5. 2 本体与GB/T20719的一致性.暑.125

5、. 2. I 用户定义的扩展的一致性.,125. 2. 2外部本体的一致性.,.13 GB月20719.1-2号06/ISO18629-1 , 2004 5. 3 未来扩展约一致性.E. 13 5. 3. 1 模型的规范.135. 3. 2 扩展的确认.,胃口附录A(虫草范性附录)抽象语法表示法(ASN.llG总IT20719. 1的标志符.14 附录B资料性附录)本标准的开发背景,. . . . . . . . 14 附录c(资料性你录对话义拘需求,. 15 附录0(资料性附录)互操作性,川,.17 附录E(资料性附录PSL的结构.,. m 参考文献. . 23 n GB/T 20719.

6、1-2006/ISO 18629-1,2004 前言GB/T 20719工业自动化系统与集成过程耀范语言目前拟分为如部分z第1董事分2概述与基本原理z第11部分:PSL核心事第12部分:外核;第13部分:R1序理论;第14部分:资源理论;第15部分:活动性能理论。第21部分:EXPRESS,第22部分XML;第23部分,UML。一一第41部分:活动;第42部分:时间和状态;第43部分:序列z第44部分E资源角色事一一第45部分:资源集的矜类g一一第46部分:加工活动;第47部分z过程目的。GB/T 20719的主要内容为z第1董事分规定了GB/T20719系列标准概述及其结构;第11部分到15

7、部分规定了核心理论,属于lx系列;第21部分到23部分规定了外部事是射,属于2x系列;第41部分到47部分规定了定义性扩展,属于如系列;一一另外2xx系列规定了转换执行指导e本部分为GB/T20719的第1部分。本部分等同采用ISO18629 1 :20台4工业自动化系统与集成过程规范语言第1部分z概述与基本原理以英文版)。本部分的技术内容和组成结构与ISO18629 1: 2004棉一致,在编写格式上符合我E盟国家标准GB/T 1. 1 2000标准化工作导贝第1部分z标准的结构和编写规则讥只是根据我茵茵家标准剖龄定要求和为方便使用,做了如下编辑性的改动z时大写的英文缩写保留英文原名,去掉I

8、SO前言。b) 将“本目标标准”和ISO18629改为“GB/T20719”,将ISO18629 1改为GB/T2071吉的第1部分或GB/T20719. I c) 斗守规章;t生引用文f守中已转化为国家标准的国际标准编号改为国家标准编号,并将相应的国家标准采用的民际标准版本号放在国家标准编号后的括弧肉,以便使用和查阂。未转化的国际标准保留。dl 跟去了原文中不符合我罔标准编写的字句。本部分的附录A为规范性附录a本部分的附录8、附录C、附录D、附录E为资料性附录。ID GB20719. 1-2006/ISO 1862争1,200毒lV 本部分离中国银械工业联合会提出。本部分离全国工业自动化系统

9、与集成标准化技术委员会归口。本部分自北京机械工业启动化所负责起草主要起草人z杨书评、黄双喜、王成、黎晓东。51 百主FZ司GB/T 20719. 1一2006/ISO18629-1 , 2004 随着信息技术在创造业中的使用日渐成熟,软伶应用的豆操作对组织的业务和运营活动来说也变得至关重要为了保持竞争力和良好的经济性能,创造型企业需要采用更刻有效井有效率的系统这样的系统应能实现叙适应用软件的元缝集成,并可在应用软件之间交换llill!ISIR 5910, 19饨,Na乞ionalInstitute of Standards and Technology, Gaithers垣urg,MD. 12

10、 Uschold,悦,et.al. , The Enterp口seOntology气“企业本体论勺,TheKnowledge Eng1 neering Revie曹(知识工程学评论),Vol. 13(1), pp. 31的,Spec且lIssue on ” Putting On tologi四toUse气“本体论应用”将手lj)(eds. Uschold, M. and Tate, A.), Cambridge Uni versity Press. GB/T 20719. 1-2006/ISO 18629-1,2004 13Uschold,孔1.and Grunmg盯如t, Ontologie

11、s, Principles, Methods, and Applications(本体论原理,方法和应用), Knowledge Enginering Review(知识工程学评论), 1996, Vol. 11. pp. 96 137. 14 M. Uschold, R. Jasper, and P. Clark. Tl百eeApproaches for KnowledgSharing A Co白parativeAnalysis(知识共享方法z比绞分析法).Proc 12th Workshop on Knowledge Acquisition, 1odeli吨,andManagement (KA W99) (知识获取,建模和管理第12次会议论文集人1999.

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