<< 2009/09/13 | ホーム | 2009/09/15 >>

Typestates for Objects

オブジェクトの型として typestate を使うという提案。直観的には、クラス定義に状態遷移機械を追加する。この時、メソッド呼び出しによって状態遷移するようにする。この論文の advantage の一つはエイリアスとか継承が考慮されていること。定式化もされているが、健全性については conjecture になっている。状態遷移のトリガがメソッド呼び出しなのは少し粗いかなという気もする。

author="Robert DeLine and Manuel Fähndrich",
title="{Typestates for Objects}",
booktitle="ECOOP 2004",
publisher="Springer",
volume="3086",
series="LNCS",
pages="465--490",
year="2004"

タグ : ,