astah* System Safety FAQ


astah* System Safetyは、他のastah製品のデータをインポートできますか?

astah* System Safety 7.0以降のバージョンで astah* GSN、astah* SysML 各製品のモデル情報をインポートできます。次の手順でプロジェクトファイルをインポートしてください。



  1. インポートしたいastah* GSNのファイル(.agml)を用意します
  2. astah* System Safetyのメインメニュー[ツール]-[GSN]-[astah* GSNプロジェクト(.agml)のインポート]を選択します。
  3. 表示されるダイアログで .agmlファイルを選択し、インポートします。

インポートされない要素

  • astah* System Safetyでサポートされていないミニアイコン
  • ネストされている図要素



  1. インポートしたいastah* SysMLのファイル(.asml)を用意します。
  2. astah* System Safetyのメインメニュー[ツール]-[UML/SysML]-[astah* SysMLプロジェクト(.asml)のインポート]を選択します。
  3. 表示されるダイアログで .asmlファイルを選択し、インポートします。

astah* System Safetyでは、準拠するSysML仕様の版を更新したこと、仕様への準拠性を向上したこと、対応要素の差異からインポートされない、もしくは表現が変化するモデルがあります。

全般

制限

  • astah* System Safetyでサポートされていない一部のミニアイコン

仕様への準拠性向上の影響を受ける要素

  • 同じステレオタイプを同じモデル要素に重複して適用することはできません
  • モデル要素の名前が重複する場合は一意になるように変更されます

仕様への準拠性向上のため扱いの変わる要素:ステレオタイプとタグ付き値

  • ステレオタイプは、対応する事前定義ステレオタイプにマッピングを試みられます
  • 事前定義ステレオタイプに対応するものがない場合は、簡易ステレオタイプにマッピングされます
  • タグ付き値は、プロファイル上のステレオタイプにより定義されます
  • タグ付き値は、それぞれのモデル要素の先頭の簡易ステレオタイプに定義されます
  • 簡易ステレオタイプが適用されていないモデル要素の場合は、タグ付き値は無視されます

各図

要求図

  • [仕様への準拠性向上の影響] テストケースはID属性を持てません

ブロック定義図

  • [制限] 結合された要求・提供インタフェースの場合でも、結合表記としてはインポートされません
  • [仕様への準拠性向上の影響] 実現や使用依存が接続するポートの型が<>の場合、適当な型が設定されます
  • [仕様への準拠性向上の影響] アクターは属性および操作を所有できません
  • [仕様への準拠性向上の影響] ユニットおよび、量種別には関連を接続できません
  • [仕様への準拠性向上の影響] インターフェースとその他の分類子間は汎化を接続できません
  • [仕様への準拠性向上の影響] インターフェースはアクティブ属性を持てません
  • [仕様への準拠性向上の影響] 汎化は名前属性を持てません
  • [仕様への準拠性向上の影響] 多次元の多重度はサポートされません

内部ブロック図

  • [仕様への準拠性向上の影響] パート、外部パートの型が<>の場合、適当な型が設定されます
  • [仕様への準拠性向上の影響] アクターを型とするパート、外部パートはインポートされません

パラメトリック図

  • [仕様への準拠性向上の影響] 制約ブロック配下のバリュープロパティは制約パラメータとしてインポートされます
  • [仕様への準拠性向上の影響] 同一モデルのバリュープロパティ図要素はひとつだけインポートされます

ユースケース図

  • [制限] ユースケース記述はインポートされません

アクティビティ図

  • [制限] コネクタの図要素表現は通常のアクションに簡素化されます
  • [制限] オブジェクトノード、パラメータノードは状態属性を持てません
  • [制限] オブジェクトノードにはステレオタイプを適用できません
  • [仕様への準拠性向上の影響] プロセスの図要素表現は通常のアクションに簡素化されます
  • [仕様への準拠性向上の影響] フロー終了ノードは入力ピン、出力ピンを所有できません
  • [仕様への準拠性向上の影響] シグナル送信アクションは出力ピンを所有できません
  • [仕様への準拠性向上の影響] イベント受信アクション、時間イベント受理アクションは入力ピンを所有できません
  • [仕様への準拠性向上の影響] オブジェクトノードは効果、例外、ストリーム属性を持てません
  • [仕様への準拠性向上の影響] オブジェクトフローはオブジェクトノード、出力ピン、入力ピン、アクティビティパラメーターノード間以外に接続できません
  • [仕様への準拠性向上の影響] パーティションの責任要素としてユニット、量種別を参照できません

ステートマシン図

  • [仕様への準拠性向上の影響] サブマシン状態はスタブ状態を所有できません

シーケンス図

  • [仕様への準拠性向上の影響] 複合フラグメント(assert)は複数のオペランドを所有できません
  • [仕様への準拠性向上の影響] メッセージはガード、返り値変数、返り値属性を持てません
  • [仕様への準拠性向上の影響] ライフラインの型としてユニット、量種別を参照できません