AlloyAnalyzer

alloy analyzer入門

Alloy入門
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

alloyのタグはQiitaにはない。@kannkyo さんはjavaを指定されていた。確かに。

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

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

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

参考文献

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, other 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 1.00 初版
20180320 1.01 参考文献, slideshare追記