リフレクション機構を持った仕様記述言語のための記述支援
スポンサーリンク
概要
- 論文の詳細を見る
形式的仕様記述言語LOTOSの動作式部分にリフレクション機構を導入し,拡張した言語としてRLOTOS(Reflective LOTOS)がある.RLOTOSでは,メタレベルとオブジェクトレベルの概念が存在する.メタレベルシステムはオブジェクトレベルの制御システムに関する情報を扱い,オブジェクトレベルの記述をデータとして扱い,実行するインタプリタが存在する.このインタプリタを制御することでオブジェクトレベルの動作を変更する.本論文では,RLOTOSを用いて仕様を記述するための総合環境について述べる.とくに本環境では,メタレベルでデータとして表現されるオブジェクトレベルの動作をユーザに理解しやすい形で提供できるようになっている.
- 一般社団法人情報処理学会の論文
- 1994-01-20
著者
関連論文
- ブックマークの協調フィルタリングを利用したディレクトリ管理
- FDTを利用したソフトウェア群の保守
- スケジュール情報からのインフォーマルコミュニティ抽出(セッション1: コミュニティー支援・コミュニケーション支援)
- スケジュール情報からのインフォーマルコミュニティ抽出(セッション1: コミュニティー支援・コミュニケーション支援)
- プロジェクト資産再利用インターフェース(協同執筆,プロジェクト支援,医療情報)
- プロジェクト資産再利用インターフェース
- 国際会議RE'09への参加報告
- Sushiによるアノテーションプログラミング
- 人と大規模ディレクトリの協調によるブックマーク管理
- Webディレクトリのためのページメタデータの自動付与の試み (2002年情報学シンポジウム 講演論文集--情報社会のセマンティクスXMLとSemantic Web,電子政府への展望,ロボットとの共生) -- (セッション1 Semantic WebとWeb Mining)
- 検索ログ分析結果を利用して知識を持つ人を探すことを支援するシステム
- 事例で進化する動的ワークフロー(教育支援,電子掲示板,ワークフロー)
- メンバ間協力関係の図示ツールとその事例による評価(セッションコミュニケーション支援)
- Sushi : プロセスの再配置可能な並列分散プログラミング言語
- プロセスの再配置が可能なストリームベース並列プログラミング言語
- 検索ログから抽出した知識の利用
- 検索ログから抽出した知識の利用
- イントラネット向け文書ディレクトリ管理システム
- 中継サーバの構造とその構築法 : クライアントサーバ間の通信の効率化の一提案
- リフレクション機構を持った仕様記述言語のための記述支援
- プロセスプログラミングにおけるリフレクション機構の有効性
- オブジェクト指向セキュリティポリシー開発