記述論理によるUMLの表現(ツール)(「夏のデータベースワークショップ(DBWS2003)」一般)
スポンサーリンク
概要
- 論文の詳細を見る
UML (Unified Modeling Language)は,情報システムの設計開発に関する言語であり,事実上の業界標準的な手法として知られる.しかし,定義の曖昧さが残るため,モデル変換,等価性判定,冗長性の検証,無矛盾性の検査などの設計開発過程で要する知的な操作を行うことが極めて難しい.記述論理によるUML記述は,クラス図のモデル化と推論に試みられており,従来直観的に板われていた表現手法に形式的な枠組みを適用できる.本研究では,協調図上のオブジェクトの振舞いに対し記述論理による表現を提案する.記述論理式で表現されたクラス図スキーマとの整合性や冗長性を推論することにより,システム仕様機能を検証できる.
- 社団法人電子情報通信学会の論文
- 2003-07-09
著者
関連論文
- 語釈拡張に基づくテキスト項目の同定(セッション1:テキストマイニング)
- 語釈拡張に基づくテキスト項目の同定(セッション1:テキストマイニング)
- 拡張可能グリッドファイルにおける最近傍検索の改善(マルチメディア情報検索, データ工学論文)
- Local Effect Gamesにおける相関均衡を用いた行動選択(一般,「ユビキタス,センサ環境におけるデータベース」,及び一般)
- 単語分布からのトピック推定(セッション1:テキストマイニング)
- 並列環境のためのページングB木におけるキャッシュの有効活用
- B木ファイルのブロック整列
- 選言パターン抽出のオンライン分析
- 単語分布からのトピック推定(セッション1:テキストマイニング)
- 並列環境のためのページングB木におけるキャッシュの有効活用
- B木ファイルのブロック整列
- 遷移確率距離を用いた類似文字列検索(フレッシャーズセッション)
- カラーペトリネットによるデータベースモデルの性能解析
- HMMを用いた文書における事象系列の推定
- 確率過程に基づく複旋律分類
- 記述論理を用いたUML整合性の検証システムの実現
- Webからの時制クラスタの解釈(Web3)(夏のデータベースワークショップDBWS2004)
- 拡張可能グリッドファイルにおける最近傍検索の改善(インデクス)(夏のデータベースワークショップDBWS2004)
- Webからの時制クラスタの解釈(セッション10C : Web3)(夏のデータベースワークショップ : DBWS2004)
- 拡張可能グリッドファイルにおける最近傍検索の改善(セッション1B : インデクス)(夏のデータベースワークショップ : DBWS2004)
- 同義語,多義語の考慮による文書分類の精度向上(情報検索・文書分類)
- ランダムプロジェクションを用いたニュースストリームの検索
- Webからの時制クラスタの解釈
- 時系列データからの時制クラスの発見
- 記述論理によるUMLの表現(セッション1C : ツール)
- 記述論理によるUMLの表現(ツール)(「夏のデータベースワークショップ(DBWS2003)」一般)
- D-4-2 例による楽曲の検索
- 回帰分析によるストリームデータのクラスタリング
- k次伝播SOMによるデータ分類
- 木構造ハッシュによる分散処理(データ処理アルゴリズム)
- 木構造ハッシュによる分散処理(データ処理アルゴリズム)
- D-4-9 メタオブジェクトの管理と表現
- D-4-8 オブジェクトとメタオブジェクトの調和 : HOMEシステム方式
- 論理超グラフ文法による構造パタンの表現と識別
- 帰納分類によるトランザクション動作の発見
- 帰納分類によるトランザクション動作の発見
- 産能大学研究ネットワーク上の対話型教育メディア・コミュニケーション・システムの構築と教育への適用の新しい試み
- 単語の出現頻度からのウェブサイトの特徴
- 産能大学研究ネットワーク上の対話型教育メディア・コミュニケーション・システムの構築と教育への適用の新しい試み
- 産能大学研究ネットワーク上の対話型教育メディア・コミュニケーション・システムの構築と教育への適用の新しい試み
- κ次伝播SOMによるデータ分類
- LCC-論理コンパイラコンパイラ
- 分散型PSE
- Webによる問題解決型支援環境--Web based PSE
- Webによる問題解決型支援環境
- 階層型隠れマルコフモデルの高速パラメータ推定
- メタデータを用いたOLAP操作
- メタデータを用いたOLAP操作
- 4L-10 決定木の緩和
- データベースからの概念学習
- スキーマ発見のための型近似(新世代データベース技術 : インターネット・マルチメディア・モーバイルを中心として)
- 柔構造データベースのための統合化言語
- 複合型階層
- 複合型階層
- データベースにおける型スキーマの発見
- メタ制御による情報ベースのブラウズイング法
- メタ制御による情報ベースのブラウズイング法
- 論理言語に基づくデータベース検索経路の選定
- 3. 複合オブジェクトに基づく演繹データベース (演繹データベース)
- メディア・コミュニケーションに関する情報教育支援環境の研究
- メディア・コミュニケーションに関する情報教育支援環境の研究報告
- 文脈自由超グラフ文法のGreibach標準形