Keyword : unified modeling language

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 language, choreography realization problem, Petri nets, automatic synthesis, service-oriented architecture, 
 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 language, choreography realization problem, Petri nets, automatic synthesis, service-oriented architecture, 
 Summary | Full Text:PDF
Applying Model-Driven Approach to Building Rapid Distributed Data Services
Chih-Min LO Sun-Jen HUANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/12/01
Vol. E95-D  No. 12 ; pp. 2796-2809
Type of Manuscript:  Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: Computer System and Services
Keyword: 
data services, web services, model-driven development, unified modeling language, model transformation, 
 Summary | Full Text:PDF