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.

Date of Patent:
Jun. 25, 2019

Filed:

Apr. 05, 2017
Applicant:

International Business Machines Corporation, Armonk, NY (US);

Inventors:

Yusuke Kobayashi, Narashino, JP;

Kiyonori Komiya, Kawasaki, JP;

Takashi Nerome, Yokohama, JP;

Shuhichi Saitoh, Funabashi, JP;

Toshiaki Yasue, Sagamihara, JP;

Attorneys:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 8/20 (2018.01); G06F 8/10 (2018.01); G06F 8/35 (2018.01);
U.S. Cl.
CPC ...
G06F 8/20 (2013.01); G06F 8/10 (2013.01); G06F 8/35 (2013.01);
Abstract

Automatic verification of changes in a UML model made based on a change plan using a learning mode and a verification mode. In the learning mode, UML model differences are obtained between the UML model prior to the change and after the change, difference mapping is defined and a mapping metamodel is automatically extracted from the difference mapping. In the verification mode, planned difference mapping is created based on applying the mapping metamodel in the learning mode to a design change plan. Actual difference mapping based on the design change work is created and the planned difference mapping is compared to the actual difference mapping to see if additional changes to the mapping metamodel are needed.


Find Patent Forward Citations

Loading…