安全に結合可能なmixinを提供するためのルール
2003 年 20 巻 3 号 p. 292-299
詳細
2003 年 20 巻 3 号 p. 292-299
複数のクラスにまたがるコードを分離して記述できる言語として，アスペクト指向言語がある．独立して開発されたアスペクトであっても，個々のアスペクトが何らかのルールに従って設計されていれば，複数同時に組合わせて動作させることが可能であるとわれわれは考えている．本論文ではそのようなルールを見いだし検証するための第一歩として，安全に結合可能なmixinを提供するためのルールを検証する方法について述べる．ルールの記述および検証には，Design by Contractやbehavioral subtypingの考え方を用いる．
