1、 KS B ISO 186291 KSKSKSKS SKSKSKS KSKSKS SKSKS KSKS SKS KS 1： KS B ISO 186291 : 2007 (2013 ) 2007 8 10 http:/www.kats.go.krKS B ISO 186291：2007 : ( ) ( ) ( ) : (http:/www.standard.go.kr) ： ：2007 8 10 ：2013 1 11 2013-0014 ： ： ( 02-509-7262) (http:/www.kats.go.kr). 10 5 , . KS B ISO 186291：2007 i .1 1
2、 1 2 1 3 2 3.1 2 3.2 (abbreviations) .7 4 KS B ISO 18629 .7 4.1 KS B ISO 18629 .7 4.2 PSL .8 4.3 PSL 9 4.4 KS B ISO 18629 (organisation of the KS B ISO 18629 standard) 11 4.5 ISO 186291x .12 4.6 ISO 186292x (external mappings)14 4.7 ISO 186294x (definitional extensions).14 4.8 ISO 186292xx (translat
3、or implementation guidelines)16 5 (conformance testing methodology and framework) 16 5.1 KS B ISO 18629 (conformance of applications with KS B ISO 18629) 16 5.2 KS B ISO 18629 17 5.3 (conformance of future extensions)17 A() KS B ISO 186291 ASN.1 (identifier)18 B() KS B ISO 18629 19 C() .20 D() .22 E
4、() PSL .26 29 .30 KS B ISO 186291 : 2007 (2013 ) 1： Industrial automation systems and integration Process specification language Part 1：Overview and basic principles 2004 1 ISO 186291, Industrial automation systems and integration Process specification languagePart 1：Overview and basic principles ,
5、. 1 KS B ISO 18629 . KS B ISO 18629 . . a) KS B ISO 18629 b) KS B ISO 18629 c) KS B ISO 18629 d) e) (ontology) f) KS B ISO 18629 . a) B ：KS B ISO 18629 b) C ： c) D ： d) E ：PSL 2 . . KS B ISO 186291：2007 2 KS B ISO 103031, 1： KS B ISO 1030311, 11：EXPRESS KS B ISO 155311：2007, 1： KS B ISO 1553131, 31：
6、 KS X ISO/IEC 88241, 1(ASN.1)1： ISO 1553132：2005, Industrial automation systems and integrationIndustrial manufacturing management dataPart 32：Conceptual information model for resources usage management data ISO 1553142：2005, Industrial automation systems and integrationIndustrial manufacturing mana
7、gement dataPart 42：Manufacturing flow management dataTime model 3 3.1 3.1.1 (axiom) (wellformed formula) 3.1.2 (conservative definition) 3.1.3 (core theory) 3.1.4 (data) , KS B ISO 103031 3.1.5 (defined lexicon) , . 3.1.6 (definitional extension) PSL (extension) PSL . PSL , . KS B ISO 186291：2007 3
8、3.1.7 (discrete manufacturing) , KS B ISO 155311 3.1.8 (duration) 1 1 ：00 12：00 23 2 1 7 . . ISO 1553142 3.1.9 (extension) PSL 1 PSL , . PSL . PSL , PSL . . 2 . 3.1.10 (grammar) 3.1.11 (information) , 3.1.12 (language) 3.1.13 (lexicon) ( ) . KS B ISO 18629 , (, ) . KS B ISO 186291：2007 4 3.1.14 (man
9、ufacturing) KS B ISO 155311 3.1.15 (manufacturing process) , , . , , . KS B ISO 155311 3.1.16 (model) 1 “” 7. , . - . 2 ( , ) . , / . , . . 3.1.17 (ontology) , . 1 . , , . 2 KS B ISO 18629 . , KS B ISO 18629 . 3 . . . 4 . . KS B ISO 18629 KS B ISO 18629 . 3.1.18 (outer core) PSL KS B ISO 186291：2007
10、 5 . 3.1.19 (primitive concept) 3.1.20 (primitive lexicon) , . 3.1.21 (process) KS B ISO 1030349 . ISO 15531 , . ( ) . KS B ISO 155311 3.1.22 (process planning) . KS B ISO 155311 3.1.23 (product) KS B ISO 103031 3.1.24 (product information) , KS B ISO 103031 3.1.25 (proof theory) . PSL, , KS B ISO 1
11、86291：2007 6 3.1.26 PSL (PSLcore) , , PSL , . PSL . PSL . 3.1.27 (resource) , 1 . . , ( , ). , , ( , ) . . 2 KS B ISO 1030349 , , ISO 18629 14 ISO 1862944 . KS B ISO 155311 3.1.28 (satisfiable) , . 3.1.29 (scheduling) , KS B ISO 155311 3.1.30 (structure) , , 3.1.31 (theory) , . KS B ISO 186291：2007
12、7 3.1.32 (translation definition) P , Q KS B ISO 18629 , (iff P Q) KIF iff KIF (reserved word). 3.2 (abbreviations) BNF Backus Naur Formalism( ) CEN Comit Europen de Normalisation(European Committee for Standardisation) ( ) EDI Electronic Data Interchange( ) ENV European Pre-standard( ) IDEF3 ICAM D
13、EFinition language 3 Process description capture method ( ) KIF Knowledge Interchange Format( ) JTC 1 Joint Technical Committee between ISO and IEC(ISO IEC ) MANDATE MANufacturing management DATa Exchange( ) MMS Manufacturing Message Services( ) MRP Material Requirement Planning( ) MRP II Manufactur
14、ing Resources Planning( ) PLIB Parts Library( ) PSL Process Specification Language( ) STEP STandard for the Exchange of Product model data( ) UML Unified Modelling Language(UML, ) 2 . XML EXtensible Mark-up Language( ) 4 KS B ISO 18629 4.1 KS B ISO 18629 KS B ISO 18629 , . . KS B ISO 18629 (KS B ISO
15、 155311 ), . KS B ISO 18629 . KS B ISO 18629 ISO 15531 . PSL . PSL , . PSL , . . 1 PSL . . KS B ISO 186291：2007 8 ( ) . 2 PSL , . ISO 10303, ISO 13584 ISO 15926 , ISO 15531 , . , PSL . , . 3 PSL . ISO 10303 . PSL PSL . . KS B ISO 18629 . a) , , b) KS B ISO 18629 . a) , b) c) d) , 4.2 PSL PSL . . KS
16、B ISO 18629 PSL . 1 6 . 2 3.1.17 3 . . . KS B ISO 18629 , PSL . . a) b) c) ( ) KS B ISO 186291：2007 9 ( ) ( ) . (, , ) . PSL (, ) . PSL KIF(Knowledge Interchange Format). 3 KIF . KIF( A ) , . PSL PSL . 4 . a) , , . . . , . b) . , . , . 5 (correspondence theory of truth) ( ), . PSL ( ) . . . , , . .
17、6 . . . . 4.3 PSL KS B ISO 18629 KS B ISO 18629 , . PSL . , . a) b) KS B ISO 186291：2007 10 c) d) e) 4.3.1 . KIF . . . 4.3.2 KS B ISO 18629 KS B ISO 18629 . . 4.3.3 KS B ISO 18629 KS B ISO 18629 KIF . KS B ISO 18629 PSL PSL . KS B ISO 18629 PSL . KS B ISO 18629 PSL , ISO 18629 . KS B ISO 18629 . , . , PSL . 4.3.4 KS B ISO 18629 KIF . KIF . KIF( A ) . KS B ISO 18629 KIF . , KS B ISO 18629 . . . PSL BNF BNF . KS B ISO 186291：2007 11 4.3.5 KS B ISO 18629 a) ： .th , .def . b) c) d) ： PSL , PSL . . e) ： , PSL . KS B ISO 18629 KIF . , KIF .
