■ - salmonsnareの日記

(i) [d.hatena][m-hiyama-memo] http://d.hatena.ne.jp/m-hiyama-memo/20060707/1152239473
↓引用元
[PDF][UML][UML-RT][Selic+Rumbaugh 98]
http://www.ibm.com/developerworks/rational/library/content/03July/1000/1155/1155_umlmodeling.pdf
内容: UML のリアルタイムシステムへの拡張 UML-RT の提案

[PDF][UML][UML-RT][Grosu+Broy+Selic+Stefanescu 98] http://www.cs.sunysb.edu/~grosu/oopsla98.pdf
内容: flow graph とよぶ UML-RT の形式的な基礎付けのための構造の提案

[microsoft academic search][UML][category theory][Grosu+Broy+Selic+Stefanescu]
http://academic.research.microsoft.com/Publication/288264/what-is-behind-uml-rt
↓引用

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.7448
内容: UML-RTと CSP-OZ (注1) を組合わせた利用法の提案

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.3872

(ii) [d.hatena][m-hiyama][digraphs][category theory] http://d.hatena.ne.jp/m-hiyama/20130404/1365042531
内容: 有向グラフがあるモデルには圏論があるというエッセイ
↓引用元
[network theory][category theory][Baez 11] http://math.ucr.edu/home/baez/networks/networks_1.html
内容: ネットワーク理論についてのエッセイ

[d.m-hiyama][category theory][functor data model][introduction]
内容: Spivak (http://math.mit.edu/~dspivak/) の関手データモデルの入門

(iii) [d.hatena][salmonsnare][digraphs] http://d.hatena.ne.jp/salmonsnare/20100830/1283154201
内容: 有向グラフについてのオープンアクセスの教科書の紹介

注1 CSP: 並行システムにおける相互作用のパターンを記述する仕様記述言語
[wikipedia] https://ja.wikipedia.org/wiki/Communicating_Sequential_Processes
https://ja.wikipedia.org/wiki/%E3%83%97%E3%83%AD%E3%82%BB%E3%82%B9%E8%A8%88%E7%AE%97
Object-Z: 形式仕様記述言語である Z 言語のオブジェクト指向版
[wikipedia] Z言語: https://ja.wikipedia.org/wiki/Z%E8%A8%80%E8%AA%9E
[CiteSeer][CSP][Fischer 97] http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.5983
内容: Objext-Z と CSP の組合わせ CSP-OZ を提案