公开(公告)号：US09747079B2

公开(公告)日：2017-08-29

申请号：US14570513

申请日：2014-12-15

Applicant: General Electric Company

Inventor： Kit Yan Siu ,  Andrew Walter Crapo ,  Michael Richard Durling ,  Luca Parolini ,  Panagiotis Manolios ,  Han Yu ,  Scott Stacey

IPC: G06F9/44 ,  G06Q10/06

CPC classification number: G06F8/20 ,  G06F8/10 ,  G06Q10/06

Abstract: According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate the specification model; and generate a specification model that is human-readable and computer-readable for use in software design. Numerous other aspects are provided.

公开(公告)号：US20160170714A1

公开(公告)日：2016-06-16

申请号：US14570513

申请日：2014-12-15

Applicant: General Electric Company

Inventor： Kit Yan Siu ,  Andrew Walter Crapo ,  Michael Richard Durling ,  Luca Parolini ,  Panagiotis Manolios ,  Han Yu ,  Scott Stacey

IPC: G06F9/44

CPC classification number: G06F8/20 ,  G06F8/10 ,  G06Q10/06

Abstract: According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate the specification model; and generate a specification model that is human-readable and computer-readable for use in software design. Numerous other aspects are provided.

Abstract translation: 根据一些实施例，系统包括可操作以与用户通信以获得与语义模块的规范模型相关联的一个或多个需求的通信设备; 用于接收所述一个或多个需求的语义模块，存储所述一个或多个需求并将所述一个或多个需求转换成语义模型; 接收语义模型的规范模块，存储语义模型，翻译语义模型并生成规范模型; 用于存储程序指令的存储器; 耦合到所述存储器并与所述规范模块和所述语义模块通信的至少一个规范模型平台处理器，并且可操作以执行程序指令：通过执行所述语义模块将所述一个或多个需求转换成语义模型; 通过执行规范模块将语义模型转化为图形模型; 并通过执行规范模块修改图形模型，生成规范模型; 并生成一种人机可读和计算机可读的用于软件设计的规范模型。 提供了许多其他方面。