An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets-Reference-Cited by-同舟云学术

An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets

Published:2014 Issue:5 Volume:E97.D Page:1171-1180
ISSN:0916-8532
Container-title:IEICE Transactions on Information and Systems
language:en
Short-container-title:IEICE Trans. Inf. & Syst.

Author:

MIYAMOTO Toshiyuki¹,HASEGAWA Yasuwo¹,OIMURA Hiroyuki¹

Affiliation:

1. Division of Electrical, Electronic and Information Engineering, Graduate School of Engineering, Osaka University

Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Subject

Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software

Link

https://www.jstage.jst.go.jp/article/transinf/E97.D/5/E97.D_1171/_pdf

Reference17 articles.

1. [1] T. Miyamoto and Y. Hasegawa, “A Petri net approach to synthesize intelligible state machine models from choreography,” Proc. Intl. Workshop on Petri Nets and Software Eng., pp.222-236, June 2012.

2. [2] T. Miyamoto and H. Oimura, “A tool to synthesize intelligible state machine models from choreography using Petri nets,” Proc. Intl. Workshop on Petri Nets and Software Eng., pp.257-258, June 2013.

3. [3] T. Erl, Service-Oriented Architecture: Concepts, Technology, and Design, Prentice Hall Professional Technical Reference, 2005.

4. [4] D. Harel, H. Kugler, and A. Pnueli, “Synthesis revisited: Generating statechart models from scenario-based requirements,” in Formal Methods in Software and Systems Modeling, ed. H.J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, and G. Taentzer, pp.309-324, Springer, 2005.

5. [5] J. Whittle and P.K. Jayaraman, “Synthesizing hierarchical state machines from expressive scenario descriptions,” ACM Trans. Software Eng. and Methodology, vol.19, no.3, pp.1-45, Jan. 2010.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conflict Reduction of Acyclic Flow Event Structures;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2023-05-01

2. The Or-State Hierarchies Extraction in Uml State Machines;2023

3. A Case Study of Choreography Realizability Checking on Smart Home Application;2021 IEEE International Conference on Consumer Electronics (ICCE);2021-01-10

4. A Study on Re-Constructibility of Event Structures;IEICE Transactions on Information and Systems;2020-08-01

5. CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios;2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2018-10