会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明申请
    • FACILITATING USE OF MODEL TRANSFORMATIONS
    • 促进模型变换的使用
    • US20110252406A1
    • 2011-10-13
    • US12755600
    • 2010-04-07
    • Mangala GowriSenthil ManiSaurabh SinhaVibha S. Sinha
    • Mangala GowriSenthil ManiSaurabh SinhaVibha S. Sinha
    • G06F9/44
    • G06F11/3608G06F8/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.
    • 提供了便于使用变压器的技术。 这些技术包括分析变压器的代码以计算一个或多个异常约束和一个或多个输出约束,将一个或多个异常约束和一个或多个输出约束转换为根据一个或多个输入和输出元模型来陈述它们 元素,其中翻译所述一个或多个异常约束和一个或多个输出约束包括根据元模型的词汇推断一个或多个变换器规则,其中变换器规则包括验证规则和理解规则之一,并且使用 一个或多个推断的变压器规则以便于使用变压器,其中促进变压器的使用包括支持模型验证和变换理解。
    • 5. 发明授权
    • Facilitating use of model transformations
    • 促进使用模型转换
    • US08495580B2
    • 2013-07-23
    • US12755600
    • 2010-04-07
    • Mangala GowriSenthil ManiSaurabh SinhaVibha S. Sinha
    • Mangala GowriSenthil ManiSaurabh SinhaVibha S. Sinha
    • G06F9/45
    • G06F11/3608G06F8/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.
    • 提供了便于使用变压器的技术。 这些技术包括分析变压器的代码以计算一个或多个异常约束和一个或多个输出约束,将一个或多个异常约束和一个或多个输出约束转换为根据一个或多个输入和输出元模型来陈述它们 元素,其中翻译所述一个或多个异常约束和一个或多个输出约束包括根据元模型的词汇推断一个或多个变换器规则,其中变换器规则包括验证规则和理解规则之一,并且使用 一个或多个推断的变压器规则以便于使用变压器,其中促进变压器的使用包括支持模型验证和变换理解。