• 検索結果がありません。

Join Tokens:オブジェクト間相互作用記述のための言語機構

N/A
N/A
Protected

Academic year: 2021

シェア "Join Tokens:オブジェクト間相互作用記述のための言語機構"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)Vol. 47. No. SIG 16(PRO 31). Oct. 2006. 情報処理学会論文誌:プログラミング. 発表概要. Join Tokens ——オブジェクト間相互作用記述のための言語機構 西. 森. 丈. 俊†. 久. 野. 靖†. オブジェクト指向言語では,オブジェクト間の相互作用をメソッドの動作として記述するが,通常 のメソッド呼び出しではどちらかのオブジェクトに属するメソッドが相互作用を起動するという非対 称性があり,呼び側/呼ばれ側オブジェクト双方の状態に依存した対称的な相互作用の記述が複雑に なりやすい.そこで本発表では,状態に応じたオブジェクト間の相互作用を簡潔に記述することが可 能な言語機構 Join Tokens を提案する.提案機構では,トークンプールに複数のオブジェクトがトー クンを投げ入れ,そのトークン群が一定の条件を満たした場合に「発火」することで,相互作用する 各オブジェクトのメソッドを対称的な形で起動できる.提案機構の記述性/有効性を評価するため,多 数のオブジェクトとそれらの相互作用を含むようなゲーム規則の実装を提案機構を搭載したプログラ ミング言語上で行った.その結果,提案機構は込み入ったオブジェクト間の相互作用を見通し良く記 述するうえで一定の効果があるとの結果を得た.. Join Tokens ——A Language Mechanism for Inter-object Interaction Taketoshi Nishimori† and Yasushi Kuno† Object interactions are expressed as method invocation on most of current object-oriented programming languages. As method invocation is asymmetric in that either one of interaction objects invokes an interaction, it is difficult to express symmetric interactions depend on objects statuses. To overcome the problem, we suggest “join tokens” mechanism for object interactions. In join tokens mechanism, objects throw tokens into a token pool and interaction methods are symmetrically invoked with tokens as method arguments at “ignition” operation, in which tokens fulfill certain condition provided by interaction methods. To evaluate expressiveness and effectiveness, we implement a sample game on a programming language based on join tokens, in which the game has interaction rules for a number of game objects. As a result, join tokens makes it concise to express symmetric inter-object interaction.. (平成 18 年 6 月 1 日発表). † 筑波大学大学院企業科学専攻 Graduate School of Systems Management, University of Tsukuba. 93.

(2)

参照

関連したドキュメント

The FMO method has been employed by researchers in the drug discovery and related fields, because inter fragment interaction energy (IFIE), which can be obtained in the

Just as compact quantum groups are captured by cosemisimple Hopf al- gebras, quantum torsors are given as Galois objects [Ca98], i.e., comodule algebras with free and

Our translation L M can be extracted by a categorical interpretation on the model Per 0 that is the Kleisli category of the strong monad 0 on the cartesian closed category Per!.

According to our new conception object-oriented methodology is based on the elimination of decision repetitions, that is, sorting the decisions to class hierarchy, so that the

As a module itself may be defined as an alias or a composition of other modules using paths, it might happen that module definitions end up being mutually dependent. The question is

In this work we try to understand the behavior of algebraic shifting with respect to some basic constructions on simplicial complexes, such as union, cone, and (more generally)

Key Words: Action of a hyperstructure on a set, semihypergroup, hypergroup, prox- imity space, transformation hypergroup, tolerance on a join space, regularly preordered

As a consequence, in a homological category with finite sums, the ternary co-smash product functors preserve regular epimorphisms, as do the binary ones (see Corollary 2.14). Section