9
3

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

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.

9
3
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
9
3

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?