公开(公告)号：US20120158386A1

公开(公告)日：2012-06-21

申请号：US13392752

申请日：2010-07-29

申请人： Thomas Ehben ,  Nasser Jazdi ,  Camelia Maga ,  Thilo Tetzner

发明人： Thomas Ehben ,  Nasser Jazdi ,  Camelia Maga ,  Thilo Tetzner

IPC分类号： G06F17/50

CPC分类号： G06F8/10

摘要： Methods and engineering systems for the automatic inspection of the modeling of technical systems in an engineering or design process, wherein the used description language (e.g., UML or SysML) is extended by suitably defined stereotypes, especially suitable for the automatic detection of incompatibilities in the formation or variants of technical systems or products.

摘要翻译： 用于自动检查工程或设计过程中技术系统建模的方法和工程系统，其中所使用的描述语言（例如，UML或SysML）通过适当定义的定型扩展，特别适合于自动检测不兼容性 技术系统或产品的形成或变体。