RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
スポンサーリンク
概要
- 論文の詳細を見る
RACCOは,実時間プロセス制御システムのソフトウェアを迅速かつ正確に開発し,保守するために,システムをモデル化して記述するための言語である.その意図するものは,動的で複雑なシステムの様々な構成要素とそれらの相互作用を自然にかつ簡潔に記述することである.記述したモデルのシミュレーション,低レベルコードへの等価変換・コンパイル等が可能なように考慮されている.本論文ではRACCOの文法および意味を具体的な例を用いて解説し,その形式的意味と実現について述べる.加えてRACCOの設計思想についても議論を行う.
- 日本ソフトウェア科学会の論文
- 1988-07-15
著者
-
新出 尚之
奈良女子大学理学部
-
服部 隆志
慶應義塾大学環境情報学部
-
中島 玲二
京都大学数理解析研究所
-
中島 玲二
(財)京都高度技術研究所:京都大学数理解析研究所
-
竹中 一起
住友金属工業(株)
-
服部 隆志
京都大学数理解析研究所
-
桜川 貴司
京都大学数理解析研究所
-
新出 尚之
京都大学数理解析研究所
-
新出 尚之
奈良女子大学
-
竹中 一起
住友金属工業
関連論文
- 自律エージェントの論理モデル(論理に基づく推論研究の動向)
- 構造化文書の3次元可視化と効果的なナビゲーションによる癒し系RSSリーダーの開発
- ViPPER : ロボットを使用した初等教育向けビジュアルプログラミング
- コンパイル時に織り込み位置を決定する動的アスペクト指向プログラミング(開発環境)
- Litesに対する並列分散データストリーム機能拡張の設計
- Litesに対する並列分散ファイル入出力機能拡張の設計
- Litesにおける並列分散処理機能の設計
- 3W-7 多面分類法とUMLを用いたオブジェクト群検索システム
- TCCT : タイマを柔軟に制御可能な時間付きプロセス計算
- 時間イベントパターンマッチング
- Real-Time Synchronization Machines for Continuous Media Data(Concurrency Theory and Applications '96)
- Towards a Formal Framework for Multimedia Data and Their Players With QoS
- 1Q-7 内部データの視覚化によるプログラミング支援ツール(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
- 鉄鋼プロセス制御システム開発一貫支援システム : 評価
- 鉄鋼プロセス制御システム開発一貫支援システム : 共同作業支援
- 鉄鋼プロセス制御システム開発一貫支援システム : ドキュメントエディタ
- 鉄鋼プロセス制御システム開発一貫支援システム : システム概要
- 自律エージェントの論理モデル
- FIPA+BDIアーキテクチャ=合理的エージェントの実現方法
- 大気科学のための3次元可視化システムGateau : デザインコンセプトと実用評価
- HDF-EOSのためのGateau APIの設計と実装
- Gateau:大気科学研究のための直感的な分析を実現する3次元可視化システム
- GMWウィンドウ・システム上のアプリケーション構築について
- 写真からのオブジェクト抽出を利用した物品貸し借りプラットフォームの提案(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- 写真からのオブジェクト抽出を利用した物品貸し借りプラットフォームの提案(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化とその応用
- 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化とその応用
- マルチエージェント環境において意図的に言語行為を遂行する合理的エージェントの基本設計
- 分散OS ToMにおけるネットワーク上のRPCの設計
- RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
- Temporal Prolog : A Programming Language Based on Temporal Logic
- 4P-2 デジタルアーカイブにおける時空間情報の提示手法(情報可視化,学生セッション,データベースとメディア)
- 5M-7 経路探索アルゴリズムを利用した集合場所探索アルゴリズム(アルゴリズム,学生セッション,ソフトウェア科学・工学)
- 5ZE-3 Webを用いた参加型プレゼンテーション(会議支援,学生セッション,インターフェース)
- 5Y-3 集中制御可能な分散型トレーディングシステム(分散システム・アプリケーション,学生セッション,ネットワーク)
- 携帯電話の測位機能を用いた有意位置の学習(位置検出技術, ユビキタスITSとモバイルアプリケーション)
- コンテクスト情報と操作履歴の関連付けによる操作予測システムの提案(位置情報・コンテクスト依存サービス)
- 個人の知識に応じた教材の自動構成システムの実現
- IT革命雑感
- Keio-MMPにおけるUI開発環境の設計
- 地震短期予測のための統合的データベースシステムの設計
- 拡張BDI論理TOMATOesを用いた強化学習のモデル化について
- 拡張BDI論理TOMATOes による協調行為のモデル化と応用
- 動的なコミットメント戦略を考慮したBDIアーキテクチャ
- 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化について (特集 「機械学習の諸科学への応用」および一般)
- 健康状態の推定を目的とした排便物識別のための一手法
- SVMを用いた論文分類システムの構築
- モジュラー・プログラミングのための支援環境
- 区間時制論理に基づいた実行可能かつ公理的体系を持つ論理型言語AYA
- A-7-3 P2P アプリケーションフレームワーク SOBA のセキュリティ機構
- B-19-18 ネットワーク上にP2Pで構築された共有空間の維持(B-19. ネットワークソフトウェア, 通信2)
- B-6-188 SOBAフレームワークにおけるファイアウォール越えのP2P通信手法(B-6. ネットワークシステム)
- B-6-187 SOBAフレームワークによるP2Pネットワーク上の共有情報伝搬機構(B-6. ネットワークシステム)
- B-15-9 ネットワーク上に構築されたP2P仮想共有空間への携帯端末からの参加(B-15.モバイルマルチメディア通信)
- ソフトウェアの形式的開発技法,その実用化への課題 : IFIP'83パネル討論会から
- Ada「批判」 (プログラミング言語 : PascalとAda)
- Proposal of Programming and Verification Scheme : Program Verification Integrated with Structured Programming (計算機構の数学的研究)
- 拡張BDI logicを用いたBDIと強化学習の統合について
- BDIアーキテクチャにおけるコミットメント戦略を実現するための形式的検証手続き(ソフトウェア基礎,プログラム理論)
- 意図に基づくエージェントアーキテクチャ(意図研究のスペクトル)
- 意図に関する論理体系(意図研究のスペクトル)
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- 合理的エージェントの心的状態に関する整合性の実現と応用について(ソフトウェアエージェントとその応用論文)
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- BDI Logicのsequent calculusによる演繹体系(マルチエージェント)
- 優先度付き制約論理型プログラミング (制約論理プログラミング)
- 時制論理における時間軸の抽出 : 論理プログラミングとプロセス固有時間
- 2nd IEEE Conference on Computer Workstations
- Time-Extraction for Temporal Logic : Logic Programming and Local Process Time
- プロコン老朽更新技術の確立
- 当世ワ-クステ-ション事情
- 意図の概念を持つ自律エージェントモデルを用いた実世界ロボットの知的制御
- 鉄鋼プロセス制御システム開発一貫支援システム : プログラミング支援
- 実世界の多様性に適応したBDIロボットについて
- 技術情報D/B検索・解析システムDARAS
- 鉄鋼プロセス制御システム開発一貫支援システム : 設計データベース
- BDI logic の sequent calculus による演繹体系とマルチエージェント環境への拡張
- パソコンによるX端末の構築とセンターUNIXシステムの利用
- エキスパ-トシステム構築ツ-ル(SMI/MARKS-2)の開発 (AIシステム)
- PCTEを応用したデータベース間のデータ移送機構
- 実世界の多様性に適応したBDIロボットについて (数理モデル化と応用 Vol.5 No.1)
- アトラクター状態を用いた実世界における基本行為の学習について
- 不確実性に対処可能なTeleo-reactive Programの意味論とその応用
- 情報教育と情報入試:12.グローバルな学際人材のための情報科入試
- 連続した状態空間での合理的エージェントの行為を扱う論理モデルの試み(理論,ソフトウェアエージェントとその応用論文)
- 拡張BDI論理TOMATOを用いた確率的状態遷移のモデル化とその応用 (数理モデル化と応用 Vol.4 No.3)