[发明专利]用于进行检查的方法、设备和计算机程序产品

摘要

用于进行检查的方法、设备和计算机程序产品在按照本发明的用于检查技术过程是否能借助于技术系统来实现和/或如何借助于技术系统来实现（所述技术系统具有两个或更多个单元，所述两个或更多个单元各具有对于该技术过程来说可能相关的技术能力）的方法中，使用至少一个本体，而且借助于该至少一个本体来形成约束满足问题，该本体描述该技术系统以及该技术过程。在按照本发明的方法中，搜索并且优选地输出约束满足问题的解。

主权项

1.一种用于检查技术过程是否和/或如何能借助于技术系统来实现的方法，所述技术系统具有多个单元（CPPU），所述多个单元各具有对于所述技术过程来说可能相关的技术能力（SKI），其中‑ 使用至少一个本体（ONT），所述至少一个本体描述所述技术系统（TES）以及所述技术过程，而且‑ 借助于所述至少一个本体（ONT）来形成约束满足问题（CSP），而且‑ 搜索并且优选地保存和/或输出所述约束满足问题（CSP）的解。