GOST R ISO 18629-14-2011 Industrial automation systems and integration Process specification language Part 14 Resource theories《工业自动化系统和集成 过程规范语言 第14部分 资源理论》.pdf

1、 14 ISO 18629-14:2006Industrial automation systems and integration Process specificationlanguage Part 14: Resource theories(IDT) 18629-142011 27 2002 . 184- , 1.02004 . 1 - , 42 100 3 22 2011 . 1609-4 18629-14:2006 - . . 14. (ISO 18629-14:2006 Industrial automation systems and integration Process sp

2、ecificationlanguage Part 14: Resource theories). - , 5 - , - . () . - , , 2013 , - - II 18629-1420111 12 13 , 23.1 .23.2 34 , 18629 35 .46 46.1 46.2 .46.3 .56.4 , .56.5 , 56.6 56.7 .66.8 67 77.1 .77.2 77.3 , .77.4 , .77.5 77.6 87.7 .88 .98.1 .98.2 98.3 .98.4 .98.5 , 98.6 .98.7 .9 A () (ASN.1) 4.12 B

3、 () 13 () .18 19 18629-142011III 18629 - - . 18629 - , , () - - . , - . , 18629. 18629 - . 18629 .IV 18629-142011 14 Industrial automation systems and integration. Process specification language. Part 14. Resource theories 201301011 , - (outer core). , . :- ;- ;- ;- .2 , . , - , . , - , , :/ 8824-1

4、. 1(ASN.1). 1. (ISO/IEC 8824-1, Information technology AbstractSyntax Notation One (ASN.1) Part 1: Specification of basic notation) 15531-1 . . 1. (ISO 15531-1, Industrial automation systems andintegration Industrial manufacturing management data Part 1: General overview) 18629-1 . -. 1. (ISO 18629-

5、1, Industrial automation systems andintegration Process specification language Part 1: Overview and basic principles) 18629-11:2005 . . 11. PSL (ISO 18629-11:2005, Industrial automation systems andintegration Process specification language Part 11: PSL-core) 18629-12 . -. 12. (ISO 18629-12, Industri

6、al automation systems and integration Processspecification language Part 12: PSL Outer core)1 18629-1420113 , 3.1 :3.1.1 (axiom): -, . 18629-13.1.2 (defined lexicon): , - . , . . 18629-13.1.3 (definitional extension): PSL, - , PSL. PSL - . 18629-13.1.4 (extension): PSL, . 1 PSL , . - , PSL. PSL , -

7、PSL. , - . 2 . 18629-13.1.5 (grammar): - . 18629-13.1.6 (language): . 18629-13.1.7 (lexicon): . (, ) - . 18629 (-, ), . 18629-13.1.8 (manufacturing): , . 15531-13.1.9 (manufacturing process): , - . , , . - , . ., - . 15531-13.1.10 ; (primitive concept): -, . 18629-12 18629-1420113.1.11 (primitive le

8、xicon): , - . , . 18629-13.1.12 (process): , - , . , 10303-49. 15531 - - . , (-). 15531-13.1.13 (resource): , , - , . 1 15531-1. - , 15531-1, , , - ( ) , , . . , , 15531-1, , 10303-49, -, 18629. , 15531, , , 18629-14. 2 , -. . - - , (, , . .). , , , , (, , ). - - - . 15531-13.1.14 (theory): , . , , . 18629-13.2 :- FOL (First-Order Logic);- BNF (Backus Naur Formalism);- KIF (Knowledge Interchange Format);- PSL (Process Specification Language).4 , 18629 18629-1 (), (PSL) , .