Checking method, device, and computer program product
AssigneeSiemens Aktiengesellschaft
InventorsStephan Grimm, Alois Haselböck
Life of this patent
Estimating the term…
Abstract
The disclosure relates to a method for checking whether and/or how a technical process may be carried out using a technical system with two or more units having technical capabilities that are potentially relevant to the technical process. At least one ontology is used which describes the technical system and the technical process, and a constraint satisfaction problem is generated using the at least one ontology. In the method, solutions are found for the constraint satisfaction problem. The solutions may be stored or output.
Claims23
A method for checking an implementation of a technical process by way of a technical system having a plurality of units, each unit having technical capabilities potentially relevant to the technical process, the method comprising:
- applying at least one ontology that describes the technical system and the technical process;
- forming a constraint satisfaction problem by way of the at least one ontology;
- determining solutions to the constraint satisfaction problem;
- and
- storing or outputting the determined solutions.
A device configured to check an implementation of a technical process, the device comprising:
- a knowledge base having at least one ontology that describes the technical system and the technical process;
- a constraint satisfaction problem generator that is configured to apply data of the at least one ontology and to generate a constraint satisfaction problem;
- and
- a constraint solver that is configured to solve the constraint satisfaction problem.
A computer program product stored on a device, wherein, when the computer program product is executed, the computer program product causes the device to:
- apply at least one ontology that describes the technical system and the technical process;
- form a constraint satisfaction problem by way of the at least one ontology;
- determine solutions to the constraint satisfaction problem;
- and
- store or output the determined solutions.
Dependencies are inferred from the claim text.