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

1. 发明授权

US10318975B2 Identifying a case with a missing decision from a set of decision rules in violation of a decision requirement 有权
公开(公告)号：US10318975B2
公开(公告)日：2019-06-11
申请号：US14938160
申请日：2015-11-11
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Ulrich M. Junker
IPC分类号： G06Q30/02 , G06N5/02
摘要： Methods for identifying a case with a missing decision from a set of decision rules in violation of a decision requirement are provided. The set of decision rules and decision requirement are received, and a set of decisions made by the decision rules is obtained. A decision detection constraint graph is built, which represents, for each case used by the set of decision rules, whether each decision in the set of decisions is made or not by a decision rule in the set of decision rules. A decision requirement constraint graph is built from the decision requirement, which represents, for each case used by the set of decision rules, the decisions required. For each case used by the set of decision rules, the decision requirement constraint graph and the decision detection constraint graph for the case are used to identify if the case is a case with a missing decision.

2. 发明申请

US20200160192A1 CREATION OF SCOPE DEFINITIONS 审中-公开
公开(公告)号：US20200160192A1
公开(公告)日：2020-05-21
申请号：US16196669
申请日：2018-11-20
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Jean-Michel G.B. Bernelas , Ulrich M. Junker , Thierry Kormann , Guilhem J. Molines
IPC分类号： G06N5/02 , G06F16/901
摘要： A method for receiving an ownership graph, wherein the ownership graph comprises a first set of nodes and a first set of directional edges, and wherein each of the first set of directional edges connects two nodes and indicates ownership of a first node by a second node, each node having at most one owner, the ownership graph being acyclic. The method further includes receiving a dependency graph that also comprises a set of nodes and a set of directional edges. The method further includes creating a respective enumerating variable declaration for each node in a path from an owner node to a root node in the ownership graph. The method further includes creating a respective accessing variable declaration for each owner node in the dependency graph of the current node.

3. 发明授权

US10552534B2 Contraction aware parsing system for domain-specific languages 有权
公开(公告)号：US10552534B2
公开(公告)日：2020-02-04
申请号：US15409788
申请日：2017-01-19
申请人： International Business Machines Corporation
发明人： Jean-Michel G. B. Bernelas , Ulrich M. Junker , Stephane Mery
IPC分类号： G06F9/45 , G06F17/27 , G06F8/30 , G06F8/34 , G06F8/41 , G06F17/24
摘要： Aspects of the present invention disclose a method, computer program product, and system for parsing a domain-specific language (DSL) statement. The method includes one or more processors accessing a DSL statement that includes contracted phrases. The method further includes one or more processors identifying one or more contracted phrases in the DSL statement utilizing an annotated domain vocabulary for a DSL associated with the DSL statement and grammar rules for the DSL. The method further includes one or more processors determining expanded phrases corresponding to the identified one or more contracted phrases based on the annotated domain vocabulary and the grammar rules. The method further includes one or more processors creating an expanded abstract syntax tree (AST) that is representative of the DSL statement with the determined expanded phrases replacing the identified one or more contracted phrases.

4. 发明申请

US20200034728A1 COMPLETING DECISION LOGIC TO AVOID A SIDE EFFECT 审中-公开
公开(公告)号：US20200034728A1
公开(公告)日：2020-01-30
申请号：US16046365
申请日：2018-07-26
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Jean-Michel G.B. Bernelas , Ulrich M. Junker , Remi Van Keisbelck
IPC分类号： G06N5/04
摘要： An approach is provided for completing a decision logic. For statements in a syntax tree of the decision logic and using a symbolic execution technique, path expression(s) that refer to respective input object(s) are identified. A statement in the decision logic is detected that modifies an attribute value of a path expression included in the path expression(s) and that refers to an input object included in the input object(s). A copy instruction is inserted as a new node in the syntax tree so that the attribute value of the path expression is a copy of the input object. Responsive to inserting the copy instruction, the path expression is prevented from modifying the input object.

5. 发明申请

US20140249875A1 DETECTING CASES WITH CONFLICTING RULES 审中-公开
标题翻译：用冲突规则检测案件
公开(公告)号：US20140249875A1
公开(公告)日：2014-09-04
申请号：US14349951
申请日：2012-12-05
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Ulrich M. Junker , Olivier M. D. Lhomme
IPC分类号： G06Q10/06
CPC分类号： G06Q10/063 , G06Q10/06
摘要： A method, system and/or computer program product for managing condition action rules comprises: a treated case modeler for building a family of cases that make some rules applicable; a conflict detector for iteratively building and testing subsets of cases of the family searching for cases with conflicting decisions in order to locate a subset of cases that all have conflicting decisions. The conflict detector is further adapted for eliminating subsets of cases that have all non-conflicting decisions. The conflict detector is further adapted for distinguishing conflicting decisions from unrelated decisions and thus avoids the reporting of false conflicts.
摘要翻译：一种用于管理条件动作规则的方法，系统和/或计算机程序产品包括：处理的案例建模器，用于构建使得某些规则适用的一系列案例; 冲突检测器，用于迭代地构建和测试家庭案例的子集，以搜索具有冲突决定的案例，以便定位所有具有冲突决定的案例的子集。冲突检测器还适用于消除具有所有非冲突决定的情况的子集。冲突检测器进一步适用于区分与无关决策相冲突的决策，从而避免报告虚假冲突。

6. 发明申请

US20170132201A1 CONTRACTION AWARE PARSING SYSTEM FOR DOMAIN-SPECIFIC LANGUAGES 审中-公开
公开(公告)号：US20170132201A1
公开(公告)日：2017-05-11
申请号：US15409788
申请日：2017-01-19
申请人： International Business Machines Corporation
发明人： Jean-Michel G.B. Bernelas , Ulrich M. Junker , Stephane Mery
IPC分类号： G06F17/27 , G06F9/45 , G06F17/24 , G06F9/44
CPC分类号： G06F17/271 , G06F8/34 , G06F8/37 , G06F8/427 , G06F17/241 , G06F17/274 , G06F17/2755 , G06F17/2785
摘要： Aspects of the present invention disclose a method, computer program product, and system for parsing a domain-specific language (DSL) statement. The method includes one or more processors accessing a DSL statement that includes contracted phrases. The method further includes one or more processors identifying one or more contracted phrases in the DSL statement utilizing an annotated domain vocabulary for a DSL associated with the DSL statement and grammar rules for the DSL. The method further includes one or more processors determining expanded phrases corresponding to the identified one or more contracted phrases based on the annotated domain vocabulary and the grammar rules. The method further includes one or more processors creating an expanded abstract syntax tree (AST) that is representative of the DSL statement with the determined expanded phrases replacing the identified one or more contracted phrases.

7. 发明授权

US09582491B2 Contraction aware parsing system for domain-specific languages 有权
标题翻译：针对域特定语言的收缩感知解析系统
公开(公告)号：US09582491B2
公开(公告)日：2017-02-28
申请号：US15097415
申请日：2016-04-13
申请人： International Business Machines Corporation
发明人： Jean-Michel G. B. Bernelas , Ulrich M. Junker , Stephane Mery
IPC分类号： G06F9/45 , G06F17/27 , G06F9/44
CPC分类号： G06F17/271 , G06F8/34 , G06F8/37 , G06F8/427 , G06F17/241 , G06F17/274 , G06F17/2755 , G06F17/2785
摘要： Aspects of the present invention disclose a method, computer program product, and system for parsing a domain-specific language (DSL) statement. The method includes one or more processors accessing a DSL statement that includes contracted phrases. The method further includes one or more processors identifying one or more contracted phrases in the DSL statement utilizing an annotated domain vocabulary for a DSL associated with the DSL statement and grammar rules for the DSL. The method further includes one or more processors determining expanded phrases corresponding to the identified one or more contracted phrases based on the annotated domain vocabulary and the grammar rules. The method further includes one or more processors creating an expanded abstract syntax tree (AST) that is representative of the DSL statement with the determined expanded phrases replacing the identified one or more contracted phrases.
摘要翻译：本发明的方面公开了一种用于解析域特定语言（DSL）语句的方法，计算机程序产品和系统。该方法包括访问包括合同短语的DSL语句的一个或多个处理器。该方法还包括一个或多个处理器，其利用与DSL语句相关联的DSL的带注释的域词汇和DSL的语法规则来识别DSL语句中的一个或多个契约短语。该方法还包括一个或多个处理器，基于注释的域词汇和语法规则来确定对应于所识别的一个或多个合同短语的扩展短语。该方法还包括一个或多个处理器，其创建代表DSL声明的扩展抽象语法树（AST），其中所确定的扩展短语替换所识别的一个或多个合同短语。

8. 发明授权

US09367290B2 Contraction aware parsing system for domain-specific languages 有权
公开(公告)号：US09367290B2
公开(公告)日：2016-06-14
申请号：US14686998
申请日：2015-04-15
申请人： International Business Machines Corporation
发明人： Jean-Michel G. B. Bernelas , Ulrich M. Junker , Stephane Mery
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F17/271 , G06F8/34 , G06F8/37 , G06F8/427 , G06F17/241 , G06F17/274 , G06F17/2755 , G06F17/2785
摘要： Aspects of the present invention disclose a method, computer program product, and system for parsing a domain-specific language (DSL) statement. The method includes one or more processors accessing a DSL statement that includes contracted phrases. The method further includes one or more processors identifying one or more contracted phrases in the DSL statement utilizing an annotated domain vocabulary for a DSL associated with the DSL statement and grammar rules for the DSL. The method further includes one or more processors determining expanded phrases corresponding to the identified one or more contracted phrases based on the annotated domain vocabulary and the grammar rules. The method further includes one or more processors creating an expanded abstract syntax tree (AST) that is representative of the DSL statement with the determined expanded phrases replacing the identified one or more contracted phrases.

9. 发明申请

US20160132304A1 CONTRACTION AWARE PARSING SYSTEM FOR DOMAIN-SPECIFIC LANGUAGES 有权
公开(公告)号：US20160132304A1
公开(公告)日：2016-05-12
申请号：US14538959
申请日：2014-11-12
申请人： International Business Machines Corporation
发明人： Jean-Michel G.B. Bernelas , Ulrich M. Junker , Stephane Mery
IPC分类号： G06F9/45
CPC分类号： G06F17/271 , G06F8/34 , G06F8/37 , G06F8/427 , G06F17/241 , G06F17/274 , G06F17/2755 , G06F17/2785
摘要： Aspects of the present invention disclose a method, computer program product, and system for parsing a domain-specific language (DSL) statement. The method includes one or more processors accessing a DSL statement that includes contracted phrases. The method further includes one or more processors identifying one or more contracted phrases in the DSL statement utilizing an annotated domain vocabulary for a DSL associated with the DSL statement and grammar rules for the DSL. The method further includes one or more processors determining expanded phrases corresponding to the identified one or more contracted phrases based on the annotated domain vocabulary and the grammar rules. The method further includes one or more processors creating an expanded abstract syntax tree (AST) that is representative of the DSL statement with the determined expanded phrases replacing the identified one or more contracted phrases.

10. 发明授权

US11036937B2 Contraction aware parsing system for domain-specific languages 有权
公开(公告)号：US11036937B2
公开(公告)日：2021-06-15
申请号：US16677911
申请日：2019-11-08
申请人： International Business Machines Corporation
发明人： Jean-Michel G. B. Bernelas , Ulrich M. Junker , Stephane Mery
IPC分类号： G06F9/45 , G06F40/211 , G06F8/30 , G06F8/34 , G06F40/30 , G06F40/169 , G06F40/253 , G06F40/268 , G06F8/41
摘要： Aspects of the present invention disclose a method, computer program product, and system for parsing a domain-specific language (DSL) statement. The method includes one or more processors accessing a DSL statement that includes contracted phrases. The method further includes one or more processors identifying one or more contracted phrases in the DSL statement utilizing an annotated domain vocabulary for a DSL associated with the DSL statement and grammar rules for the DSL. The method further includes one or more processors determining expanded phrases corresponding to the identified one or more contracted phrases based on the annotated domain vocabulary and the grammar rules. The method further includes one or more processors creating an expanded abstract syntax tree (AST) that is representative of the DSL statement with the determined expanded phrases replacing the identified one or more contracted phrases.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式