The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 23, 2013
Filed:
Apr. 07, 2010
Mangala Gowri, New Delhi, IN;
Senthil Mani, Haryana, IN;
Saurabh Sinha, New Delhi, IN;
Vibha S. Sinha, New Delhi, IN;
Mangala Gowri, New Delhi, IN;
Senthil Mani, Haryana, IN;
Saurabh Sinha, New Delhi, IN;
Vibha S. Sinha, New Delhi, IN;
International Business Machines Corporation, Armonk, NY (US);
Abstract
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.