@techreport{oai:ipsj.ixsq.nii.ac.jp:00022017, author = {黄錫炯 and 梁海述 and 辻野, 嘉宏 and 都倉, 信樹 and Sukhyung, Hwang and Haesool, Yang and Yoshihiro, Tsujino and Nobuki, Tokura}, issue = {6(1993-SE-096)}, month = {Jan}, note = {オブジェクト指向プログラミングにおいて、クラス間の不必要な相互依存関係を減らすためのプログラミングスタイルに関する規則としてデメテルの法則 (e Law of Demet) が知られている。本稿では、従来の非形式的なデメテルの法則を実際のプログラムに適用、評価するために、クラス間の関係として継承と集約、そして関連を形式的に定義し、それらを用いてデメテルの法則を定式化する。またデメテルの法則を満たすか否かを判定するアルゴリズムと、デメテルの法則を違反したプログラムに対する変換アルゴリズムについて述べる。, In the last few years, several articles have been devoted to the study of the Law of Demeter in the object oriented programming. The Law of Demeter is a style rule that aims at eliminating unnecessary coupling among classes. Although a large number of studies have been made on the informal definitions, little is known about the formulation of the Law of Demeter. In this article, we define three relationships among classes i.e. inheritance, aggregation and association, and formulate the Law of Demeter. We also propose the algorithms to decide whether a given program satisfies the law and to transform an unfulfilled program into a fulfilled one.}, title = {オブジェクト指向プログラミングにおけるデメテル法則の定式化}, year = {1994} }