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:
Oct. 18, 2011
Filed:
Mar. 14, 2008
Jana Koehler, Oberrieden, CH;
Jochen M. Kuester, Zürich, CH;
Ksenia Ryndina, Zürich, CH;
Jussi H. Vanhatalo, Zürich, CH;
Michael S. Wahler, Zürich, CH;
Olaf W. Zimmermann, Zürich, CH;
Jana Koehler, Oberrieden, CH;
Jochen M. Kuester, Zürich, CH;
Ksenia Ryndina, Zürich, CH;
Jussi H. Vanhatalo, Zürich, CH;
Michael S. Wahler, Zürich, CH;
Olaf W. Zimmermann, Zürich, CH;
International Business Machines Corporation, Armonk, NY (US);
Abstract
Techniques for composition of model transformations from a predetermined set of model transformations. A state machine is provided in memory. The states are defined in the state machine in terms of predetermined model attributes. In response to specification of a target state for an input model to be transformed, an execution sequence in the state machine, between a start state corresponding to the input model and an end state corresponding to the specified target state, is selected. Each transformation in the selected sequence is then successively executed on the input model. After executing each transformation in the selected sequence, the transformed input model state is compared to the model state defined in the state machine to determine if the selected sequence is inoperable for the input model. If so, an alternative execution sequence in the state machine, between the input model state and the specified target state, is selected.