nowavailable https://blog.hatena.ne.jp/nowavailable/ ソフトウェア開発のひみつ https://nowavailable.hatenablog.com/ Alloy Analyzer If you are software developer, you often implement the object which generated by some other event. But when I represent such objects on Alloy, I always make a mistake. Why? Now I've got the reason. Here it is.Modeling a "login page".Generally, authentication in web application uses some session syst… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnowavailable.hatenablog.com%2Fentry%2F20150615%2F1434321341" title="Learning Alloy: How to Define Objects Generated by Events - ソフトウェア開発のひみつ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/n/nowavailable/20150607/20150607192847.png Hatena Blog https://hatena.blog 2015-06-15 07:35:41 rich https://nowavailable.hatenablog.com/entry/20150615/1434321341 1.0 100%