RACCO : 実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語

• 桜川貴司

• 竹中 一起

• 中島 玲二

• 新出 尚之

• 服部 隆志

• Takashi Sakuragawa

• Kazuki Takenaka

• Reiji Nakaijima

• Naoyuki Niide

• Takashi Hattori

• 京都大学数理解析研究所

• 住友金属工業(株)制御OR部

書誌事項

タイトル別名

• RACCO : A Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems.

抄録

RACCOは,実時間プロセス制御システムのソフトウェアを迅速かつ正確に開発し,保守するために,システムをモデル化して記述するための言語である.その意図するものは,動的で複雑なシステムの様々な構成要素とそれらの相互作用を自然にかつ簡潔に記述することである.記述したモデルのシミュレーション,低レベルコードへの等価変換・コンパイル等が可能なように考慮されている.本論文ではRACCOの文法および意味を具体的な例を用いて解説し,その形式的意味と実現について述べる.加えてRACCOの設計思想についても議論を行う.

収録刊行物

• コンピュータソフトウェア

  コンピュータソフトウェア 5 (3), 22-33, 1988

詳細情報

• CRID: 1573668927163436544
• NII論文ID: 110003743498
• NII書誌ID: AN10075819
• ISSN: 02896540
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles