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

基于并发过程演算的智能体演算逻辑语义基础研究

基本信息

  • 批准号:
    10680347
  • 负责人:
  • 金额:
    $ 1.86万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    1998
  • 资助国家:
    日本
  • 起止时间:
    1998 至 1999
  • 项目状态:
    已结题

项目摘要

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 CalculusWe 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 ProcessesFor 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 EnvironmentWe have implemented the programming environment for the calculus and applied it to several practical examples.
本文的主要研究内容如下:(1)提出了一种高阶并发进程的计算模型,并建立了其理论操作语义。(2)在此基础上,实现了一个程序设计环境,并将其应用于几个实例中。我们得到了以下结果:(1)高阶进程演算的收缩我们提出了一个高阶进程演算来严格描述并发系统。(2)高阶进程运算语义的数学基础对于(1)中提出的计算演算,我们进行了以下几项工作及其结果:(A)进程的等价性:我们给出了一个基于高阶进程的操作语义的等价性理论;(B)高阶模型系统和模型检验:我们给出了高阶进程演算的一个证明系统,并给出了关于可靠性和完备性的定理。A类型系统:我们给出了微积分的类型系统,并讨论了它的性质。(3)编程环境的开发我们实现了微积分的编程环境,并将其应用于几个实际例子中。

项目成果

期刊论文数量(33)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
金指文明、塚崎悟、富樫敦: "Field Walker:プロセス計算に基づく移動型エージェントシステム―Javaによる実装―(ベストプレゼンテーション賞受賞)"情報処理学会DICOM'99シンポジウム論文集. 37-42 (1999)
Fumiaki Kanasashi、Satoru Tsukazaki、Atsushi Togashi:“Field Walker:基于过程计算的移动代理系统 - 用 Ja​​va 实现 -(最佳演示奖获得者)” 日本信息处理协会 DICOM99 研讨会论文集 37-42 (1999)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
金指文明,塚崎悟,富樫敦: "Field Walker:プロセス計算に基づく移動型エージェントシステム-Javaによる実装-(ベストプレゼンテーション賞受賞)"情報処理学会DICOM'99シンポジウム論文集. 37-42 (1999)
Fumiaki Kanasashi、Satoru Tsukazaki、Atsushi Togashi:“Field Walker:基于过程计算的移动代理系统 - 用 Ja​​va 实现 -(最佳演示奖获得者)” 日本信息处理协会 DICOM99 研讨会论文集 37-42 (1999)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
石井 基樹、山田 将弘、金指 文明、富樫 敦: "効果的なソフトウェア開発のためのシステムシミュレータ" 情報処理学会第57回全国大会. 1E-4. (1998)
Motoki Ishii、Masahiro Yamada、Fumiaki Kanasashi、Atsushi Togashi:“有效软件开发的系统模拟器”日本信息处理学会第 57 届全国会议(1998 年)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
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)
Fumiaki Kanezashi、Satoru Tsukasaki、Atsushi Togashi:“Field Walker:基于 Java 实现的过程演算的移动代理系统”Proc。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
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)
Fumiaki Kanezashi、Xiaosong Lu、Atsushi Togashi:“M-pi 演算:模块描述的演算”Proc.of the International Workshop on Principle of Software Evolution99。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

TOGASHI Atsushi其他文献

TOGASHI Atsushi的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('TOGASHI Atsushi', 18)}}的其他基金

Theoretical Study on Distributed Network Community and its Practical Experiment
分布式网络社区的理论研究及其实践实验
  • 批准号:
    16500038
  • 财政年份:
    2004
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Automatic Distribution Composition and Maintenance of Software Components via Mobile Agents
通过移动代理自动分发软件组件和维护
  • 批准号:
    14580448
  • 财政年份:
    2002
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Foundations on Open Distributed Systems based on Mobile Agents
基于移动代理的开放分布式系统基础
  • 批准号:
    12680343
  • 财政年份:
    2000
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Theory and Practice of Higher Order Concurrent Process Calculi
高阶并发过程计算理论与实践
  • 批准号:
    08680343
  • 财政年份:
    1996
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)

相似海外基金

Formalisms for Structural Operational Semantics
结构操作语义的形式主义
  • 批准号:
    EP/F042337/1
  • 财政年份:
    2008
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Fellowship
Mathematical Operational Semantics for Data-Passing Processes
数据传递过程的数学运算语义
  • 批准号:
    EP/E042414/1
  • 财政年份:
    2007
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Fellowship
Mathematical Structural Operational Semantics
数学结构运算语义
  • 批准号:
    EP/D039045/1
  • 财政年份:
    2006
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Research Grant
Biodiversity and Ecosystem Informatics - BDEI - Towards an Operational Semantics of Biological Diversity: Integrating Structure and Function in a Web-accessible Knowledge Base
生物多样性和生态系统信息学 - BDEI - 迈向生物多样性的操作语义:在可通过网络访问的知识库中集成结构和功能
  • 批准号:
    0243962
  • 财政年份:
    2002
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Standard Grant
Biodiversity and Ecosystem Informatics - BDEI - Towards an Operational Semantics of Biological Diversity: Integrating Structure and Function in a Web-accessible Knowledge Base
生物多样性和生态系统信息学 - BDEI - 迈向生物多样性的操作语义:在可通过网络访问的知识库中集成结构和功能
  • 批准号:
    0130931
  • 财政年份:
    2001
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Standard Grant
Career: Type Theory and Operational Semantics for Programming Languages
职业:编程语言的类型论和操作语义
  • 批准号:
    9502674
  • 财政年份:
    1995
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Continuing Grant
The Operational Semantics of Parallel Functional Programs
并行函数程序的操作语义
  • 批准号:
    8809919
  • 财政年份:
    1988
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Continuing Grant
RUI: Structured Operational Semantics of Concurrency
RUI:并发的结构化操作语义
  • 批准号:
    8801174
  • 财政年份:
    1988
  • 资助金额:
    $ 1.86万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了