Declaring Constraints on Object-oriented Collections

• Item type: Trans(1)
• 公開日: 2016-09-12
• タイトル: Declaring Constraints on Object-oriented Collections
• タイトル / 言語: en
• タイトル: Declaring Constraints on Object-oriented Collections
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: [通常論文] object constraint programming, constraint imperative programming, constraint solving, babelsberg
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: Hasso Plattner Institute, University of Potsdam
• 著者所属: Hasso Plattner Institute, University of Potsdam
• 著者所属: Hasso Plattner Institute, University of Potsdam
• 著者所属: University of Washington
• 著者所属: Department of Mathematical and Computing Science, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Hasso Plattner Institute, University of Potsdam
• 著者所属(英): en
• 著者所属(英): Hasso Plattner Institute, University of Potsdam
• 著者所属(英): en
• 著者所属(英): Hasso Plattner Institute, University of Potsdam
• 著者所属(英): en
• 著者所属(英): University of Washington
• 著者所属(英): en
• 著者所属(英): Department of Mathematical and Computing Science, Tokyo Institute of Technology
• 著者名: Tim, Felgentreff; Robert, Hirschfeld; Maria, Graber; Alan, Borning; Hidehiko, Masuhara
• 著者名(英): Tim, Felgentreff; Robert, Hirschfeld; Maria, Graber; Alan, Borning; Hidehiko, Masuhara
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Logic puzzles such as Sudoku are described by a set of properties that a valid solution must have. Constraints are a useful technique to describe and solve for such properties. However, constraints are less suited to express imperative interactions in a user interface for logic puzzles, a domain that is more readily expressed in the object-oriented paradigm. Object constraint programming provides a design to integrate constraints with dynamic, object-oriented programming languages. It allows developers to encode multi-way constraints over objects using existing, object-oriented abstractions. These constraints are automatically maintained at run-time. In this paper we present an application of this design to logic puzzles in the Squeak/Smalltalk programming environment, as well as an extension of the design and the formal semantics of Babelsberg to allow declaring constraints using the imperative collection API provided in Squeak. We argue that our implementation facilitates creating applications that use imperative construction of user interfaces and mutable program state as well as constraint satisfaction techniques for different parts of the system. The main advantage of our approach is that it moves the burden to maintain constraints from the developer to the runtime environment, while keeping the development experience close to the purely object-oriented approach.; ------------------------------; This is a preprint of an article intended for publication Journal of; Information Processing(JIP). This preprint should not be cited. This; article should be cited as: Journal of Information Processing Vol.24(2016) No.6(online); ------------------------------
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Logic puzzles such as Sudoku are described by a set of properties that a valid solution must have. Constraints are a useful technique to describe and solve for such properties. However, constraints are less suited to express imperative interactions in a user interface for logic puzzles, a domain that is more readily expressed in the object-oriented paradigm. Object constraint programming provides a design to integrate constraints with dynamic, object-oriented programming languages. It allows developers to encode multi-way constraints over objects using existing, object-oriented abstractions. These constraints are automatically maintained at run-time. In this paper we present an application of this design to logic puzzles in the Squeak/Smalltalk programming environment, as well as an extension of the design and the formal semantics of Babelsberg to allow declaring constraints using the imperative collection API provided in Squeak. We argue that our implementation facilitates creating applications that use imperative construction of user interfaces and mutable program state as well as constraint satisfaction techniques for different parts of the system. The main advantage of our approach is that it moves the burden to maintain constraints from the developer to the runtime environment, while keeping the development experience close to the purely object-oriented approach.; ------------------------------; This is a preprint of an article intended for publication Journal of; Information Processing(JIP). This preprint should not be cited. This; article should be cited as: Journal of Information Processing Vol.24(2016) No.6(online); ------------------------------
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 9, 号 4, 発行日 2016-09-12
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会