ホーム フォーラム一覧 - トピック一覧 astah*への改善アイデア
アクティビィ図のコントロール名について | 投稿するにはまず登録を |
| フラット表示 | 前のトピック | 次のトピック |
| 投稿者 | トピック |
|---|---|
| t-enda | 投稿日時: 2008-6-23 18:06 |
新米   登録日: 2008-6-19 居住地: 投稿: 2 |
Re: アクティビィ図のコントロール名について ご返答ありがとうございます。
検証ツールは以下のような仕組みでアクティビティ図を検証しています。 例）アクティビティ図の例 ●開始状態0 ↓（接続元=開始状態0/接続先=オブジェクト_01） □オブジェクト_01 ↓（接続元=オブジェクト_01/接続先=アクション_02） ◇アクション_02 ↓（接続元=アクション_02/接続先=終了状態0） ◎終了状態0 ��jude apiを利用して各ノードから接続元と接続先の属性（クラスプロパティ）を抽出する。 ��開始〜終了間を各クラスの属性に従い疑似インプリメント実行させてトークンが正しく流れる事を検証する。 �３謄痢璽匹呂修譴召譴亮鑪爐砲茲辰謄函璽�ン到達時のアクション（メソッド）が異なる。事前/事後条件のチェックによりアクティビティの整合性（〜の前には〜が存在、〜後には〜が生成）をチェックしている。 ※）検証ツールは主にVDM toolsを用いております。 上記の例ですと、例えば「オブジェクト_01」が複数存在した場合はインスタンスの生成時に名前の重複でエラーとなってしまいます。 IDもapiにて取得可能との事ですが、IDは取得する都度IDが変わるので今回の用途には使用できません。トークンの実行履歴をドキュメントとして出力する機能があるのですが、IDですと数字の羅列に過ぎないのでアクティビティ図と見比べた時に意図した流れになっているかどうか分らなくなります。 現在はアクティビティ図の作成者にコントロール名が重複しないように注意喚起して作業を進めております。 何卒対応いただけますようご検討願います。 |
| フラット表示 | 前のトピック | 次のトピック |
| 題名 | 投稿者 | 日時 |
|---|---|---|
 アクティビィ図のコントロール名について |
t-enda | 2008-6-19 15:00 |
| Re: アクティビィ図のコントロール名について |
okamura | 2008-6-23 15:14 |
| » Re: アクティビィ図のコントロール名について |
t-enda | 2008-6-23 18:06 |
| Re: アクティビィ図のコントロール名について |
okamura | 2008-6-24 10:30 |
| 投稿するにはまず登録を | |
