Petri Nets Theory for Automatic Synthesis of Behavioral Model in Distributed Systems

分布式系统行为模型自动综合的Petri网理论

基本信息

  • 批准号：
    23500045
  • 负责人：
    MIYAMOTO Toshiyuki
  • 金额：
    $ 3.16万
  • 依托单位：
    Osaka University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2011
  • 资助国家：
    日本
  • 起止时间：
    2011-04-28 至 2015-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
SOAに基づくシステムの設計検証のためのUMLサブセット
用于基于 SOA 的系统设计验证的 UML 子集
  • DOI：
  • 发表时间：
    2011
  • 期刊：
  • 影响因子：
    0
  • 作者：
    B. Zhou;H. Okamura and T. Dohi;長谷川　泰央
  • 通讯作者：
    長谷川　泰央
cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について
关于cbUML通信图到状态机的转换及其形式含义
  • DOI：
  • 发表时间：
    2012
  • 期刊：
  • 影响因子：
    0
  • 作者：
    B. Zhou;H. Okamura and T. Dohi;長谷川　泰央
  • 通讯作者：
    長谷川　泰央
An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets
一种使用 Petri 网从编排中合成可理解状态机模型的方法
コレオグラフィ実現問題に対するペトリネットを用いた手法の実装
使用Petri网解决编排实现问题的方法的实现
  • DOI：
  • 发表时间：
    2013
  • 期刊：
  • 影响因子：
    0
  • 作者：
    H. Okamura;M. Tokuzane and T. Dohi;老邑博行，宮本俊幸
  • 通讯作者：
    老邑博行，宮本俊幸
Modular Reachability Analysis of Petri Nets for Multiagent Systems
多智能体系统Petri网的模块化可达性分析
  • DOI：
    10.1109/tsmc.2013.2250278
  • 发表时间：
    2013
  • 期刊：
    IEEEE Transactions on Systems, Man, and Cybernetics: Systems
  • 影响因子：
    0
  • 作者：
    Shota Itokawa;Shun Shiramatsu;Tadachika Ozono;Toramatsu Shintani;Toshiyuki Miyamoto and Kyota Horiguchi
  • 通讯作者：
    Toshiyuki Miyamoto and Kyota Horiguchi
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

MIYAMOTO Toshiyuki其他文献

A Study on Re-Constructibility of Event Structures
事件结构的可重构性研究

MIYAMOTO Toshiyuki的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('MIYAMOTO Toshiyuki', 18)}}的其他基金

Automatic Synthesis of Behavioral Models in Distributed Systems by Reconstructible Decomposition of Acyclic Relations
通过非循环关系的可重构分解自动综合分布式系统中的行为模型
  • 批准号：
    26330083
  • 财政年份：
    2014
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Distributed Algorithm for Share Transfer in a Secure Distributed Storage System
安全分布式存储系统中共享传输的分布式算法
  • 批准号：
    19700060
  • 财政年份：
    2007
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

AI支援ソフトウェア工学に対応したソフトウェアインスペクション環境の研究
兼容AI辅助软件工程的软件检测环境研究
  • 批准号：
    24K15214
  • 财政年份：
    2024
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
機能等価メソッドデータセットの構築によるソフトウェア工学タスクの高度化
通过构建功能等效的方法数据集来改进软件工程任务
  • 批准号：
    24H00692
  • 财政年份：
    2024
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
生成AIによるシステム開発の自動化を前提としたソフトウェア工学教育の再構築と実践
基于生成人工智能的系统开发自动化的软件工程教育的重构和实施
  • 批准号：
    24K06418
  • 财政年份：
    2024
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
グラフベース機械学習ソフトウェア工学の研究
基于图的机器学习软件工程研究
  • 批准号：
    18K11251
  • 财政年份：
    2018
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
メガ・ソフトウェア工学の研究
大型软件工程研究
  • 批准号：
    18650006
  • 财政年份：
    2006
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for Exploratory Research
エージェント・アーキテクチャ、エージェント・ソフトウェア工学等
Agent架构、Agent软件工程等
  • 批准号：
    06F06365
  • 财政年份：
    2006
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
エージェント・アーキテクチャ、エージェント・ソフトウェア工学等
Agent架构、Agent软件工程等
  • 批准号：
    05F05279
  • 财政年份：
    2005
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
ソフトウェア工学データベース(SEDB)の構築とその協調利用に関する研究
软件工程数据库（SEDB）构建及其协同使用研究
  • 批准号：
    08780280
  • 财政年份：
    1996
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
ソフトウェア工学のための日本語プログラミング環境の実現とそのシリコン化
日语软件工程编程环境的实现及其硅化
  • 批准号：
    62750312
  • 财政年份：
    1987
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
ソフトウェア工学の基礎的研究
软件工程基础研究
  • 批准号：
    56380007
  • 财政年份：
    1981
  • 资助金额：
    $ 3.16万
  • 项目类别：
    Grant-in-Aid for Co-operative Research (A)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了