会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Method and apparatus for generating it level executable solution artifacts from the operational specification of a business
    • 用于从业务的操作规范生成级别的可执行解决方案工件的方法和装置
    • US07222302B2
    • 2007-05-22
    • US10455658
    • 2003-06-05
    • Rainer F. HauserShubir KapoorJana KoehlerSanthosh KumaranFrederick Y. Wu
    • Rainer F. HauserShubir KapoorJana KoehlerSanthosh KumaranFrederick Y. Wu
    • G06F15/00G06F13/00
    • G06Q10/06G06Q10/067G06Q10/10
    • A system and method that implements top-down and bottom-up model-driven transformations between platform-independent (business view) modeling approaches and platform-specific (IT architectural) models. On the business level, business view models may be expressed in, but not limited to ADF or UML2, whereas on the IT architecture side, service-oriented architectures with Web service interfaces and processes are specified in business process protocol languages including, but not limited to, BPEL4WS, or workflow definitions. An architecture and a transformation method based on typed information flows automatically transforms platform-independent business models into executable information technology (IT) architecture specifications constrained by a specific IT platform, and vice versa. The models generated span the entire life cycle of a software system and ease the software production, deployment and maintenance tasks. That is, the different models generated for the same system are “linked” in a way that relevant changes in one model may be propagated to the other models to keep the model set consistent.
    • 一种在平台无关(业务视图)建模方法和平台特定(IT架构)模型之间实现自上而下和自下而上的模型驱动转换的系统和方法。 在业务层面上,业务视图模型可以表示为但不限于ADF或UML2,而在IT架构方面,具有Web服务接口和流程的面向服务的体系结构以业务流程协议语言指定,包括但不限于 到,BPEL4WS或工作流定义。 基于类型信息流的架构和转换方法自动将平台无关的业务模型转换为由特定IT平台约束的可执行信息技术(IT)架构规范,反之亦然。 生成的模型跨越软件系统的整个生命周期,并简化了软件生产,部署和维护任务。 也就是说,为同一系统生成的不同模型以一种模式的相关变化可以传播到其他模型的方式“链接”,以保持模型集一致。
    • 6. 发明授权
    • Method of automatic pattern based editing of business models
    • 商业模式自动模式编辑方法
    • US08302071B2
    • 2012-10-30
    • US12182682
    • 2008-07-30
    • Thomas GschwindJana KoehlerJochen M. KuesterMichael S. Wahler
    • Thomas GschwindJana KoehlerJochen M. KuesterMichael S. Wahler
    • G06F9/44
    • 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中的所有元素都被连接。 如果元素在画布上从左到右存在,则连接至少依次连接元素,并且如果元素在画布上从上到下存在,则并行连接元素或使用决策和合并组合。
    • 7. 发明授权
    • Automatic composition of model transformations
    • 自动组合模型转换
    • US08042091B2
    • 2011-10-18
    • US12049241
    • 2008-03-14
    • Jana KoehlerJochen M. KuesterKsenia RyndinaJussi H. VanhataloMichael S. WahlerOlaf W. Zimmermann
    • Jana KoehlerJochen M. KuesterKsenia RyndinaJussi H. VanhataloMichael S. WahlerOlaf W. Zimmermann
    • G06F9/44
    • 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.
    • 用于从预定的一组模型变换组合模型变换的技术。 内存中提供状态机。 在状态机中根据预定的模型属性定义状态。 响应于要变换的输入模型的目标状态的指定,选择状态机中的与输入模型相对应的开始状态与对应于指定目标状态的结束状态之间的执行顺序。 然后在输入模型上连续执行所选序列中的每个变换。 在所选序列中执行每个变换之后,将转换的输入模型状态与状态机中定义的模型状态进行比较,以确定所选序列是否不能用于输入模型。 如果是,则选择在状态机中的输入模型状态和指定的目标状态之间的替代执行序列。
    • 8. 发明授权
    • Automatic insertion point identification in model merging operations
    • 模型合并操作中自动插入点识别
    • US08332254B2
    • 2012-12-11
    • US12079677
    • 2008-03-28
    • Christian FacciorussoFelix FegerJana KoehlerJochen M. Kuester
    • Christian FacciorussoFelix FegerJana KoehlerJochen M. Kuester
    • G06Q10/00
    • G06F17/5036G06F8/20G06Q10/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之间的边缘被识别为插入点。
    • 10. 发明申请
    • Generating Constraints in a Class Model
    • 在类模型中生成约束
    • US20090077511A1
    • 2009-03-19
    • US12201828
    • 2008-08-29
    • Michael S. WahlerJana Koehler
    • Michael S. WahlerJana Koehler
    • G06F17/50
    • G06F8/10G06F8/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.
    • 一种从建模系统的类模型生成代码的方法。 类模型指定建模语言的多个元素以及多个元素的元素之间的依赖关系。 在操作中,该方法分析类模型以通过使用模式识别来识别类模型中的建模系统的第一可能的不足的来源,以发现类中的多个问题模式的第一问题模式的发生 模型,然后将多个问题模式存储在仓库中。 该方法还包括识别其中至少第一约束模式在存储库中被链接到第一问题模式的一组约束模式。 然后,用户可以选择在实例化约束中使用的约束模式,并且基于类模型和实例化约束生成代码。