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

1. 发明申请

US20140195306A1 ENTERPRISE DECISION MANAGEMENT 有权
标题翻译：企业决策管理
公开(公告)号：US20140195306A1
公开(公告)日：2014-07-10
申请号：US14147686
申请日：2014-01-06
申请人： International Business Machines Corporation
发明人： Jean Michel Bernelas , Steve Demuth , Stephane Mery
IPC分类号： G06Q10/06 , G06F9/455
CPC分类号： G06Q10/0637 , G06F8/427 , G06F9/45508
摘要： Embodiments relate to managing and executing interpreted language code. An aspect includes a parser configured to parse controlled language code against both a language grammar and for building an execution model comprising parsed known concepts. Another aspect includes a pattern matching engine configured to match patterns in the controlled language code with a patterns for a new concept. Yet another aspect includes a concept engine configured to create a new concept from the matched pattern and controlled language code and for saving the new concept into an object model and into a language grammar so that current and future parsing errors will not occur when recognizing the new concept.
摘要翻译：实施例涉及管理和执行解释语言代码。方面包括被配置为针对语言语法分析受控语言代码并用于构建包括解析的已知概念的执行模型的解析器。另一方面包括配置成将受控语言代码中的模式与新概念的模式相匹配的模式匹配引擎。另一方面包括配置成从匹配模式和受控语言代码创建新概念并将新概念保存到对象模型和语言语法中的概念引擎，以便当识别新的时候将不会发生当前和将来的解析错误概念。

2. 发明授权

US09471890B2 Enterprise decision management 有权
标题翻译：企业决策管理
公开(公告)号：US09471890B2
公开(公告)日：2016-10-18
申请号：US14147686
申请日：2014-01-06
申请人： International Business Machines Corporation
发明人： Jean Michel Bernelas , Steve Demuth , Stephane Mery
IPC分类号： G06Q10/06 , G06F9/455 , G06F9/45
CPC分类号： G06Q10/0637 , G06F8/427 , G06F9/45508
摘要： Embodiments relate to managing and executing interpreted language code. An aspect includes a parser configured to parse controlled language code against both a language grammar and for building an execution model comprising parsed known concepts. Another aspect includes a pattern matching engine configured to match patterns in the controlled language code with a patterns for a new concept. Yet another aspect includes a concept engine configured to create a new concept from the matched pattern and controlled language code and for saving the new concept into an object model and into a language grammar so that current and future parsing errors will not occur when recognizing the new concept.
摘要翻译：实施例涉及管理和执行解释语言代码。方面包括被配置为针对语言语法分析受控语言代码并用于构建包括解析的已知概念的执行模型的解析器。另一方面包括配置成将受控语言代码中的模式与新概念的模式相匹配的模式匹配引擎。另一方面包括配置成从匹配模式和受控语言代码创建新概念并将新概念保存到对象模型和语言语法中的概念引擎，以便当识别新的时候将不会发生当前和将来的解析错误概念。

3. 发明授权

US09378195B2 Logical contingency analysis for domain-specific languages 有权
标题翻译：域特定语言的逻辑应变分析
公开(公告)号：US09378195B2
公开(公告)日：2016-06-28
申请号：US13967610
申请日：2013-08-15
申请人： International Business Machines Corporation
发明人： Jean Michel Bernelas , Ulrich Junker , Thierry Kormann , Stephane Mery
IPC分类号： G06F9/44 , G06F9/45 , G06F17/24 , G06N5/00
CPC分类号： G06F17/241 , G06F8/436 , G06N5/00
摘要： Embodiments relate to validating logical statements in code for domain specific languages. An aspect includes parsing logical statements and annotating constraint type logical statements with specific constraint annotations from the logical grammar of the domain specific language. A non-contradiction graph is built using specific constraint annotations constrained to represent cases satisfying the logical statements and is solved to find a case that satisfies the logical statement or prove that no such case exists, thus locating a contradiction. The non-contradiction graph is negated to form a non-tautology graph constrained to represent cases violating the logical statements and the non-tautology graph is solved to find a case that violates the logical statement or prove that no such case exists, thus locating a tautology. A report is provided regarding at least one case satisfying the logical statement and at least one case violating the logical statement whereby the logical statement is validated.
摘要翻译：实施例涉及在域特定语言的代码中验证逻辑语句。一个方面包括从域特定语言的逻辑语法中分析逻辑语句和注释具有特定约束注释的约束类型逻辑语句。使用受限于表示满足逻辑语句的情况的特定约束注释构建非矛盾图，并且被解决以找到满足逻辑语句或证明不存在这种情况的情况，从而找出矛盾。非矛盾图被否定以形成被限制为表示违反逻辑语句的情况的非重言式图，并且解决非重言式图以找到违反逻辑语句或证明不存在这种情况的情况，从而定位重言式提供了关于满足逻辑语句的至少一个案例和至少一个违反逻辑语句从而逻辑语句被验证的情况的报告。

4. 发明申请

US20140059417A1 LOGICAL CONTINGENCY ANALYSIS FOR DOMAIN-SPECIFIC LANGUAGES 有权
标题翻译：针对特定语言的逻辑分析
公开(公告)号：US20140059417A1
公开(公告)日：2014-02-27
申请号：US13967610
申请日：2013-08-15
申请人： International Business Machines Corporation
发明人： Jean Michel Bernelas , Ulrich Junker , Thierry Kormann , Stephane Mery
IPC分类号： G06F17/24
CPC分类号： G06F17/241 , G06F8/436 , G06N5/00
摘要： Embodiments relate to validating logical statements in code for domain specific languages. An aspect includes parsing logical statements and annotating constraint type logical statements with specific constraint annotations from the logical grammar of the domain specific language. A non-contradiction graph is built using specific constraint annotations constrained to represent cases satisfying the logical statements and is solved to find a case that satisfies the logical statement or prove that no such case exists, thus locating a contradiction. The non-contradiction graph is negated to form a non-tautology graph constrained to represent cases violating the logical statements and the non-tautology graph is solved to find a case that violates the logical statement or prove that no such case exists, thus locating a tautology. A report is provided regarding at least one case satisfying the logical statement and at least one case violating the logical statement whereby the logical statement is validated.
摘要翻译：实施例涉及在域特定语言的代码中验证逻辑语句。一个方面包括从域特定语言的逻辑语法中分析逻辑语句和注释具有特定约束注释的约束类型逻辑语句。使用受限于表示满足逻辑语句的情况的特定约束注释构建非矛盾图，并且被解决以找到满足逻辑语句或证明不存在这种情况的情况，从而找出矛盾。非矛盾图被否定以形成被限制为表示违反逻辑语句的情况的非重言式图，并且解决非重言式图以找到违反逻辑语句或证明不存在这种情况的情况，从而定位重言式提供了关于满足逻辑语句的至少一个案例和至少一个违反逻辑语句从而逻辑语句被验证的情况的报告。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式