Keyword : choreography realization problem


A Study on Re-Constructibility of Event Structures
Marika IZAWA Toshiyuki MIYAMOTO 
Publication:   
Publication Date: 2020/08/01
Vol. E103-D  No. 8 ; pp. 1810-1813
Type of Manuscript:  Special Section LETTER (Special Section on Formal Approaches)
Category: Formal Approaches
Keyword: 
SOAmodel-based developmentevent structurere-constructibilitychoreography realization problem
 Summary | Full Text:PDF

Realizability of Choreography Given by Two Scenarios
Toshiki KINOSHITA Toshiyuki MIYAMOTO 
Publication:   
Publication Date: 2018/02/01
Vol. E101-A  No. 2 ; pp. 345-356
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
SOAmodel-based developmentcommunication diagramstate machinechoreography realization problem
 Summary | Full Text:PDF

Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram
Toshiyuki MIYAMOTO 
Publication:   
Publication Date: 2017/06/01
Vol. E100-D  No. 6 ; pp. 1200-1209
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal tools
Keyword: 
unified modeling languagechoreography realization problemPetri netsautomatic synthesisservice-oriented architecture
 Summary | Full Text:PDF

Choreography Realization by Re-Constructible Decomposition of Acyclic Relations
Toshiyuki MIYAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/06/01
Vol. E99-D  No. 6 ; pp. 1420-1427
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Methods
Keyword: 
SOAmodel-based developmentcommunication diagramstate machinechoreography realization problem
 Summary | Full Text:PDF

An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets
Toshiyuki MIYAMOTO Yasuwo HASEGAWA Hiroyuki OIMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5 ; pp. 1171-1180
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Construction
Keyword: 
unified modeling languagechoreography realization problemPetri netsautomatic synthesisservice-oriented architecture
 Summary | Full Text:PDF