Automatic Synthesis of Behavioral Model using Reconstructivle Division of Acyclic Relation
Automatic Synthesis of Behavioral Model using Reconstructivle Division of Acyclic Relation
使用非循环关系重构划分的行为模型自动合成
批准号：
17K00100
负责人：
Miyamoto Toshiyuki
金额：
$2.83万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Synthesizing State Machines from Two Scenarios and a Case Study on Business Process Management
从两种场景综合状态机以及业务流程管理案例研究
从两种场景综合状态机以及业务流程管理案例研究
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Kazuya Odagiri, Shogo Shimizu, Naohiro Ishii, Makoto Takizawa, T. Kinoshita and T. Miyamoto]
通讯作者：
T. Kinoshita and T. Miyamoto
DOI：
10.1587/transinf.2019fol0002
发表时间：
2020
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
[IZAWA Marika, MIYAMOTO Toshiyuki]
通讯作者：
MIYAMOTO Toshiyuki
CSCB Tools: ２つのシナリオからなるコレオグラフィ実現のための拡張
CSCB 工具：实现由两个场景组成的编排的扩展
CSCB 工具：实现由两个场景组成的编排的扩展
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Kazuya Odagiri, Shogo Shimizu, Makoto Takizawa, Naohiro Ishii, 富永一矢，宮本俊幸]
通讯作者：
富永一矢，宮本俊幸
Realizability of Choreography Given by Two Scenarios
两种场景下编排的可实现性
两种场景下编排的可实现性
DOI：
10.1587/transfun.e101.a.345
发表时间：
2018
期刊：
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
影响因子：
--
作者：
[T. Kinoshita, T. Miyamoto]
通讯作者：
T. Miyamoto
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[小久保 博崇, 江田 智尊, 大山 恵弘, Atsushi Nunome, Marika IZAWA and Toshiyuki Miyamoto]
通讯作者：
Marika IZAWA and Toshiyuki Miyamoto
共 10 条
海外基金