Programming constraints by demonstration

作     者：Hattori, T 

作者机构：Keio Univ Fac Environm Informat Kanagawa 2528520 Japan 

出 版 物：《JOURNAL OF VISUAL LANGUAGES AND COMPUTING》 (视觉语言与计算杂志)

年 卷 期：2003年第14卷第1期

页      面：79-96页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：programming by demonstration constraint constraint solving end-user programming extensible editor 

摘      要：The executable constraint is proposed to offer designers a way to define a new set of constraints on top of an editing tool. It aims mainly to maintain the integrity of data structures such as diagrams that users create, during an edit session. When a part of the structure is modified by a user, the computer modifies other parts as a consequence of the user s instructions given in advance. Executable constraints are sequences of editing operations whose fixed points give relations to be maintained. They are constructed from primitive editing operations by demonstration to avoid textual form of expression, so that non-programmers can define new relations. Priority and condition are introduced to cope with over-constrained or conditional situations. (C) 2003 Elsevier Science Ltd. All rights reserved.