课题基金 / 基金详情

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

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
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23500045/
关键词：
ソフトウェア開発効率化・安定化ソフトウェア工学アルゴリズム情報システムソフトウェア学エージェント

项目摘要

项目成果

MIYAMOTO Toshiyuki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SOAに基づくシステムの設計検証のためのUMLサブセット
用于基于 SOA 的系统设计验证的 UML 子集
DOI： --
发表时间： 2011
期刊：
影响因子： --
作者： [B. Zhou, H. Okamura and T. Dohi, 長谷川　泰央]
通讯作者： 長谷川　泰央
cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について
关于cbUML通信图到状态机的转换及其形式含义
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [B. Zhou, H. Okamura and T. Dohi, 長谷川　泰央]
通讯作者： 長谷川　泰央
An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets
一种使用 Petri 网从编排中合成可理解状态机模型的方法
DOI： 10.1587/transinf.e97.d.1171
发表时间： 2014
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [Toshiyuki Miyamoto, Yasuwo Hasegawa, and Hiroyuki Oimura]
通讯作者： and Hiroyuki Oimura
コレオグラフィ実現問題に対するペトリネットを用いた手法の実装
使用Petri网解决编排实现问题的方法的实现
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [H. Okamura, M. Tokuzane and T. Dohi, 老邑博行，宮本俊幸]
通讯作者： 老邑博行，宮本俊幸
共 12 条
    Automatic Synthesis of Behavioral Models in Distributed Systems by Reconstructible Decomposition of Acyclic Relations
    • 批准号：
      26330083
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2014
    • 负责人：
      MIYAMOTO Toshiyuki
    • 依托单位：
      Osaka University
    Distributed Algorithm for Share Transfer in a Secure Distributed Storage System
    • 批准号：
      19700060
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.32万
    • 财政年份：
      2007
    • 负责人：
      MIYAMOTO Toshiyuki
    • 依托单位：
      Osaka University
    海外基金