AlloyAnalyzer
形式手法
@kaizen_nagoya

alloy analyzer入門

AlloyAnalyzer形式手法

Alloy入門(Getting start with "Alloy Analyzer")

https://qiita.com/kannkyo/items/0742253aeb5a43e449c9

/**
 * 
 * Hello World のモジュール
 * 
 */
module sample/HelloWorld

//=====================================================
//
// シグニチャ
//
//=====================================================

/** ディスプレイ */
one sig Display {
    console : one Console
}
one sig Console {
    message : some Message
}

/** メッセージ */
abstract sig Message {}

/** Hello World */
sig HelloWorld extends Message {}

//=====================================================
//
// 事実
//
//=====================================================

/** 全てのメッセージはコンソールに表示される */
fact {
    all m : Message | m in Console.message
}

//=====================================================
//
// 実行
//
//=====================================================
pred show{}
run show

@kannkyo さんはタグをjavaを指定されていた。

Alloy @cutsea110

Alloyを使って関係を学ぶ(1)
https://qiita.com/cutsea110/items/c5e17fafb2cca67673e4

Alloyを使って関係を学ぶ(2)
https://qiita.com/cutsea110/items/f10b1b8983deb5cada26

Alloyを使って関係を学ぶ(3)
https://qiita.com/cutsea110/items/ba0699675aa8470335f1

Alloyを使って関係を学ぶ(4)
https://qiita.com/cutsea110/items/a778c1914a5699333f39

Alloyを使って関係を学ぶ(5)
https://qiita.com/cutsea110/items/66e09ed6995198d00e3e

Alloyを使って関係を学ぶ(6)
https://qiita.com/cutsea110/items/d894ecb492a838c14255

Alloyを使って関係を学ぶ(7)
https://qiita.com/cutsea110/items/f72b2c213642ae0803c2

Alloyを使って関係を学ぶ(8)
https://qiita.com/cutsea110/items/75ba58bb515081a6b08d

Alloyを使って関係を学ぶ(9)
https://qiita.com/cutsea110/items/11887287f0705b82829d

Alloyを使って関係を学ぶ(10)
https://qiita.com/cutsea110/items/c625112b86e0aff5f7a6

劇的！ビフォーアフター Themeで見た目を整える[Alloy Analyzer]
https://qiita.com/cutsea110/items/237b48080aff4ce6fd1a

関係の多重度指定と時間トレース
https://qiita.com/cutsea110/items/18f743f57c2d2bd9460b

Alloy Analyzerで分流から合流するケースを除去する
https://qiita.com/cutsea110/items/0dd775c9059c09d2bd2c

農夫 山羊 キャベツ 狼
https://qiita.com/cutsea110/items/963244b07ec4d37c0125

Alloy Analyzer

「形式手法入門」P22「2.1.3 抽象データの表現と解析」
https://qiita.com/kencoba/items/15197b19d15ebfd557ed

「形式手法入門」P157 「6.2.5 イベント駆動スタイル」
https://qiita.com/kencoba/items/d3c91be08a871ccd4014

Alloy Analyzerでデータモデルのプロトタイピング
https://qiita.com/nsyee/items/1f1c2575e3b83bf3a386

Alloy Analyzer 30行でスリザーリンクの問題を解く
https://qiita.com/t2ru/items/c9a88b6f724fd4a75e99

番外：Another Alloy。言語じゃなくてライブラリ(Another Alloy, not language but library)

AlloyのModel，使ってみる．
https://qiita.com/to2ka/items/77cb6c846b9031100a83

Titanium＋Alloyではじめて開発する人向けのサンプルアプリ（基礎編）
https://qiita.com/h5y1m141@github/items/79b152ce7b0241d557fb

Titanium ＋Alloy＋ACSの構成でユーザーログインでFacebookアカウントを利用する
https://qiita.com/h5y1m141@github/items/6fa514db8066a96840f5

Titanium + Alloy + napp.alloy.adapter.restapiで作る簡単Qiitaビューワーアプリ
https://qiita.com/h5y1m141@github/items/c343ea92181cbb0fb2c2

Alloyのcontroller同士を上手に連携させる
https://qiita.com/yagi_/items/e7973ae1d4295b0b9a98

AlloyのModelでREST APIからデータを取得する
https://qiita.com/hisamekms/items/f860a60213f922b8d1ad

NavigationWindowでもAlloyのCollectionを使いたいしAndroidとコードを共有したい
https://qiita.com/yagi_/items/65c8254cb2e33261d1f6

Alloy プロジェクトでウィンドウを閉じたら配下の View のイベントを remove したい。ほぼ自動で
https://qiita.com/k0sukey/items/dc068f9669f1072bf480

Alloy&ACSで「爆速」＆「無料」でサーバ対応iOS・Androidアプリを作る[ユーザ登録]
https://qiita.com/kacho/items/b9a2d184e440c50aee06

Titanium(Alloy)でバーコードリーダとバーコード出力結果を一緒に表示する
https://qiita.com/kacho/items/b7f3a9f44335e59ab2b5

Titanium Alloy の オレオレ app.tss テンプレート
https://qiita.com/hntn/items/f0e46090b298c0f7ee94

Titanium Alloy で underscore.js の debounce を使うと Android でコケる対策
https://qiita.com/hntn/items/676bcaf8175a7f7f4dff

Titanium + Alloy + TypeScript1.0RC のコンパイル
https://qiita.com/TatsuoWatanabe/items/14e6b8062d64d895e465

Titanium Alloy プロジェクトでの開発のお供、alloy-smelter のお誘い
https://qiita.com/k0sukey/items/23004cee75878ee3d3e7

Titanium Alloy の measurement がイケてなかったので作りました。
https://qiita.com/hamasyou/items/6031588e18ee6ac7bf7e

ledmonster/alloy-doc-ja
https://github.com/ledmonster/alloy-doc-ja

Alloy コンセプト
https://github.com/ledmonster/alloy-doc-ja/blob/master/Alloy_Concepts.md

参考文献(reference for Alloy Analyzer)

slideshare

サンプルで学ぶAlloy
https://www.slideshare.net/NSaitoNmiri/alloy-42500369

Alloy論理データモデル
https://www.slideshare.net/osiire/alloy-59303582?qid=60fea1aa-4095-45d5-a672-c2154d11b043&v=&b=&from_search=41

Alloy Analyzer のこと
https://www.slideshare.net/konn/alloy-analyzer-9379488

book and URL

抽象によるソフトウェア設計−Alloyではじめる形式手法, Daniel Jackson
https://www.amazon.co.jp/dp/4274068587

Alloy Analyzerとの連携について
https://www.sparxsystems.jp/products/EA/tech/Alloy.htm

OAuth2 のフローを Alloy Analyzer でモデリングする
https://motemen.hatenablog.com/entry/2016/06/alloy-oauth2-modeling

文書履歴

20180319 ver. 1.00 初版
20180320 ver. 1.01 参考文献, slideshare追記
20180815 ver. 1.02 URL追記　

Edit request
4