Alloy入門(Getting start with "Alloy Analyzer")
/**
*
* 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
Alloy Analyzerの開発環境をVSCodeで構築
https://qiita.com/nsyee/items/7dc1dabb0ad855d5714c
Alloyのorderingで意図した順にならない現象に遭遇
https://qiita.com/cutsea110/items/aa88c3e80a0a7499a3b8
番外: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追記
20190505 ver. 1.03 資料追記
20230508 ver. 1.04 ありがとう追記
最後までおよみいただきありがとうございました。
いいね 💚、フォローをお願いします。
Thank you very much for reading to the last sentence.
Please press the like icon 💚 and follow me for your happy life.