Hiroyuki OIMURA


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