Patents by Inventor Ksenia Ryndina
Ksenia Ryndina has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 8166453Abstract: A method and system for inconsistency resolution in a model-driven software development environment are provided. A method includes performing a safety analysis for resolutions in response to detected inconsistencies to determine whether the resolution, if implemented, will lead to a resolution cycle when applied to a given inconsistency. The determination includes processing a resolution tree for the inconsistency and, using a resolution strategy tree, for each resolution that resolves an inconsistency, analyzing whether beginning with the resolution, it is possible to resolve all the inconsistencies subsequently introduced as side effects without a resolution cycle occurring. The analysis includes traversing the resolution strategy tree, whereby all resolution strategies derived by traversing the resolution strategy tree lead to a resolution cycle if the resolution strategy tree is infinite.Type: GrantFiled: January 21, 2008Date of Patent: April 24, 2012Assignee: International Business Machines CorporationInventors: Jochen M. Kuester, Ksenia Ryndina
-
Patent number: 8056050Abstract: A method and system for guided resolution of inter-model inconsistencies are provided. A method includes grouping inconsistencies, detected as a result of a model-driven software development process, into model partitions within a list by analyzing relationships between the underlying models and identifying model partitions that are capable of being processed independently from one another during a resolution process. The method also includes assigning priorities to models that contribute to the detected inconsistencies and inconsistency types. The method further includes reordering the list of inconsistencies to minimize the number of context switches during the resolution process and presenting, via a user interface screen, a listing of the inconsistencies and associated resolutions resulting from the reordering to the user at a client system. The user applies a selected resolution for each of the inconsistencies.Type: GrantFiled: January 21, 2008Date of Patent: November 8, 2011Assignee: International Business Machines CorporationInventors: Jochen M. Kuester, Ksenia Ryndina
-
Patent number: 8042091Abstract: 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.Type: GrantFiled: March 14, 2008Date of Patent: October 18, 2011Assignee: International Business Machines CorporationInventors: Jana Koehler, Jochen M. Kuester, Ksenia Ryndina, Jussi H. Vanhatalo, Michael S. Wahler, Olaf W. Zimmermann
-
Patent number: 7703071Abstract: A method for modeling business transformation includes steps of: constructing a first analysis model based on at least one legacy-business-process-model; and analyzing the first analysis model in conjunction with at least one business-process-reference-model. The method further includes deriving a second analysis model in response to analyzing the first analysis model in conjunction with the at least one business-process-reference-model and refining the second analysis model to obtain a design model.Type: GrantFiled: April 13, 2006Date of Patent: April 20, 2010Assignee: International Business Machines CorporationInventors: Jochen M Kuester, Jana Koehler, Ksenia Ryndina, Rainer F Hauser, Jussi Vanhatalo, Michael Wahler
-
Publication number: 20090187883Abstract: A method and system for guided resolution of inter-model inconsistencies are provided. A method includes grouping inconsistencies, detected as a result of a model-driven software development process, into model partitions within a list by analyzing relationships between the underlying models and identifying model partitions that are capable of being processed independently from one another during a resolution process. The method also includes assigning priorities to models that contribute to the detected inconsistencies and inconsistency types. The method further includes reordering the list of inconsistencies to minimize the number of context switches during the resolution process and presenting, via a user interface screen, a listing of the inconsistencies and associated resolutions resulting from the reordering to the user at a client system. The user applies a selected resolution for each of the inconsistencies.Type: ApplicationFiled: January 21, 2008Publication date: July 23, 2009Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Jochen M. Kuester, Ksenia Ryndina
-
Publication number: 20090187889Abstract: A method and system for inconsistency resolution in a model-driven software development environment are provided. A method includes performing a safety analysis for resolutions in response to detected inconsistencies to determine whether the resolution, if implemented, will lead to a resolution cycle when applied to a given inconsistency. The determination includes processing a resolution tree for the inconsistency and, using a resolution strategy tree, for each resolution that resolves an inconsistency, analyzing whether beginning with the resolution, it is possible to resolve all the inconsistencies subsequently introduced as side effects without a resolution cycle occurring. The analysis includes traversing the resolution strategy tree, whereby all resolution strategies derived by traversing the resolution strategy tree lead to a resolution cycle if the resolution strategy tree is infinite.Type: ApplicationFiled: January 21, 2008Publication date: July 23, 2009Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Jochen M. Kuester, Ksenia Ryndina
-
Publication number: 20090150860Abstract: A system for combining quality assurance and model transformations in a business-driven development environment includes a host system executing a business modeling application, a transformation framework including a transformation programming interface (TPI) and a quality assurance framework executing on top of the business modeling application, and a plurality of transformation plug-in tools in communication with the TPI. The TPI includes options for model access and traversal, model element creation/removal, model element property editing and analysis. The options are applied to the transformations, via the selected transformation plug-in tools, to a business model resulting in a modified business model that conforms to an information technology (IT)-based executable code.Type: ApplicationFiled: December 11, 2007Publication date: June 11, 2009Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Thomas Gschwind, Jana Koehler, Jochen M. Kuester, Ksenia Ryndina, Jussi H. Vanhatalo, Hagen Voelzer
-
Publication number: 20080229276Abstract: 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.Type: ApplicationFiled: March 14, 2008Publication date: September 18, 2008Inventors: Jana Koehler, Jochen M. Kuester, Ksenia Ryndina, Jussi H. Vanhatalo, Michael S. Wahler, Olaf W. Zimmermann
-
Publication number: 20070245297Abstract: A method and system for modeling business transformation. The method comprises constructing a first analysis model based on at least one legacy-business-process-model. Analyzing the first analysis model in conjunction with at least one business-process-reference-model. The method further comprises deriving a second analysis model in response to analyzing the first analysis model in conjunction with the at least one business-process-reference-model and refining the second analysis model to obtain a design model.Type: ApplicationFiled: April 13, 2006Publication date: October 18, 2007Applicant: International Business Machines CorporationInventors: Jochen Kuester, Jana Koehler, Ksenia Ryndina, Rainer Hauser, Jussi Vanhatalo, Michael Wahler