公开(公告)号：US08495580B2

公开(公告)日：2013-07-23

申请号：US12755600

申请日：2010-04-07

申请人： Mangala Gowri ,  Senthil Mani ,  Saurabh Sinha ,  Vibha S. Sinha

发明人： Mangala Gowri ,  Senthil Mani ,  Saurabh Sinha ,  Vibha S. Sinha

IPC分类号： G06F9/45

CPC分类号： G06F11/3608 ,  G06F8/35

摘要： Techniques for facilitating use of a transformer are provided. The techniques include analyzing code of a transformer to compute one or more exception constraints and one or more output constraints, translating the one or more exception constraints and one or more output constraints to state them in terms of one or more input and output meta-model elements, wherein translating the one or more exception constraints and one or more output constraints comprises inferring one or more transformer rules in terms of vocabulary of a meta-model, wherein a transformer rule comprises one of a verification rule and a comprehension rule, and using the one or more inferred transformer rules to facilitate use of a transformer, wherein facilitating use of a transformer comprises supporting model verification and transform comprehension.

摘要翻译： 提供了便于使用变压器的技术。 这些技术包括分析变压器的代码以计算一个或多个异常约束和一个或多个输出约束，将一个或多个异常约束和一个或多个输出约束转换为根据一个或多个输入和输出元模型来陈述它们 元素，其中翻译所述一个或多个异常约束和一个或多个输出约束包括根据元模型的词汇推断一个或多个变换器规则，其中变换器规则包括验证规则和理解规则之一，并且使用 一个或多个推断的变压器规则以便于使用变压器，其中促进变压器的使用包括支持模型验证和变换理解。

公开(公告)号：US20110107243A1

公开(公告)日：2011-05-05

申请号：US12613179

申请日：2009-11-05

申请人： Anshu N. Jain ,  Senthil Mani ,  Vibha S. Sinha

发明人： Anshu N. Jain ,  Senthil Mani ,  Vibha S. Sinha

IPC分类号： G06F3/048 ,  G06F17/30

CPC分类号： G06F17/30997 ,  G06F8/36 ,  G06F8/38

摘要： Techniques for searching for a user interface (UI) are provided. The techniques include receiving a desired user interface as a query, determining meta-data for the desired user interface, wherein determining the meta-data for the desired user interface comprises converting the desired user interface query to a meta-data query, and using the meta-data query to search for the desired user interface, wherein searching for the desired user interface comprises querying meta-data of one or more existing user interfaces and selecting one or more similar user interfaces.

摘要翻译： 提供了用于搜索用户界面（UI）的技术。 这些技术包括接收期望的用户界面作为查询，确定期望的用户界面的元数据，其中确定所需用户界面的元数据包括将期望的用户界面查询转换为元数据查询，并使用 元数据查询以搜索期望的用户界面，其中搜索期望的用户界面包括查询一个或多个现有用户界面的元数据并选择一个或多个类似的用户界面。

公开(公告)号：US08595236B2

公开(公告)日：2013-11-26

申请号：US12613179

申请日：2009-11-05

申请人： Anshu N. Jain ,  Senthil Mani ,  Vibha S. Sinha

发明人： Anshu N. Jain ,  Senthil Mani ,  Vibha S. Sinha

IPC分类号： G06F7/00 ,  G06F3/048 ,  G10L15/00

CPC分类号： G06F17/30997 ,  G06F8/36 ,  G06F8/38

摘要： Techniques for searching for a user interface (UI) are provided. The techniques include receiving a desired user interface as a query, determining meta-data for the desired user interface, wherein determining the meta-data for the desired user interface comprises converting the desired user interface query to a meta-data query, and using the meta-data query to search for the desired user interface, wherein searching for the desired user interface comprises querying meta-data of one or more existing user interfaces and selecting one or more similar user interfaces.

摘要翻译： 提供了用于搜索用户界面（UI）的技术。 这些技术包括接收期望的用户界面作为查询，确定期望的用户界面的元数据，其中确定所需用户界面的元数据包括将期望的用户界面查询转换为元数据查询，并使用 元数据查询以搜索期望的用户界面，其中搜索期望的用户界面包括查询一个或多个现有用户界面的元数据并选择一个或多个类似的用户界面。

公开(公告)号：US20110252406A1

公开(公告)日：2011-10-13

申请号：US12755600

申请日：2010-04-07

申请人： Mangala Gowri ,  Senthil Mani ,  Saurabh Sinha ,  Vibha S. Sinha

发明人： Mangala Gowri ,  Senthil Mani ,  Saurabh Sinha ,  Vibha S. Sinha

IPC分类号： G06F9/44

CPC分类号： G06F11/3608 ,  G06F8/35

摘要： Techniques for facilitating use of a transformer are provided. The techniques include analyzing code of a transformer to compute one or more exception constraints and one or more output constraints, translating the one or more exception constraints and one or more output constraints to state them in terms of one or more input and output meta-model elements, wherein translating the one or more exception constraints and one or more output constraints comprises inferring one or more transformer rules in terms of vocabulary of a meta-model, wherein a transformer rule comprises one of a verification rule and a comprehension rule, and using the one or more inferred transformer rules to facilitate use of a transformer, wherein facilitating use of a transformer comprises supporting model verification and transform comprehension.

摘要翻译： 提供了便于使用变压器的技术。 这些技术包括分析变压器的代码以计算一个或多个异常约束和一个或多个输出约束，将一个或多个异常约束和一个或多个输出约束转换为根据一个或多个输入和输出元模型来陈述它们 元素，其中翻译所述一个或多个异常约束和一个或多个输出约束包括根据元模型的词汇推断一个或多个变换器规则，其中变换器规则包括验证规则和理解规则之一，并且使用 一个或多个推断的变压器规则以便于使用变压器，其中促进变压器的使用包括支持模型验证和变换理解。