2011-12-27から1日間の記事一覧
今日は 6.2.4 ホテルの客室施錠のイベントに基づくモデル化のところです。 pred で記述していたチェックイン、入室、チェックアウトなどの操作を抽象シグネチャ Event を拡張したシグネチャとして定義して記述する方法 チェックイン後すぐ入室イベントがある…
今日は 6.2.4 ホテルの客室施錠のイベントに基づくモデル化のところです。 pred で記述していたチェックイン、入室、チェックアウトなどの操作を抽象シグネチャ Event を拡張したシグネチャとして定義して記述する方法 チェックイン後すぐ入室イベントがある…