モデリング技術の新しい動向

記事一覧

モデリングとしてのオントロジと関連ツール

オントロジとは「オントロジ」という言葉を聞き慣れない方も多いでしょう。もともとは哲学の用語であり、存在論あるいは存在に関する体系的な理論を指します。工学分野におけるオントロジとは、対象世界に存在して対象世界を形造っている概念と概念との関係を、体系的にまとめて記述したものを指します。オントロジを使えば

西村泰保

2010年9月29日 20:00

開発ツール
技術解説

形式手法とモデリング - AlloyAnalyzerを中心に

1. 初めにソフトウエアの欠陥がもたらす影響がクリティカルになるにつれて、より間違いの少ない開発手法に注目が集まっています。そんな中で注目されている技術の1つが、形式手法です。形式手法とは、数学をベースにしたシステム開発手法の総称です。ですが、従来の形式手法は、数学の専門知識が必要だったほか、大がか

小林健一

2010年9月22日 20:00

開発ツール
技術解説

SysMLを利用可能なモデリング・ツール「Enterprise Architect」

今回（第2回）は、モデリングの手段としてSysMLを使うことのメリットを、モデリング・ツールの機能解説を通じて探ります。説明上、SysMLを利用可能なモデリング・ツールとして、オーストラリアのSparx Systemsが開発した「Enterprise Architect」を使います。SysMLを利用

河野岳史

2010年9月15日 20:00

設計／手法／テスト
開発ツール
技術解説

UMLの現状とSysMLの最新動向

本連載の予定「モデリング技術の新しい動向」というテーマで、4回の連載を行います。UMLやSysMLといったポピュラなものだけでなく、今回は、形式手法やオントロジといった、ちょっと今までとは違った切り口で、モデリングの可能性を見ていきます。また、それぞれの技術をサポートするツールも紹介します。第1週:

皆川誠

2010年9月8日 20:00