スタートAlloy - kencobaの日記

5月13日はスタートAlloyでした。
http://atnd.org/events/27160

個人的には、モデリングのコツが見えた気がした。

うまくモデリングを進められたチームは、
「こういうインスタンスを出したい!(図を描く)」->「そのためにはどういう仕様ならいいかな(Alloyに向かう)」
という流れだった気がする。

対して、詰まってしまったチームは、
「バージョン管理システムってこういうものだよね(制約を書く)」->「あれ、インスタンスが生成されないよ?」
となっていた気がする。

このあたり、コーディングが得意な人ほどつまりそう。