用元模型重写约束模型

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

摘要翻译：
约束程序设计中的一个重要挑战是将约束模型重写为可执行程序并计算其解。约束处理的这一阶段可能需要在约束编程框架、约束表示的转换、模型优化和求解策略的调整之间进行转换。本文引入了一个枢轴元模型来描述约束模型的常见特征，包括不同类型的约束、条件和循环等语句以及对象类和谓词等其他一级元素。这个元模型足够通用，可以处理许多语言的构造，从面向对象建模语言到逻辑语言，但它是独立于它们的。重写操作操作除语言之外的元模型实例。因此，重写操作应用所选择的任何语言，并且能够管理模型语义信息。使用解析技术在元模型空间和语言之间创建了一座桥梁。软件工程领域的工具对实现这个框架很有用。
---
英文标题：
《Rewriting Constraint Models with Metamodels》
---
作者：
Raphael Chenouard (LINA), Laurent Granvilliers (LINA), Ricardo Soto
  (LINA)
---
最新提交年份：
2010
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Artificial Intelligence        人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--

---
英文摘要：
  An important challenge in constraint programming is to rewrite constraint models into executable programs calculat- ing the solutions. This phase of constraint processing may require translations between constraint programming lan- guages, transformations of constraint representations, model optimizations, and tuning of solving strategies. In this paper, we introduce a pivot metamodel describing the common fea- tures of constraint models including different kinds of con- straints, statements like conditionals and loops, and other first-class elements like object classes and predicates. This metamodel is general enough to cope with the constructions of many languages, from object-oriented modeling languages to logic languages, but it is independent from them. The rewriting operations manipulate metamodel instances apart from languages. As a consequence, the rewriting operations apply whatever languages are selected and they are able to manage model semantic information. A bridge is created between the metamodel space and languages using parsing techniques. Tools from the software engineering world can be useful to implement this framework.
---
PDF链接：
https://arxiv.org/pdf/1002.3023

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Presentation Optimization Construction Intelligence Presentatio 可执行程序 循环 languages 框架 重写