专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08042091B2 Automatic composition of model transformations 失效
标题翻译：自动组合模型转换
公开(公告)号：US08042091B2
公开(公告)日：2011-10-18
申请号：US12049241
申请日：2008-03-14
申请人： Jana Koehler , Jochen M. Kuester , Ksenia Ryndina , Jussi H. Vanhatalo , Michael S. Wahler , Olaf W. Zimmermann
发明人： Jana Koehler , Jochen M. Kuester , Ksenia Ryndina , Jussi H. Vanhatalo , Michael S. Wahler , Olaf W. Zimmermann
IPC分类号： G06F9/44
CPC分类号： G06F8/35
摘要： 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.
摘要翻译：用于从预定的一组模型变换组合模型变换的技术。内存中提供状态机。在状态机中根据预定的模型属性定义状态。响应于要变换的输入模型的目标状态的指定，选择状态机中的与输入模型相对应的开始状态与对应于指定目标状态的结束状态之间的执行顺序。然后在输入模型上连续执行所选序列中的每个变换。在所选序列中执行每个变换之后，将转换的输入模型状态与状态机中定义的模型状态进行比较，以确定所选序列是否不能用于输入模型。如果是，则选择在状态机中的输入模型状态和指定的目标状态之间的替代执行序列。

2. 发明授权

US07703071B2 Method for modeling business transformation 有权
标题翻译：业务转型建模方法
公开(公告)号：US07703071B2
公开(公告)日：2010-04-20
申请号：US11403663
申请日：2006-04-13
申请人： Jochen M Kuester , Jana Koehler , Ksenia Ryndina , Rainer F Hauser , Jussi Vanhatalo , Michael Wahler
发明人： Jochen M Kuester , Jana Koehler , Ksenia Ryndina , Rainer F Hauser , Jussi Vanhatalo , Michael Wahler
IPC分类号： G06F9/44
CPC分类号： G06Q10/067 , G06F8/10 , G06Q10/00 , G06Q10/0633 , G06Q10/0637
摘要： 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.
摘要翻译：一种用于对业务转型进行建模的方法包括以下步骤：基于至少一个遗留业务流程模型构建第一分析模型; 并结合至少一个业务流程参考模型分析第一个分析模型。所述方法还包括：响应于结合所述至少一个业务处理参考模型分析所述第一分析模型并提炼所述第二分析模型以获得设计模型，导出第二分析模型。

3. 发明申请

US20090187883A1 METHOD AND SYSTEM FOR GUIDED INCONSISTENCY RESOLUTION IN A MODEL-DRIVEN SOFTWARE ENVIRONMENT 失效
标题翻译：在模拟驱动软件环境中引导不确定性分解的方法和系统
公开(公告)号：US20090187883A1
公开(公告)日：2009-07-23
申请号：US12017133
申请日：2008-01-21
申请人： Jochen M. Kuester , Ksenia Ryndina
发明人： Jochen M. Kuester , Ksenia Ryndina
IPC分类号： G06F9/44
CPC分类号： G06F9/4494
摘要： 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.
摘要翻译：提供了一种引导解决模型间不一致的方法和系统。一种方法包括通过分析底层模型之间的关系并且识别能够在解决过程中彼此独立地处理的模型分区来将通过模型驱动的软件开发过程的结果检测到的不一致性分组到列表内的模型分区中。该方法还包括为有助于检测到的不一致性和不一致性类型的模型分配优先级。该方法还包括重新排序不一致的列表，以在解决过程期间最小化上下文切换的数量，并且经由用户界面屏幕呈现由客户端系统上的用户重新排序导致的不一致性和相关联的分辨率的列表。用户为每个不一致应用选定的分辨率。

4. 发明授权

US08166453B2 Method and system for inconsistency resolution with cycle detection in a model-driven software environment 失效
标题翻译：在模型驱动的软件环境中具有循环检测的不一致性解决方法和系统
公开(公告)号：US08166453B2
公开(公告)日：2012-04-24
申请号：US12017139
申请日：2008-01-21
申请人： Jochen M. Kuester , Ksenia Ryndina
发明人： Jochen M. Kuester , Ksenia Ryndina
IPC分类号： G06F9/44 , G06F9/45 , G06Q10/00 , G05B13/02
CPC分类号： G06F8/10 , G06Q10/067
摘要： 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. The method includes categorizing the resolution that resolves the inconsistency and applying a resolution for the inconsistency based upon the resolution category.
摘要翻译：提供了一种模型驱动软件开发环境中不一致解决的方法和系统。一种方法包括响应于检测到的不一致来执行分辨率的安全性分析，以确定当应用于给定的不一致性时，分辨率是否被实现将导致分辨率周期。该决定包括处理不一致性的分辨率树，并且使用分辨率策略树针对解决不一致性的每个分辨率，分析是否从分辨率开始，可以解决随后被引入的不具有分辨率周期的副作用的所有不一致发生。分析包括遍历分辨率策略树，由此通过遍历分辨率策略树导出的所有分辨率策略导致分辨率策略树无限大的分辨率周期。该方法包括对解决方案的不一致性进行分类，并根据分辨率类别对不一致性进行分辨。

5. 发明授权

US08056050B2 Method and system for guided inconsistency resolution in a model-driven software environment 失效
标题翻译：在模型驱动的软件环境中引导不一致性解决的方法和系统
公开(公告)号：US08056050B2
公开(公告)日：2011-11-08
申请号：US12017133
申请日：2008-01-21
申请人： Jochen M. Kuester , Ksenia Ryndina
发明人： Jochen M. Kuester , Ksenia Ryndina
IPC分类号： G06F9/44 , G06F9/45 , G05B13/02 , G06Q10/00
CPC分类号： G06F9/4494
摘要： 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.
摘要翻译：提供了一种引导解决模型间不一致的方法和系统。一种方法包括通过分析底层模型之间的关系并且识别能够在解决过程中彼此独立地处理的模型分区来将通过模型驱动的软件开发过程的结果检测到的不一致性分组到列表内的模型分区中。该方法还包括为有助于检测到的不一致性和不一致性类型的模型分配优先级。该方法还包括重新排序不一致的列表，以在解决过程期间最小化上下文切换的数量，并且经由用户界面屏幕呈现由客户端系统上的用户重新排序导致的不一致性和相关联的分辨率的列表。用户为每个不一致应用选定的分辨率。

6. 发明申请

US20090150860A1 METHOD AND SYSTEM FOR COMBINING QUALITY ASSURANCE AND MODEL TRANSFORMATIONS IN A BUSINESS-DRIVEN DEVELOPMENT ENVIRONMENT 审中-公开
标题翻译：在业务发展环境中组合质量保证和模型转换的方法和系统
公开(公告)号：US20090150860A1
公开(公告)日：2009-06-11
申请号：US11953971
申请日：2007-12-11
申请人： Thomas Gschwind , Jana Koehler , Jochen M. Kuester , Ksenia Ryndina , Jussi H. Vanhatalo , Hagen Voelzer
发明人： Thomas Gschwind , Jana Koehler , Jochen M. Kuester , Ksenia Ryndina , Jussi H. Vanhatalo , Hagen Voelzer
IPC分类号： G06F9/44
CPC分类号： G06Q10/06
摘要： 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. The quality assurance framework performs single-entry-single-exit (SESE) fragment decomposition of the modified business model, control-flow analysis, and notification to the user of any detected error conditions, the notification presented to the user with the modified business model via the TPI.
摘要翻译：用于在业务驱动的开发环境中组合质量保证和模型转换的系统包括执行业务建模应用的主机系统，包括转换编程接口（TPI）的转换框架以及在业务建模应用之上执行的质量保证框架以及与TPI通信的多个变换插件工具。 TPI包括模型访问和遍历，模型元素创建/删除，模型元素属性编辑和分析的选项。这些选项通过选定的转换插件工具应用于转换，从而产生符合基于信息技术（IT）的可执行代码的经过修改的业务模型。质量保证框架对修改的业务模型，控制流分析和任何检测到的错误条件的用户通知进行单进入单出口（SESE）片段分解，向修改后的业务模型呈现给用户的通知通过TPI。

7. 发明申请

US20090187889A1 METHOD AND SYSTEM FOR INCONSISTENCY RESOLUTION WITH CYCLE DETECTION IN A MODEL-DRIVEN SOFTWARE ENVIRONMENT 失效
标题翻译：用于在模拟驱动软件环境中进行循环检测的不确定性分解的方法和系统
公开(公告)号：US20090187889A1
公开(公告)日：2009-07-23
申请号：US12017139
申请日：2008-01-21
申请人： Jochen M. Kuester , Ksenia Ryndina
发明人： Jochen M. Kuester , Ksenia Ryndina
IPC分类号： G06F9/44
CPC分类号： G06F8/10 , G06Q10/067
摘要： 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. The method includes categorizing the resolution that resolves the inconsistency and applying a resolution for the inconsistency based upon the resolution category.
摘要翻译：提供了一种模型驱动软件开发环境中不一致解决的方法和系统。一种方法包括响应于检测到的不一致来执行分辨率的安全性分析，以确定当应用于给定的不一致性时，分辨率是否被实现将导致分辨率周期。该决定包括处理不一致性的分辨率树，并且使用分辨率策略树针对解决不一致性的每个分辨率，分析是否从分辨率开始，可以解决随后被引入的不具有分辨率周期的副作用的所有不一致发生。分析包括遍历分辨率策略树，由此通过遍历分辨率策略树导出的所有分辨率策略导致分辨率策略树无限大的分辨率周期。该方法包括对解决方案的不一致性进行分类，并根据分辨率类别对不一致性进行分辨。

8. 发明申请

US20080229276A1 AUTOMATIC COMPOSITION OF MODEL TRANSFORMATIONS 失效
标题翻译：模型变换的自动组合
公开(公告)号：US20080229276A1
公开(公告)日：2008-09-18
申请号：US12049241
申请日：2008-03-14
申请人： Jana Koehler , Jochen M. Kuester , Ksenia Ryndina , Jussi H. Vanhatalo , Michael S. Wahler , Olaf W. Zimmermann
发明人： Jana Koehler , Jochen M. Kuester , Ksenia Ryndina , Jussi H. Vanhatalo , Michael S. Wahler , Olaf W. Zimmermann
IPC分类号： G06F9/44
CPC分类号： G06F8/35
摘要： 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.
摘要翻译：用于从预定的一组模型变换组合模型变换的技术。内存中提供状态机。在状态机中根据预定的模型属性定义状态。响应于要变换的输入模型的目标状态的指定，选择状态机中的与输入模型相对应的开始状态与对应于指定目标状态的结束状态之间的执行顺序。然后在输入模型上连续执行所选序列中的每个变换。在所选序列中执行每个变换之后，将转换的输入模型状态与状态机中定义的模型状态进行比较，以确定所选序列是否不能用于输入模型。如果是，则选择在状态机中的输入模型状态和指定的目标状态之间的替代执行序列。

9. 发明申请

US20070245297A1 Method and a system for modeling business transformation 有权
标题翻译：方法和业务转型建模系统
公开(公告)号：US20070245297A1
公开(公告)日：2007-10-18
申请号：US11403663
申请日：2006-04-13
申请人： Jochen Kuester , Jana Koehler , Ksenia Ryndina , Rainer Hauser , Jussi Vanhatalo , Michael Wahler
发明人： Jochen Kuester , Jana Koehler , Ksenia Ryndina , Rainer Hauser , Jussi Vanhatalo , Michael Wahler
IPC分类号： G06F9/44
CPC分类号： G06Q10/067 , G06F8/10 , G06Q10/00 , G06Q10/0633 , G06Q10/0637
摘要： 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.
摘要翻译：一种用于建模业务转型的方法和系统。该方法包括基于至少一个遗留业务处理模型构建第一分析模型。结合至少一个业务流程参考模型分析第一个分析模型。所述方法还包括：响应于结合所述至少一个业务处理参考模型分析所述第一分析模型并提炼所述第二分析模型以获得设计模型，导出第二分析模型。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式