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