2222-42 / studyingSpecifyingSystems

0 stars 0 forks source link

Function vs. Operations #8

Open 2222-42 opened 4 years ago

2222-42 commented 4 years ago

why

Function と operationどっちを使うべきかという問題についていまだにわかっていない。

what

[x] 今の理解
[ ] "Specifying Systems", section 6.4, pp. 69-72を読む
[ ] 新たな理解のまとめ
[ ] ドキュメント化

2222-42 commented 4 years ago

今の理解

今の理解としては、基本的にどちらでもいい。

また、ドメインと値が一致するのであれば、functionでいい、という感じ。

わかっていないことのリスト

[ ] functionとoperationのそれぞれの定義を忘れた
[ ] どちらかを使ってはいけないケースがあるのかわからない