2. ポンプ (S_P) Active
Abstract
給水ポンプを抽象化したクラス。


Attribute
Type Description
* pomp_no
integer
ポンプを特定する属性。ポンプが複数あった場合にこの属性で特定できる。

restart
boolean
再給水されたことを示す
TRUE:再スタート開始
FALSE:再スタート開始しない

wait_time R4 (Referential Attribute) (Same as 運転.wait_time)



Relationship

R3 : 
ポンプ ( 1 : 1 ) 竹筒
1つのポンプが1つの竹筒に給水するという関係を表す。 
R4 : 
運転 ( 1 : 1 ) ポンプ
あるポンプにおける、水はね防止のタイミング値を定義するという関係を表す。 


State Transition Table

S_P1 S_P2 S_P3 S_P4 S_P5
1.給水停止 IG IG IG IG 2
2.給水中 IG IG 3 1 IG
3.停止準備中 IG 4 IG IG IG
4.給水一時停止 2 IG IG 1 IG

S_P1: 給水再開
S_P2: 一時停止
S_P3: 停止準備
S_P4: 停止
S_P5: 給水



Action

1. 給水停止



2. 給水中



3. 停止準備中



4. 給水一時停止