プロセス代数によるリアルタイムオブジェクト指向プログラミング言語の意味論
スポンサーリンク
概要
- 論文の詳細を見る
本論文ではプロセス代数によるリアルタイムオブジェクト指向プログラミング言語の意味定義の方法を示す.この方法は時間的特性の表現能力を拡張したプロセス代数体系をもとにするもので,プログラミング言語の構文要素ごとにそのプロセス代数の式に変換する規則を与え,その規則を通じて言語の意味を定義していくものである.この意味定義の特徴は,このプロセス代数の表現性によりタイムアウト処理や遅延実行などの時間的特性,さらに並行実行,オブジェクト間通信,オブジェクトの動的生成などの並行オブジェクト指向計算の特徴が表現できることにある.さらにこの意味定義ではプログラムの実行時間と同時に実行される並列動作数を任意に与えることができることから,例えば特定個のプロセッサにより実行されるリアルタイムプログラムの動作内容とそれの実行時間が解析できるようになる.論文ではこの意味定義によるプログラムの解析技法についても例示する.
- 一般社団法人情報処理学会の論文
- 1994-11-15
著者
-
佐藤 一郎
国立情報学研究所
-
所 真理雄
慶応大
-
所 真理雄
慶応義塾大学理工学部院
-
所 真理雄
慶應義塾大学
-
所 真理雄
慶應義塾大学理工学部:(株)ソニーコンピュータサイエンス研究所
-
所 真理雄
慶應義塾大学電気工学科
-
所 真理雄
慶應義塾大学大学院理工学研究科:(株)ソニーコンピュータサイエンス研究所
-
所 真理雄
ソニーコンピュータサイエンス研究所
-
佐藤 一郎
慶應義塾大学理工学研究科計算機科学専攻
-
佐藤 一郎
慶應義塾大学
関連論文
- コンピュータサイエンスによる物流トラックの温室効果ガス排出削減
- ICタグによるCO_2排出量取引
- 8.コンピュータサイエンスはいかにして人類の未来に貢献するか : オープンシステムサイエンスにおけるコンピュータサイエンスの役割(情報処理技術の未来地図,50周年記念特集号)
- オブジェクト指向計算特集の編集にあたって
- サウンドスポット : 博物館の展示支援向け局所音声再生システム(教育システムにおけるプラットホームとコンテンツ開発論文)
- 博物館向けコンテキスト依存サービスにおけるM-Spaces空間モデルの実証実験(モバイルコンピューティング,情報洪水時代のネットワークサービス)
- 3B2-I2 サウンドスポット : 博物館の展示支援向けスピーカーアレイセンサシステム(ITを使ったインタラクションのある学習のデザイン,自主企画課題研究,日本科学教育学会 第30回年会論文集)
- 2A1-H1 サウンドスポット : スピーカーアレイ技術による次世代音声展示支援システム(サイエンスコミュニケーション活性化のための博物館・科学館の新しいチャレンジ,学会企画課題研究,日本科学教育学会 第30回年会論文集)
- 海外の携帯電話業界事情
- 35歳定年説
- MobiDoc: ネットワークを考慮した複合ドキュメントフレームワーク(ネットワークアプリケーション)(新時代の分散処理とネットワーク(WebサービスとP2P))
- スマートスペースのプログラミングモデル(ユビキタスコンピューティング)(次世代移動体通信システム)
- RFIDタグ:技術動向と影響(スマートタグ)
- Webプロトコルを用いたホームコンピューティングミドルウェアの統合(組み込み機器とネットワークシステム)
- (モバイルエージェント)モバイルエージェントの経路記述と選択機構(オブジェクト指向技術)
- モバイルエージェントを用いたセンサネットワーク向けフレームワーク
- モバイルエージェントを用いたセンサネットワーク向けフレームワーク(高速ネットワークとマルチメディアアプリケーション)
- SpatialAgents : Integrating User Mobility and Program Mobility in Ubiquitous Computing Environments
- ユーザ追随型モバイルエージェントフレームワーク"FollowingSpace"の提案と応用(次世代移動通信ネットワークとその応用)
- Flying Emulator : 携帯端末用ソフトウェアの開発試験環境(次世代移動通信ネットワークとその応用)
- Reusable Mobile Agents for Managing Networks (特集 e-Japan時代のインターネット/分散システムの構築・運用技術)
- モバイルエージェント技術と研究動向 (情報プラットフォーム)
- ソフトウェア技術を利用したCO2排出削減(「グリーンAI」及び一般)
- 明日のイメージコミュニケーションを考える
- 健診システムにおける「曖昧さ」の取り扱いに関するアプローチ
- マルチメディアと研究・教育
- ApertosオペレーティングシステムによるIPv6ルータの構築
- 超高精細画像マルチメディアと超高速コンピュータネットワーク実験
- SOSP-14:オペレーティングシステムに関する国際会議に参加して
- 原子オブジェクトにおける協調原子性の実現方式
- マルチバージョン原子オブジェクト
- 並行オブジェクト指向言語 : Concurrent Smalltalk
- スロット仮想空間によるオブジェクト間通信の高速化
- エージェント指向言語MALS
- パネル討論会 : オブジェクト指向の展望 : 昭和63年度後期第37回 全国大会報告
- 進化する学習エージェント集団の動的環境への適応
- 個人レベル排出量取引
- フローを考慮した経路制御機構
- マルチキャスト通信のための鍵交換プロトコルの拡張
- マルチキャスト通信のための鍵交換プロトコロルの拡張
- マルチキャスト通信のための鍵交換プロトコルの拡張
- 3次元メモリを用いた立体図形表示機構--SCOPE (画像処理特集) -- (画像の生成)
- 視線を伴った表情とのインタラクション
- 行動シミュレーションに基づいたアニメーションシステムParadise
- 「専用プロセッサの方式とシステム構成特集号」を編集するにあたって
- マルチバージョン並行オブジェクト
- トランザクション管理オブジェクトによる一貫性保証方式
- 情報学にパラダイムシフトを起こすオープンシステムサイエンス！ 情報担当者はどう理解し，どう行動すればいいのか (株)ソニーコンピュータサイエンス研究所代表取締役社長 所眞理雄氏に聞く
- 10. 技術成熟期における研究開発(1000号記念「夢・創・想・感」)
- Special Talk 特別対談 ソニー所 眞理雄氏 対 松下電器産業 櫛木好明氏--CE Linuxに託す僕らの想い (特別編集版 GLP最前線)
- 特別対談 ソニー 所眞理雄氏 対 松下電器産業 櫛木好明氏 CE Linuxに託す僕らの想い
- INTERVIEW ソニー執行役員上席常務 所眞理雄氏--ユビキタスで会社を楽しくしよう 効率最優先はデフレを加速するだけ
- ボーダレス社会と二十一世紀の教育研究
- 再会を考慮した協調方式
- イメージネットワーク
- 非均一環境における分散GAの個体移動に関する考察
- 動的環境下における学習と遺伝・進化 : ダーウィニズムとラマルキズムの比較(複雑系5)
- 進化的エージェント集団の動的環境への適応 ( マルチエージェント)
- 25年後の技術を語る
- 自己反映的分散プログラミングシステムAL-1/Dにおけるオブジェクトの動的再配置 (自己反映計算(リフレクション))
- オブジェクト指向並行プログラミング言語 (オブジェクト指向プログラミング)
- 並行オブジェクト指向知識表現言語Orient 84/K
- 計算場における分散プロセスの準最適配置
- リアルタイム通信プロトコルRtPの設計
- 分散実時間システム記述言語DROLにおける最小被害戦略の実現
- 並行オブジェクト計算のための形式系 (オブジェクト指向研究会から)
- 分散人工知能とプログラミング言語 (「分散人工知能」)
- 分散計算のための局所時間性に基づく形式系
- ソフトウェア技術を利用したCO2排出削減
- 35歳定年説(サイバー増大号)
- JACICミニ講座 ICタグとは
- 離散系シミュレーションの分散時刻管理
- マルチエージェントシステム研究の目指すもの : コメントに対するコメント
- 高度情報化社会のためのソフトウェア構築方法論
- マルチエージェントシステム研究の目指すもの
- マルチエージェントシステムにおける競合回避のためのネゴシエーション手法 ( マルチエージェントと協調計算)
- 地図を用いた協調探索 : 複数エージェントの集結問題を例として ( マルチエージェントと協調計算)
- プロセス代数によるリアルタイムオブジェクト指向プログラミング言語の意味論
- 時間的特性を考慮した並列プロセスの形式的記述 (並列処理)
- ソフトウェア産業の健全な発展に向けて
- 適応化コンポジション : 開放型システムにおけるコンポジションに基づいた新しいソフトウェア構築手法 (オブジェクト指向研究会から)
- オペレーティングシステムの観点から (超並列処理)
- 自律的エージェントからなる組織の計算モデルと分散協調問題解決への応用
- カットオペレータを排除し明示的に制御を行う論理型言語 : ALEX
- データ駆動型計算機における準動的並列実行制御
- 分散型知識処理に適したオブジェクト指向ルールベース・プログラミング
- On the Working Set Concept for Data-flow Machines : Consideration on List Processing on a Hierarchical Structured Memory
- Tenth ACM Symposium on Operating Systems Principles
- 可変構造計算機とソフトウェア・エンジニアリング
- IVERSON言語(A Programming Language)
- モバイルエージェントの実世界応用と携帯端末の利用
- ICTを利用した小口で簡易な排出権取引
- モバイルエージェント
- FAQモバイルエージェント(特集・新世紀フォーラム)
- モバイルエージェントの動向 (「モバイルコンピューティングとエージェント」)
- AgentSpace:高階モーバイルエージェントシステム
- AgentSpace: 高階モーバイルエージェントシステム
- AgentSpace : 高階モーバイルエージェントシステム(並列・分散)
- プロセス代数に基づく並列プログラムの最適化
- 診療支援システムにおける" あいまいさ" の研究