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