オープンモデリング記法（OML）（構想中）
ルールについてあれこれ書くのに、自然言語ではなくモデリング用の言語を使えないか、あれこれ考えています。
内部オブジェクト：＜ ＞
外部オブジェクト：＜＜ ＞＞
お金の流れ：・・・・＞
情報の流れ：−−−−＞
商品（モノ）の流れ：＝＝＝＝＞
AND条件：｜−−−−＞
OR条件：｜｜−−−−＞
不在条件：−−−−｜
道具立てはこんなところです。これを使って簡単なルールを記述してみます。
＜支払方法：現金＞：
＜＜消費者＞＞｜・・・・＞＜通販会社＞｜＝＝＝＝＞＜＜消費者＞＞；
消費者が通販会社にお金を支払って初めて商品が消費者に渡されることを表現しています。
＜支払方法：振込振替＞：
＜＜消費者＞＞｜−−−−＞＜通販会社＞｜＝＝＝＝＞＜＜消費者＞＞
＜＜消費者＞＞｜・・・・＞＜通販会社＞；
こちらは消費者から注文が入ると、通販会社はその場で商品を出荷します。商品を受け取った消費者が通販会社に代金を振り込むパターンを表しています。ただこの２行目のルールに記述されている＜＜消費者＞＞が、１行目にある２つの＜＜消費者＞＞の内、どちらを指しているか自明ではありません。これを記述する記法が必要になります。そこでオブジェクトの識別子を導入して書き直すとこうなります。
＜支払方法：振込振替＞：
＜＜消費者：１−１＞＞｜−−−−＞＜通販会社：１−１＞｜＝＝＝＝＞＜＜消費者：１−２＞＞
＜＜消費者：１−２＞＞｜・・・・＞＜通販会社：２−１＞；
あるいはこうです。
＜支払方法：振込振替＞：
＜＜消費者：１−１＞＞｜−−−−＞＜通販会社：１−１＞
＜通販会社：１−１＞｜＝＝＝＝＞＜＜消費者：２−１＞＞
＜＜消費者：２−１＞＞｜・・・・＞＜通販会社：３−１＞；
この「３−１」の意味はルールの中の3行目の1番目のオブジェクトと言う意味です。
更に情報にしろお金にしろ、それを保有しているオブジェクトだけが流れの起点になるわけではありません。これを理解するために支払方法の代引きを例にします。
＜支払方法：代引き＞：
＜＜消費者：１−１＞＞｜−−−−＞＜通販会社：１−１＞
＜通販会社：１−１＞｜＝＝＝＝＞＜＜運送会社：２−１＞＞
＜＜運送会社：２−１＞＞｜＝＝＝＝＞＜＜消費者：３−１＞＞
＜＜消費者：３−１＞＞／・・・・＞＜＜運送会社：４−１＞＞
＜＜運送会社：４−１＞＞｜・・・・＞＜通販会社：５−１＞；
少々込み入ってきましたが、この中の「／・・・・」は集金を意味しています。つまり送金ではなくこちらからお金を集めに行くと言う意味になります。 KAI