intelligent systems configuration services for flexible dynamic global production networks flexinet...
TRANSCRIPT
Intelligent Systems Configuration Services for Flexible Dynamic Global Production Networks
FLEXINET
FP7 project 608627 – now in negotiation
The FLEXINET Concept
Basic premise - reference ontologies• Any multi-system design or configuration method needs a
common base of concepts from which to build and to share knowledge
• Text based concepts are not good enough – see next slide• Formal languages like OWL are NOT sufficiently
expressive to represent the complexities of manufacturing
• Common Logic based formalisms provide both a semantic capability and also an inference capability for compliance checking
Problem – multiple standards with multiple text based semantics
•Resource (ISO 15531-1; ISO 18629-1): Any device, tool and means, except raw material and final product components, at the disposal of the enterprise to produce goods or services. This definition includes ISO 10303-49 definition.
•Resource (ISO 10303-49): Something that may be described in terms of a behavior, a capability, or a performance measure that is pertinent to the process.
•Resource (ISO 15704): An enterprise entity that provides some or all of the capabilities required by the execution of an enterprise activity and/or business process.
Are these definitions the same or different? How similar are they? Do they provide any basis across which sharing can be achieved? It is not possible to say definitively
Formal definitions using a Common Logic base
(=> (Core.Resource ?r) (exists (?c) (and (Core.Capability ?c) (Core.hasCapability ?r ?c)))):IC soft "Every resource may have some capability." (=> (Core.Resource ?r) (exists (?e) (and (Core.Enterprise ?e) (Core.isHeldBy ?r ?e)))):IC soft "Every resource may be held by some enterprise." (=> (Core.Resource ?r) (exists (?p) (and (Core.Process ?p) (Core.isUsedBy ?r ?p)))):IC soft "Every resource may be used by some process."
•Cannot be misinterpreted
•Can be used to build new ‘specialisations’ to suit specific requirements
•Inferences can me made based on the logic
FLEXINET builds on ideas explored in the IMKS project
Young et al 2009
InstancesMI Domain Ontologies
Manufacturing Systems Core
Concept Ontologies
Systems Foundation
Ontology
Foundation
Core concepts 1
Domain 1System 1
System2
Domain 2System 3
System 4
Core concepts 2
Domain 3
Domain 4 System 5
InstancesMI Domain Ontology's
MI Core Concept
Ontology's
MI Foundation
Ontology
Foundation
Version 3
Version 5Version 7
Version 6
Version 4Version 5
Version 4
Version 2Version 3 Version 3
Version 2 Version 2
Version 1 Version 1 Version 1
Foundation
Ontology SpecialisationTime
FLEXINET builds on ideas explored in the IMKS project
Hastilow, N. 2013
STEP-ISO 10303
ISO 13584PLIB
ISO 18629-PSL
STEP NC ISO 10303
ISO10303-AP239-
PLCS
ISO 15531MANDATE
STEP-ISO 10303-AP224 Feature Based Manufacturing
ISO13399-Cutting Tool
Standard
A Reference Ontology has the potential to support interoperable standards for manufacturing