Harel状態図ツールを探しています

私はを行うことができるモデリングシステムを探しています。このシステムの論文はhereです。 Specifially私ができるようになるシステムをしたいと思います：いくつかのズームレベルでの状態にし、ズームアウトステートチャート Harel状態図ツールを探しています

、および状態の自動隠蔽紙に述べたよう

並行状態、の

モデル
能力は共同（必須ではありませんが、本当にいいだろう）を編集するには

すべての情報をあなたが使用しているもので、なぜ非常に貴重になります。ありがとうございました。

出典

2011-06-22 Stephen Cagle

UMLのstatemodelsはハレルに基づいていました。ほとんどのUMLツールは、ズームイン/アウトを行うオフハンドを知らないのに、並行状態を持つ階層的な状態モデルを構築することを可能にします。コラボレーションについては、複数のユーザーがバージョン管理されたリポジトリ（Enterprise Architectなど）を多数サポートしていますが、インタラクティブ（同時）ビルドをサポートしていることはわかりません。 hth。 – sfinnie

バリアントが統一モデリング言語（UML）の一部となったため、Harelのステートチャート[5]が普及しています。（wiki）

どのようなUMLダイアグラムツールでも、あなたのニーズを満たすことができます。私はSPARX EA UMLツールに助言するかもしれません。あなたのウェブページから無料試用版をダウンロードすることができます。 http://www.sparxsystems.com/

ツールは、あなたが共同でモデル化することができます（！）（共有ネットワークドライブ上のプロジェクトファイルを置き、複製、XMIインポート/エクスポート）
それは（UML 2をサポートしていますが、並行状態を表示することができます/ substates）
ズームインとアウト状態？あなたは状態複合状態を作ることによって、これをachiveこと（国家の詳細は最初の図にヒデされ、あなたがその状態をクリックしたときには、その内部の詳細に到達することができるよう）

PS：

現実には、UMLツールを使用すると、共同でモデル化する機能はありません。単純なツールを使用して共同でモデル化することができます。次に、必要に応じてdocのツールを使用します。