本連載の予定 「モデリング技術の新しい動向」というテーマで、4回の連載を行います。UMLやSysMLといったポピュラなものだけでなく、今回は、形式手法やオントロジといった、ちょっと今までとは違った切り口で、モデリングの可能性を見ていきます。また、それぞれの技術をサポートするツールも紹介します。 第1週: UMLの現状とSysMLの最新動向 第2週: SysMLを利用可能なモデリング・ツール「Enterprise Architect」 第3週: 形式手法とモデリング--Alloy Analyzerを中心に 第4週: モデリングとしてのオントロジと関連ツール UML(Unified Modeling Language)は、オブジェクト指向パラダイムに従ったソフトウエア・システムのモデルを記述するための、標準グラフィカル言語です。主にソフトウエア開発者によって、広く認知されています。 C++、J