リアクティブブロック

Reactive Blocks ^[1]は、アクティビティ図に基づいた視覚的な モデル駆動型開発環境であり、正式なモデル分析、自動コード生成、階層型モデリング、Javaプラットフォームですぐに使用できるコンポーネントの広範なライブラリをサポートしています。

コアテクノロジーは、ノルウェー科学技術大学とテレマティクス研究所の研究から生まれました。^[2] Reactive Blocksは、形式モデル分析、自動コード生成、階層モデリング、Javaプラットフォーム用のすぐに使用できるコンポーネントの広範なライブラリをサポートする視覚的なモデル駆動型開発環境です。再利用可能なブロックを組み合わせることで、開発者は複雑なアプリケーションをグラフィカルに作成できます。

これらのビルディング ブロックは、グラフィカル モデルと Java コードの組み合わせによって定義されます。グラフィカル モデルは、UML アクティビティ ダイアグラムとステート マシンに基づいています。既存のライブラリは、Java プラットフォームの全機能を含むことができるユーザー実装のカスタム ブロックによって拡張できます。各ブロックには、入力ピンと出力ピン、およびコントラクトの形式で拡張されたインターフェイス記述があります。コントラクトは、ブロックの状態と、どの状態でどのピンと対話できるかを示します。

Reactive Blocks は、グラフィカル モデルと契約情報を組み合わせてアプリケーションを正式に分析し、デッドロックや不正な終了などの一般的な問題を検出します。分析で問題が見つかった場合は、アプリケーションの対応する状態を強調表示して原因を特定できます。開発環境では、問題に至るまでの状態遷移のチェーンを段階的にアニメーションで表示します。

検証に合格したアプリケーションは、自動的に Java コードに変換されます。ビルディング ブロックのアプリケーションは正しい形式定義であるため、ビルダーはそのロジックをコードに変換できます。生成されたコードは標準の Eclipse Java プロジェクトにパッケージ化されるため、他のコードと同様に扱うことができます。実行可能な JAR のエクスポート、デバッグ、プロファイリングも同様に機能します。

• Java (ソフトウェア プラットフォーム)
• オープンサービスゲートウェイイニシアチブ^[3]
• Eclipse Kuraは、M2Mアプリケーションの相互運用性オープンソースプロジェクトです。^[4]
• ESFは、M2Mマルチサービスゲートウェイ、スマートデバイス、IoTアプリケーション向けの包括的かつターゲットを絞ったJava OSGiソフトウェアフレームワークです。^[5]

• Kraemer, Frank Alexander; Herrmann, Peter (2010)。「分散 UML アクティビティのリアクティブ セマンティクス」。分散システムの形式技法: 第 12 回 IFIP WG 6.1 国際会議合同。オランダ、アムステルダム: Springer Berlin Heidelberg。pp. 17–31。doi : 10.1007/978-3-642-13464-7_3。10.1007 /978-3-642-13464-7_3。
• Kraemer, Frank Alexander (2015-04-09). 「ブロックごとに IoT アプリケーションに向けて」(PDF) . Bitreactive . 2016-09-26に取得。