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

Theory and Practice of Higher Order Concurrent Process Calculi

Research Project

Project/Area Number 08680343
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 Faculty of Information, 情報学部, 教授 (20172140)

Project Period (FY) 1996 – 1997
Project Status Completed (Fiscal Year 1997)
Budget Amount *help
¥2,700,000 (Direct Cost: ¥2,700,000)
Fiscal Year 1997: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 1996: ¥1,500,000 (Direct Cost: ¥1,500,000)
Keywordshigher order process calculus / operational semantics / computation model / higer order modal logic / type system / higher order programming language / equivalence / interpretor / モデルチェッキング / 双模倣
Research Abstract

The main objectives pf 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 weimplement a programming environment and apply it to several practical examples.
We have obtained the follwing results :
(1) Contraction of a Higher Order Process Calculus
Wehave proposed a higer order process calculus to describe concurrent systems rigorously. This calculus gives mathematical foundations of the following research items (2) and (3).
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 oeder 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)
  • 1997 Annual Research Report   Final Research Report Summary
  • 1996 Annual Research Report
  • Research Products

    (24 results)

All Other

All Publications (24 results)

  • [Publications] A.Togashi, F.Kanazashi, X.Lu: "A methodology for the description of system requirements and the derivation of formal specifications" Proc.of FORTE/PSTV97. 125-142 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 金指 文明, 富樫 敦: "π計算に対する証明システム" ソフトウェア工学の基礎IV,FOSE′97ワークショップ論文集,近代科学社. 20-27 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 金指 文明, 陸暁松, 富樫 敦: "ソフトウェアの効果的な開発環境" ソフトウェア工学の基礎IV,FOSE′97ワークショップ論文集,近代科学社. 67-70 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 陸暁松, 金指 文明, 富樫 敦: "システム要求と仕様記述の診断" ソフトウェア工学の基礎IV,FOSE′97ワークショップ論文集,近代科学社. 39-42 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] T.Togashi: "On Typing Systems for the Polyadic pi-Calculus" Proc.of RIMS Workshop in Computing titled Concurrency Theory and Applications ′96. 125-142 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] T.Togashi: "Name matching v.s.structure matching in typing systems for the polyadic π-calculus" 静岡大学情報研究. 1. 25-42 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] A.Togashi, G.Mansfield, N.Shiratori: "Animating LOTOS specifications using AMLOG" Internatoinal Journal on Software Engineering and Knowledge Engineering. Vol.6, No.1. 5-19 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] A.Togashi: "On typing systems for the polyadic pi-calculus" Tachnical Report, School of Cognitive and Computing Sciences, University of Sussex. 1/96. (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] S.Kimura, A.Togashi, N.Shiratori: "Extension of Synthesis Algorithm of Recursive Processes to mu-calculus" Information Processing Letter. Vol.58. 97-104 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] K.Song, A.Togashi, N.Shiratori: "A Requirement Description Method based on Propositinal Logic and its Semantics Description by State Transition System" J.Infor. Process. of Japan. Vol.1.37, No.4. 511-519 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] A.Togashi, F.Kanazashi, X.Lu: "A methodology for the description of system requirements and the derivation of formal specifications" Proc.IFIP TC6/WG6.1 Joint International Conference on FORMAL DESCRIPTION TECHNIQUES (FORTE XI) & ROTOCOL SPECIFICATION,TESTING,AND VERIFICATION (PSTV XVIII), FORTE/PSTV97, chapmann Hall. 383-398 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] A.Togashi, F.Kanazashi, X.Lu: "A methodology for the description of system requirements and the derivation of formal specifications" Proc.of FORTE/PSTV97. 125-142 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 金指文明, 富樫敦: "π計算に対する証明システム" ソフトウェア工学の基礎IV,FOSE'97ワークショップ論文集,近代科学社. 20-27 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 金指文明, 陸暁松, 富樫敦: "ソフトウェアの効果的な開発環境" ソフトウェア工学の基礎IV,FOSE'97ワークショップ論文集,近代科学社. 67-70 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 陸暁松, 金指文明, 富樫敦: "システム要求と仕様記述の診断" ソフトウェア工学の基礎IV,FOSE'97ワークショップ論文集,近代科学社. 39-42 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] A.Togashi: "On Typing Systems for the Polyadic pi-Calculus" Proc.of RIMS Workshop in Computing titled Concurrency Theory and Applications '96. 125-142 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] A.Togashi: "Name matching v.s. structure matching in typing systems for the polyadic π-calculus" 静岡大学情報学研究. 1. 25-42 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 富樫敦: "Automatic Synthesis of Specifications from System Requirements" ソフトウェア工学の基礎III「レクチャーノート/ソフトウェア工学17,日本ソフトウェア科学会FOSE'96」. 9-17 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] A.Togashi,G.Mansfield,N.Shiratori: "Animating LOTOS Specifications using AMLOG" Int.Journal on Soff.Eng.and Knowledge Eng.6・1. 5-19 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] S.Kimura,A.Togashi,N.Shiratori: "Extension of Synthesis Algorithm of Recursiue Processes to μ-Calculus" Infor.Processing Letter. 58. 97-104 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 宋,富樫,白鳥: "命題論理に基づいた要求記述法と状態遷移システムによる意味記述" 情報処理学会論文誌. 37・4. 511-519 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] A.Togashi: "On Typing Systems for the Polyadic π-Calculus" Technical Report,COGS,Univ.of Sussex.(1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 富樫、臼井、宋、白鳥: "Methodologies for the Description of System Regurements and the Derivation of Specification (Extended Abstract)" 情報処理学会マルチメディア通信と分散処理ワークショック論文集. 297-304 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 富樫敦: "新版情報処理ハンドブック「1.4.2並行/分散計算の理論とアルゴリズム」" オーム社(情報処理学会編), 11(2000) (1996)

    • Related Report
      1996 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi