1、 13 ISO 18629-13:2006Industrial automation systems and integration Process specificationlanguage Part 13: Duration and ordering theories(IDT) 18629-1320111 - , 42 100 3 22 2011 . 1068-4 18629-13:2006 - . . 13. - (ISO 18629-13:2006 Industrial automation systems andintegration Process specification la
2、nguage Part 13: Duration and ordering theories). - , 5 1.02012 ( 8). ( 1 ) , -. () . , - (gost.ru) , 2014 , - - II 18629-1320111 12 13 , 13.1 .13.2 44 , 18629 45 .56 .56.1 .56.2 56.3 56.4 56.5 .66.6 67 77.1 77.2 .77.3 .87.4 87.5 .87.6 97.7 .98 .128.1 .128.2 128.3 .128.4 138.5 .138.6 149 159.1 159.2
3、159.3 .159.4 159.5 .159.6 15 A () (ASN.1) 4.17 B () 18 () 23 23 18629-132011III 18629 - . 18629 , - , () - . , - . -, 18629. 18629 - . 18629 - .IV 18629-132011 13 Industrial automation systems and integration. Process specification language.Part 13. Duration and ordering theories 201209011 , - , :-
4、 ;- ;- ;- ;- .2 -, . , , -. , , - , :/ 8824-1 . 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:
5、 General overview) 18629-1 . -. 1. (ISO 18629-1, Industrial automation systems and integration Process specification language Part 1: Overview and basic principles) 18629-11:2005 . . 11. PSL (ISO 18629-11:2005, Industrial automation systems and integration Processspecification language Part 11: PSL-
6、core) 18629-12:2005 . . 12. (ISO 18629-12:2005, Industrial automation systems and integration Process specification language Part 12: Outer core)3 , 3.1 :3.1.1 (automorphism): , - .1 18629-1320113.1.2 (axiom): -, . 18629-13.1.3 (commutative group): - (OP), a OPb=bOPa.3.1.4 (conservative definition):
7、 , - , - . 18629-13.1.5 (core theory): , . 18629-13.1.6 (defined lexicon): , - . , . . 18629-13.1.7 (endomorphism): , - .3.1.8 (extension): PSL, . 1 PSL , . - , PSL. PSL , - PSL. , - . 2 . 18629-13.1.9 (grammar): - . 18629-13.1.10 (homomorphism): , - .3.1.11 (interpretation): - (TRUE FALSE) . . . 18
8、629-113.1.12 (language): . 18629-13.1.13 (lexicon): . (, ) - . 18629 (-, ), . 18629-13.1.14 (model): , . 1 - : , , . , , .2 18629-132011 2 (- , ). . , , , - , , , - . 18629-13.1.15 (monomorphism): , - .3.1.16 (ontology): , - . 1 , . , , . 2 18629 . , 18629, , -. 3 , -. , , . -. 4 , , - . , , . , 18629, , , 18629. 18629-13.1.17 (outer Core): , PSL , . . 18629-13.1.18 (primitive concept): , - . 18629-13.1.19 (primitive lexicon): , - . , . 18629-13.1.20 (process): , - , . ,
