• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Basic Research on the logical semantics of agent calculi based on concurrent process calculi

Research Project

Project/Area Number 10680347
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionSHIZUOKA UNIVERSITY

Principal Investigator

TOGASHI Atsushi  Shizuoka University, Professor, 情報学部, 教授 (20172140)

Co-Investigator(Kenkyū-buntansha) 和泉 憲明  静岡大学, 情報学部, 助手 (50293593)
Project Period (FY) 1998 – 1999
Project Status Completed (Fiscal Year 1999)
Budget Amount *help
¥2,900,000 (Direct Cost: ¥2,900,000)
Fiscal Year 1999: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 1998: ¥1,800,000 (Direct Cost: ¥1,800,000)
Keywordshigher order process calculus / operational semantics / computation model / higher order modal logic / type system / higher order programming language / equivalence / interpretor
Research Abstract

The main objectives of this research are as follows:
(1) We propose a computational model of higher order concurrent processes and establish their theoretical operational semantics.
(2) Based on the foundations we implement a programming environment and apply it to several practical examples.
We have obtained the following results:
(1) Contraction of a Higher Order Process Calculus
We have proposed a higher order process calculus to describe concurrent systems rigorously. This calculus gives mathematical foundations of the following research items (2) and (3).
(2) Establishment of Mathematical Foundations on Operational Semantics of Higher Order Processes
For the computational calculus proposed in (1), we have carried out the following items with their results:
(a) Equivalence of Processes:
We have given a theory on equivalence of higher order processes based on their operational semantics.
(b) Higher Order Modal System and Model Checking:
We have proposed a proof system for the higher order process calculus and given the theorems on soundness and completeness. A mechanical model checking method for the system have been given as well.
(c) A Type System:
We have given a type system for the calculus and discussed its properties.
(3) Development of Programming Environment
We have implemented the programming environment for the calculus and applied it to several practical examples.

Report

(3 results)
  • 1999 Annual Research Report   Final Research Report Summary
  • 1998 Annual Research Report
  • Research Products

    (33 results)

All Other

All Publications (33 results)

  • [Publications] Sjigetomo Kimura, Atsushi Togashi, Norio Shiratori: "Inductive Synthesis of Recursive Processes from Logical Properties"Information and Computation. 記載予定. (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Fumiaki Kanezashi, Xiaosong Lu, Atsushi Togashi: "M-pi calculus: A calculus for module description"Proc.of the International Workshop on Principle of Software Evolution'99. 65-69 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Xiaosong Lu, Fumiaki Kanezashi, Atsushi Togashi: "Hierarchical Specification of Reactive System Requirements"Proc.of the 13th International Conference on Information Networking. 10B-3.1-10B-3.6 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 金指文明、富樫敦: "システム要求からの形式仕様の導出方法"情報処理学会論文誌. 第40巻第1号. 310-321 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 金指文明、富樫敦: "M-pi計算:モジュール記述を持つ計算体系"情報処理学会DICOM'99シンポジウム論文集. 43-48 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 金指文明、塚崎悟、富樫敦: "Field Walker:プロセス計算に基づく移動型エージェントシステム―Javaによる実装―(ベストプレゼンテーション賞受賞)"情報処理学会DICOM'99シンポジウム論文集. 37-42 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 金指文明、塚崎悟、富樫敦: "Field Walker:プロセス計算に基づく分散プログラミングシステム"ソフトウェア工学の基礎VI,レクチャーノート/ソフトウェア工学22,日本ソフトウェア科学会FOSE'99. 28-35 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Shigetomo Kimura, Atsushi Togashi, Norio Shiratori: "Inductive Synthesis of Recursive Processes from Logical Properties"Information and Computation. (to appear).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Fumiaki Kanezashi, Xiaosong Lu, Atsushi Togashi: "M-pi calculus: A calculus for module description"Proc. of the International Work-shop on Principle of Software Evolution '99. 65-69 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Xiaosong Lu, Fumiaki Kanezashi, Atsushi Togashi: "Hierarchical Specification of Reactive System Requirements"Proc. of the 13th International Conference on Information Networking. 10B-3.1-10B-3.6 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Fumiaki Kanezashi, Xiaosong Lu, Atsushi Togashi: "A Derivation Method of Formal Specifications from System Requirements"Journal of IPSJ. vol. 40, No. 1. 310-321 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Fumiaki Kanezashi, Atsushi Togashi: "M-pi Calculus: A Calculus with Module Description"Proc. of IPSJ Symposium DI-COMO'99. 43-48 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Fumiaki Kanezashi, Satoru Tsukasaki, Atsushi Togashi: "Field Walker: A Mobile Agent System based on Process Calculus implemented by Java"Proc. of IPSJ Symposium DI-COMO'99. 37-42 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Fumiaki Kanezashi, Satoru Tsukasaki, Atsushi Togashi: "Field Walker: A Distributed Programming System based on Process Calculus"Proc. of JSSST Symposium FOSE'99. 28-35 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Shigetomo Kimura,Atsushi Togashi,Norio Shiratori: "Inductive Synthesis of Recursive Processes from Logical Properties"Information and Computation. (掲載予定). (200-)

    • Related Report
      1999 Annual Research Report
  • [Publications] Fumiaki Kanezashi,Xiaosong Lu,Atsushi Togashi: "M-pi calculus : A calculus for module description"Proc.of the International Workshop on Principle of Software Evolution'99. 65-69 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Xiaosong Lu,Fumiaki Kanezashi,Atsushi Togashi: "Hierarchical Specification of Reactive System Requirements"Proc.of the 13th International Conference on Information Networking. 10B-3.1-10B-3.6 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 金指文明,富樫敦: "システム要求からの形式仕様の導出方法"情報処理学会論文誌. 第40巻第1号. 310-321 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 金指文明,富樫敦: "M-pi計算:モジュール記述を持つ計算体系"情報処理学会DICOM'99シンポジウム論文集. 43-48 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 金指文明,塚崎悟,富樫敦: "Field Walker:プロセス計算に基づく移動型エージェントシステム-Javaによる実装-(ベストプレゼンテーション賞受賞)"情報処理学会DICOM'99シンポジウム論文集. 37-42 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 金指文明,塚崎悟,富樫敦: "Field Walker:プロセス計算に基づく分散プログラミングシステム"ソフトウェア工学の基礎VI,レクチャーノート/ソフトウェア工学22,日本ソフトウェア科学会FOSE'99. 28-35 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 石井基樹, 山田将弘, 金指文明, 陸暁松, 富樫敦: "リアクティブシステム開発のための統合型支援環境" ソフトウェア工学の基礎IV,レクチャーノート/ソフトウェア工学20,日本ソフトウェア科学会FOSE'98,近代科学社. 50-55 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 金指文明, 陸暁松, 富樫敦: "形式仕様からシステム要求への反映" ソフトウェア工学の基礎IV,レクチャーノート/ソフトウェア工学20,日本ソフトウェア科学会FOSE'98,近代科学社. 74-79 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 金指文明, 陸暁松, 富樫敦: "システム要求からの形式仕様の導出方法" 情報処理学会論文誌. Vol.40,No.1. 310-321 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Xiaosong Lu, Fumiaki Kanezashi, Atsushi Togashi: "Hierarchical Specification of Reactive System Requirements" Proc.of the 13th International Conference on Information Networking (ICOIN-13). 10B. 10B-3.1-10B-3.6 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Atsushi Togashi, Fumiaki Kanezashi: "A Modal Proof System for Mobile Processes" 情報処理学会研究報告. 98-MBL-6. 67-74 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 金指文明、塚崎悟、富樫敦: "π計算に対する視覚化システム" 情報処理プログラミング研究会. (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 塚崎悟、金指文明、富樫敦: "π計算に対する動作視覚化システム" 情報処理学会第57回全国大会. 1E-4. (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 金指文明、富樫敦: "π計算に対する様相証明システム" 情報処理プログラミング研究会. (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 金指文明、陸暁松、富樫敦: "システム要求記述と形式仕様の導出-デバッグ結果の反映方法-" 情報処理プログラミング研究会. (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 山田、石井、金指、富樫: "システム要求仕様化のための状態遷移システム表示インターフェースの開発" 情報処理学会第57回全国大会. 1E-4. (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 石井 基樹、山田 将弘、金指 文明、富樫 敦: "効果的なソフトウェア開発のためのシステムシミュレータ" 情報処理学会第57回全国大会. 1E-4. (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 富樫 敦: "オートマトンと形式言語,電子情報通信ハンドブック" 電子情報通信学会編,オーム社, 6 (1998)

    • Related Report
      1998 Annual Research Report

URL: 

Published: 1998-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi