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

1. 发明申请

US20070299705A1 METHOD AND APPARATUS FOR OBSERVATION MODEL VALIDATION 审中-公开
标题翻译：观察模型验证的方法和装置
公开(公告)号：US20070299705A1
公开(公告)日：2007-12-27
申请号：US11741385
申请日：2007-04-27
申请人： Shyh-Kwei Chen , Joachim Frank , Jana Koehler , Hui Lei , Michael Wahler
发明人： Shyh-Kwei Chen , Joachim Frank , Jana Koehler , Hui Lei , Michael Wahler
IPC分类号： G06F9/44
CPC分类号： G06F11/3684 , G06Q10/06 , G06Q10/063
摘要： A method and apparatus are provided for validating an observation model. The apparatus includes an observation model separator configured to receive the observation model and identify a constraint applicable to the observation model. The apparatus further includes a validation algorithm processor configured to classify the applicable constraint and validate the observation model dependent on the constraint category of the applicable constraint.
摘要翻译：提供了一种用于验证观察模型的方法和装置。该装置包括：观察模型分离器，被配置为接收观测模型并识别适用于观测模型的约束。该装置还包括验证算法处理器，其被配置为根据可应用约束的约束类别对可应用的约束进行分类并验证观测模型。

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. 发明申请

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.
摘要翻译：一种用于建模业务转型的方法和系统。该方法包括基于至少一个遗留业务处理模型构建第一分析模型。结合至少一个业务流程参考模型分析第一个分析模型。所述方法还包括：响应于结合所述至少一个业务处理参考模型分析所述第一分析模型并提炼所述第二分析模型以获得设计模型，导出第二分析模型。

4. 发明申请

US20050091093A1 End-to-end business process solution creation 审中-公开
标题翻译：端到端业务流程解决方案创建
公开(公告)号：US20050091093A1
公开(公告)日：2005-04-28
申请号：US10692898
申请日：2003-10-24
申请人： Kumar Bhaskaran , Stephen Buckley , Nathan Caswell , Hung-Yang Chang , Joachim Frank , Rainer Hauser , Ying Huang , Shubir Kapoor , Jana Koehler , Santhosh Kumaran , Prabir Nandi , Anil Nigam , Zhong Tian , Jian Wang , Frederick Wu , Jun Zhu
发明人： Kumar Bhaskaran , Stephen Buckley , Nathan Caswell , Hung-Yang Chang , Joachim Frank , Rainer Hauser , Ying Huang , Shubir Kapoor , Jana Koehler , Santhosh Kumaran , Prabir Nandi , Anil Nigam , Zhong Tian , Jian Wang , Frederick Wu , Jun Zhu
IPC分类号： G06Q10/00 , G06F17/60
CPC分类号： G06Q10/0637 , G06Q10/06 , G06Q10/06393
摘要： A system and method for creating and managing a business process integration solution comprises modeling a business strategy including elements representing business measurements and initiatives according to defined business goals and objectives of an entity; modeling business operations of the entity in terms of business process elements including process tasks, artifact flows and artifact repositories, and business commitment elements including incorporating key performance indicators; mapping elements of the strategy model with artifact and process elements of the operations model; and, measuring business performance and comparing performance measurements against the key performance indicators. The business strategy and operation model process elements may be continuously refined over a solution development lifecycle as a result of process measurements and comparing. A business level modeling language is further implemented for formally representing the business operations.
摘要翻译：用于创建和管理业务流程集成解决方案的系统和方法包括根据实体的定义的业务目标和目标对业务战略建模，包括表示业务测量和举措的元素; 对包括流程任务，工件流和工件存储库在内的业务流程元素以及业务承诺元素（包括关键绩效指标）进行业务流程元素的业务运营建模; 使用操作模型的工件和过程元素映射策略模型的元素; 并衡量业务绩效，并将性能测量与主要绩效指标进行比较。作为过程测量和比较的结果，可以在解决方案开发生命周期中持续改进业务战略和操作模型流程元素。进一步实施业务级建模语言，以正式表示业务操作。

5. 发明授权

US08302071B2 Method of automatic pattern based editing of business models 失效
标题翻译：商业模式自动模式编辑方法
公开(公告)号：US08302071B2
公开(公告)日：2012-10-30
申请号：US12182682
申请日：2008-07-30
申请人： Thomas Gschwind , Jana Koehler , Jochen M. Kuester , Michael S. Wahler
发明人： Thomas Gschwind , Jana Koehler , Jochen M. Kuester , Michael S. Wahler
IPC分类号： G06F9/44
CPC分类号： G06Q10/06
摘要： A method of automatic pattern based editing of business models on a canvas of business model editing application includes receiving a request to automatically edit a business model, constructing an initial current set C of elements from the business model, constructing an initial next set N of elements from the business model, and connecting elements between the initial current set C and the initial next set N until all elements in both the initial current set C and the initial next set N have been connected. The connecting is based on at least connecting elements sequentially if the elements exist from left to right on the canvas, and connecting elements in parallel or using a decision and merge combination if the elements exist from top to bottom on the canvas.
摘要翻译：在业务模型编辑应用的画布上自动基于模式的商业模型编辑的方法包括接收自动编辑业务模型的请求，从业务模型构建元素的初始当前集合C，构建初始的下一组元素N的元素并且连接初始当前集合C和初始下一集合N之间的元素，直到初始当前集合C和初始下一集合N中的所有元素都被连接。如果元素在画布上从左到右存在，则连接至少依次连接元素，并且如果元素在画布上从上到下存在，则并行连接元素或使用决策和合并组合。

6. 发明授权

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.
摘要翻译：用于从预定的一组模型变换组合模型变换的技术。内存中提供状态机。在状态机中根据预定的模型属性定义状态。响应于要变换的输入模型的目标状态的指定，选择状态机中的与输入模型相对应的开始状态与对应于指定目标状态的结束状态之间的执行顺序。然后在输入模型上连续执行所选序列中的每个变换。在所选序列中执行每个变换之后，将转换的输入模型状态与状态机中定义的模型状态进行比较，以确定所选序列是否不能用于输入模型。如果是，则选择在状态机中的输入模型状态和指定的目标状态之间的替代执行序列。

7. 发明授权

US08332254B2 Automatic insertion point identification in model merging operations 失效
标题翻译：模型合并操作中自动插入点识别
公开(公告)号：US08332254B2
公开(公告)日：2012-12-11
申请号：US12079677
申请日：2008-03-28
申请人： Christian Facciorusso , Felix Feger , Jana Koehler , Jochen M. Kuester
发明人： Christian Facciorusso , Felix Feger , Jana Koehler , Jochen M. Kuester
IPC分类号： G06Q10/00
CPC分类号： G06F17/5036 , G06F8/20 , G06Q10/00
摘要： Methods and systems are provided for automatic identification of an insertion point. Comparison defining the correspondence between elements of models is done. The sequence order of elements in the second model is analyzed to identify predecessor and successor elements of the element t. The comparison is used to identify a set of transferred predecessors (Ptrans), comprising elements of the first model which correspond to predecessor elements (PS) in the second model, and a set of transferred successors (Strans) comprising elements of the first model which correspond to successor elements (SS) in the second model. Then, positions of the elements x, y in the sequence order of the first model are compared with the positions of elements in the sets of transferred predecessors and successors (Ptrans, Strans). An edge between the elements x and y is identified as an insertion point.
摘要翻译：提供了用于自动识别插入点的方法和系统。比较定义模型元素之间的对应关系。分析第二模型中元素的序列顺序，以识别元素t的前导元素和后继元素。比较用于识别一组转移的前辈（Ptrans），其包括与第二模型中的前辈元素（PS）相对应的第一模型的元素，以及包括第一模型的元素的一组转移后继（Strans），其中对应于第二模型中的后继元素（SS）。然后，将元素x，y以第一模型的顺序的位置与转移的前辈和后继集合中的元素的位置（Ptrans，Strans）进行比较。元素x和y之间的边缘被识别为插入点。

8. 发明授权

US08042092B2 Method for generating an executable workflow code from an unstructured cyclic process model 失效
标题翻译：从非结构化循环过程模型生成可执行工作流代码的方法
公开(公告)号：US08042092B2
公开(公告)日：2011-10-18
申请号：US12053664
申请日：2008-03-24
申请人： Jana Koehler , Rainer F. Hauser
发明人： Jana Koehler , Rainer F. Hauser
IPC分类号： G06F9/44
CPC分类号： G06F8/10 , G06Q10/0633 , G06Q10/067
摘要： A method for generating an executable workflow code from an unstructured cyclic process model. The method comprises the following steps. First a continuation equation system is generated from the unstructured cyclic process model. Then, the executable workflow code is generated from the continuation equation system, wherein therefore, the continuation equation system is solved by means of transformation rules.
摘要翻译：一种用于从非结构化循环过程模型生成可执行工作流代码的方法。该方法包括以下步骤。首先从非结构化循环过程模型生成连续方程组。然后，从连续方程式生成可执行工作流代码，因此，通过变换规则解决了连续方程式。

9. 发明申请

US20100079458A1 SYSTEM AND METHOD FOR HIERARCHICALLY DECOMPOSING PROCESS MODEL 失效
标题翻译：用于分层分解过程模型的系统和方法
公开(公告)号：US20100079458A1
公开(公告)日：2010-04-01
申请号：US12241195
申请日：2008-09-30
申请人： Jana Koehler , Simon Danie Moser , Jussi H. Vanhatalo , Hagen Voelzer
发明人： Jana Koehler , Simon Danie Moser , Jussi H. Vanhatalo , Hagen Voelzer
IPC分类号： G06T11/20
CPC分类号： G06T11/206 , G06T11/203 , G06T11/40
摘要： A system and associated method for hierarchically decomposing a workflow graph G into a process structure tree PST. The workflow graph G is a two-terminal graph parsed into a tree T having triconnected components. Boundary pairs of all triconnected components in T are computed and fragments are discovered with boundary pairs. T is restructured into PST pursuant to categories of triconnected components in T. PST is deterministic and modular. PST represents a block-based process model that has fine blocks of execution units. PST is computed in time linear to the number of edges in G.
摘要翻译：一种用于将工作流图G分层分解为过程结构树PST的系统和相关联的方法。工作流图G是解析成具有三连接分量的树T的两端图。计算T中所有三连体成分的边界对，并用边界对发现碎片。 T根据T.中三通连接组件的类别重组为PST。PST是确定性和模块化的。 PST表示具有执行单元的精细块的基于块的进程模型。 PST以与G中边缘数成线性关系计算。

10. 发明申请

US20090077511A1 Generating Constraints in a Class Model 审中-公开
标题翻译：在类模型中生成约束
公开(公告)号：US20090077511A1
公开(公告)日：2009-03-19
申请号：US12201828
申请日：2008-08-29
申请人： Michael S. Wahler , Jana Koehler
发明人： Michael S. Wahler , Jana Koehler
IPC分类号： G06F17/50
CPC分类号： G06F8/10 , G06F8/35
摘要： A method of generating code from a class model for a modeled system. The class model specifies a plurality of elements of a modeling language and dependencies between elements of a plurality of elements. In operations the method analyzes the class model to identify a first possible source of under-specification with respect to the modeled system in the class model by using pattern recognition to find an occurrence of a first problem pattern of a plurality of problem patterns in the class model, the plurality of problem patterns are then stored in a repository. The method also includes identifying a set of constraint patterns where the at least first constraint pattern is linked in the repository to the first problem pattern. A user may then select a constraint pattern which is utilized in instantiating constraints and generating code based on the class model and the instantiated constraints.
摘要翻译：一种从建模系统的类模型生成代码的方法。类模型指定建模语言的多个元素以及多个元素的元素之间的依赖关系。在操作中，该方法分析类模型以通过使用模式识别来识别类模型中的建模系统的第一可能的不足的来源，以发现类中的多个问题模式的第一问题模式的发生模型，然后将多个问题模式存储在仓库中。该方法还包括识别其中至少第一约束模式在存储库中被链接到第一问题模式的一组约束模式。然后，用户可以选择在实例化约束中使用的约束模式，并且基于类模型和实例化约束生成代码。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式