Automatic Synthesis of Behavioral Model using Reconstructivle Division of Acyclic Relation

使用非循环关系重构划分的行为模型自动合成

• 批准号: 17K00100
• 负责人: Miyamoto Toshiyuki
• 金额: $ 2.83万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2017
• 资助国家: 日本
• 起止时间: 2017-04-01 至 2021-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17K00100/
• 关键词: ソフトウェア工学; 分散システム; アルゴリズム; ソフトウェア開発効率化・安定化; 情報システム; ソフトウェア学; ソフトウエア開発効率化・安定化

项目成果

Synthesizing State Machines from Two Scenarios and a Case Study on Business Process Management

从两种场景综合状态机以及业务流程管理案例研究

• 发表时间: 2017
• 作者: Kazuya Odagiri;Shogo Shimizu;Naohiro Ishii;Makoto Takizawa;T. Kinoshita and T. Miyamoto
• 通讯作者: T. Kinoshita and T. Miyamoto

A Study on Re-Constructibility of Event Structures

事件结构的可重构性研究

• DOI: 10.1587/transinf.2019fol0002
• 发表时间: 2020
• 期刊: IEICE Transactions on Information and Systems
• 影响因子: 0.7
• 作者: IZAWA Marika;MIYAMOTO Toshiyuki
• 通讯作者: MIYAMOTO Toshiyuki

CSCB Tools: ２つのシナリオからなるコレオグラフィ実現のための拡張

CSCB 工具：实现由两个场景组成的编排的扩展

• 发表时间: 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

A Case Study of Choreography Realizability Checking on Smart Home Application

智能家居应用编排可实现性检查案例研究

• 发表时间: 2021
• 作者: 小久保 博崇;江田 智尊;大山 恵弘;Atsushi Nunome;Marika IZAWA and Toshiyuki Miyamoto
• 通讯作者: Marika IZAWA and Toshiyuki Miyamoto