公开(公告)号：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.

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

公开(公告)号：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.

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

公开(公告)号：US20110099470A1

公开(公告)日：2011-04-28

申请号：US12605689

申请日：2009-10-26

申请人： Rema Ananthanarayanan ,  Kathleen Byrnes ,  Charbak Chatterjee ,  Maharshi H. Desai ,  Pankaj Dhoolia ,  Sweefen Goh ,  Richard T. Goodwin ,  Mangala Gowri ,  Anca A. Ivan ,  Juhnyoung Lee ,  Senthil Kk Mani ,  Pietro Mazzoleni ,  Rakesh Mohan ,  Debdoot Mukherjee ,  Aubrey J. Rembert ,  Gerhard Sigl ,  Manas R. Kumar Singh ,  Vibha S. Sinha ,  Biplav Srivastava

发明人： Rema Ananthanarayanan ,  Kathleen Byrnes ,  Charbak Chatterjee ,  Maharshi H. Desai ,  Pankaj Dhoolia ,  Sweefen Goh ,  Richard T. Goodwin ,  Mangala Gowri ,  Anca A. Ivan ,  Juhnyoung Lee ,  Senthil Kk Mani ,  Pietro Mazzoleni ,  Rakesh Mohan ,  Debdoot Mukherjee ,  Aubrey J. Rembert ,  Gerhard Sigl ,  Manas R. Kumar Singh ,  Vibha S. Sinha ,  Biplav Srivastava

IPC分类号： G06F9/44 ,  G06F17/00

CPC分类号： G06F8/36

摘要： Harvesting assets for packaged application practices, in one aspect, may include obtaining one or more work products associated with deployment of packaged software applications, extracting content and style, enhancing content and style with models of work products, and storing assets in asset repository.

摘要翻译： 包装应用实践的收获资产在一个方面可能包括获得与部署包装的软件应用程序相关联的一个或多个工作产品，提取内容和样式，使用工作产品模型增强内容和样式，以及将资产存储在资产库中。

公开(公告)号：US08234570B2

公开(公告)日：2012-07-31

申请号：US12605689

申请日：2009-10-26

申请人： Rema Ananthanarayanan ,  Kathleen Byrnes ,  Charbak Chatterjee ,  Maharshi Desai ,  Pankaj Dhoolia ,  Sweefen Goh ,  Richard T. Goodwin ,  Mangala Gowri ,  Anca A. Ivan ,  Juhnyoung Lee ,  Senthil Kk Mani ,  Pietro Mazzoleni ,  Rakesh Mohan ,  Debdoot Mukherjee ,  Aubrey J. Rembert ,  Gerhard Sigl ,  Manas R. Kumar Singh ,  Vibha S. Sinha ,  Biplav Srivastava

发明人： Rema Ananthanarayanan ,  Kathleen Byrnes ,  Charbak Chatterjee ,  Maharshi Desai ,  Pankaj Dhoolia ,  Sweefen Goh ,  Richard T. Goodwin ,  Mangala Gowri ,  Anca A. Ivan ,  Juhnyoung Lee ,  Senthil Kk Mani ,  Pietro Mazzoleni ,  Rakesh Mohan ,  Debdoot Mukherjee ,  Aubrey J. Rembert ,  Gerhard Sigl ,  Manas R. Kumar Singh ,  Vibha S. Sinha ,  Biplav Srivastava

IPC分类号： G06F15/00 ,  G06F9/44

CPC分类号： G06F8/36

摘要： Harvesting assets for packaged application practices, in one aspect, may include obtaining one or more work products associated with deployment of packaged software applications, extracting content and style, enhancing content and style with models of work products, and storing assets in asset repository.

摘要翻译： 包装应用实践的收获资产在一个方面可能包括获得与部署包装的软件应用程序相关联的一个或多个工作产品，提取内容和样式，使用工作产品模型增强内容和样式，以及将资产存储在资产库中。

公开(公告)号：US20110167070A1

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

申请号：US12652978

申请日：2010-01-06

申请人： Rema Ananthanarayanan ,  Manisha D. Bhandar ,  Kathleen Byrnes ,  Charbak Chatterjee ,  Shyhkwei Chen ,  Maharshi Desai ,  Pankaj Dhoolia ,  Sweefen Goh ,  Richard T. Goodwin ,  Mangala Gowri ,  Anca A. Ivan ,  Juhnyoung Lee ,  Senthil Kk Mani ,  Pietro Mazzoleni ,  Rakesh Mohan ,  Debdoot Mukherjee ,  Aubrey J. Rembert ,  Gerhard Sigl ,  Manas R. Kumar Singh ,  Vibha S. Sinha ,  Biplav Srivastava

发明人： Rema Ananthanarayanan ,  Manisha D. Bhandar ,  Kathleen Byrnes ,  Charbak Chatterjee ,  Shyhkwei Chen ,  Maharshi Desai ,  Pankaj Dhoolia ,  Sweefen Goh ,  Richard T. Goodwin ,  Mangala Gowri ,  Anca A. Ivan ,  Juhnyoung Lee ,  Senthil Kk Mani ,  Pietro Mazzoleni ,  Rakesh Mohan ,  Debdoot Mukherjee ,  Aubrey J. Rembert ,  Gerhard Sigl ,  Manas R. Kumar Singh ,  Vibha S. Sinha ,  Biplav Srivastava

IPC分类号： G06F17/30

CPC分类号： G06Q10/10

摘要： Reusing assets for packaged software application configurations may include defining one or more query criteria based on information associated with a project, querying an asset repository stored in a storage device using the one or more query criteria, receiving a list of one or more assets from the asset repository in response to the querying, and using the one or more assets on the list to compose a document defining deployment procedures associated with deploying a packaged software application.

摘要翻译： 重新使用用于打包软件应用程序配置的资产可以包括基于与项目相关联的信息来定义一个或多个查询条件，使用一个或多个查询标准查询存储在存储设备中的资产库，从所述资源库中接收一个或多个资产的列表 资产存储库以响应查询，并使用列表中的一个或多个资产来组成定义与部署打包的软件应用程序相关联的部署过程的文档。

公开(公告)号：US20100333069A1

公开(公告)日：2010-12-30

申请号：US12493511

申请日：2009-06-29

申请人： Satish Chandra ,  Pankaj Dhoolia ,  Mangala Gowri ,  Monika Gupta ,  Rudrapatna Shyamasundar ,  Saurabh Sinha

发明人： Satish Chandra ,  Pankaj Dhoolia ,  Mangala Gowri ,  Monika Gupta ,  Rudrapatna Shyamasundar ,  Saurabh Sinha

IPC分类号： G06F9/44

CPC分类号： G06F8/75

摘要： Techniques for static code analysis are provided. The techniques include routing a code analysis request to a set of one or more static code analysis tools based on a context of the request, merging one or more tool-specific outputs of the code analysis, wherein merging the one or more tool-specific outputs comprises using one or more tool-specific mappings to one or more static code analysis abstractions and one or more source linkages of one or more static code analysis defects, performing a deep analysis on a set of one or more defect categories, and combining results of the merging with the deep analysis to filter out one or more false-positives and to add one or more new true positives to create an optimal set of defects.

摘要翻译： 提供静态代码分析技术。 这些技术包括基于请求的上下文将代码分析请求路由到一个或多个静态代码分析工具的集合，合并代码分析的一个或多个特定于工具的输出，其中合并一个或多个工具特定的输出 包括对一个或多个静态代码分析抽象和一个或多个静态代码分析缺陷的一个或多个源链接使用一个或多个特定于工具的映射，对一组或多个缺陷类别进行深度分析，以及将 与深入的分析相结合，过滤出一个或多个假阳性，并添加一个或多个新的真阳性来创建一组最佳的缺陷。