UMLに時間（オートマトン）、UMLと開発プロセス→検証

まとまりのない話だけど・・・

---

■UMLに時間
UMLの中でも、ステートチャート図、さらに、UML　Profile for SPTを使って考える
UML Profile : UMLにつけるこめんとみtainamonn
UML　Profile for SPT:時間に関してのコメント。今回は３つのステレオタイプを使う
　　　　　RTtimeout　　RTstart
　　　　　　　　　　　　その時間とどまってから実行

　　　　　SAaction　　　SAworstcase,SAdelay：doアクティビティの最大、最小時間
　　　　　　　　　　　　これがなければ、瞬時に実行

　　　　　CRsynch　　　なし：完全同期（相手が準備完了になるまでブロック）
　　　　　　　　　　　　つけないとき、キューの長さ１

　こいつをつかって、Uppaalに落とす。
　ステートチャートのアクティビティ１個が、Uppaalの１ロケーション

---

■開発プロセスとUML

開発プロセス

要求分析　　　　　　：ユースケース図、システム構成図、シナリオ記述、非機能要件
システム分析　　　　：アクティビティ図、シーケンス図（分析モデル）
ドメイン定義　　　　：クラス図／パッケージ図
エンティティ分析　　：クラス図（分析モデル）
ドメイン内部の分析　：クラス図、コラボレーション図、ステートチャート図
アーキテクチャ設計　：非機能要件→各図へのコメント追加
詳細設計　　　　　　：クラス図、シーケンス図、ステートチャート図


ドメイン内部の設計＝基本設計

そのあと、実装→テストとなっていく。

---

■検証モデルをつくるために、設計モデルに必要な要件
・個々の処理フローがわかる（ないしは、未定のところがわかる）
・入出力と処理の関係がわかる
・（Uppaalで行う場合）時間情報がわかる

■適用する際に考えること
　　・検証モデル：なにを検証したいか（対象）
　　・検証したい性質：何について検証するか

Oracleの説明、新人研修用に使えそうなサイト

新人にoracleを説明する際に、使えそうなサイト

OTN セミナー　オンデマンド コンテンツ
http://www.oracle.com/technology/global/jp/ondemand/otn-seminar/beginner/index.html
の以下のもの

超入門！Oracleデータベースって何だ！？
今さら聞けない Oracle 入門
ここからはじめよう　Oracle SQL入門
SQL Developer と Data Modeler で楽々アプリケーション開発
java超入門！

なお、これも、余裕があったら見たほうがいい
意外と簡単!? Oracle Database 11g　-データベース構築編-
意外と簡単!?　OracleDatabase11g -データベース設定編-

---

新人には、いらないだろうが。。。
容量サイズ見積もりについて

昔は、「領域サイズ見積り」というサービスがあったが、終わっている

ということで、以下の資料しかないのかなあ・・・
http://otndnld.oracle.co.jp/deploy/maintenance/pdf/size_est.pdf

または
第3部 テーブルの設計
http://otndnld.oracle.co.jp/skillup/oracle9i/3_1/index.html
でも、9i用だから、かなり古い。

---

ダウンロード(windows版）

たしか、フリーのもの

DB
Oracle Database 10g Release 2 (10.2.0.1)Express Edition for Microsoft Windows
http://www.oracle.com/technology/global/jp/software/products/database/xe/htdocs/102xewinsoft.html

操作ツール
Oracle Enterprise Manager
http://www.oracle.com/technology/global/jp/software/products/oem/index.html

---

オラクルダイレクトセミナー
http://www.oracle.co.jp/direct/seminar

いろんな講義が、ただでやっている。

12月5日(日)のつぶやき

21:38 from web
ブログった「グーグルが中国国内から受けたサイバー攻撃は、中国最高指導部のメンバーの指示っていう、WikiLeaksの記事って、これ？ 」 　http://plaza.rakuten.co.jp/struts/diary/201012050000/
by xmldtp on Twitter