IEICE Trans

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 56

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 192

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 192

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 202

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 296

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 315

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 192

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 192

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 202

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 296

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 315

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 192

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 202

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 296

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 315

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 192

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 202

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 296

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 315

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 192

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 192

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 192

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 202

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 271

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 296

Warning: Undefined array key "abst" in /var/www/02search_html/bin/keyword.php on line 315
IEICE Trans

Keyword : choreography realization problem

A Study on Re-Constructibility of Event Structures Marika IZAWA Toshiyuki MIYAMOTO
Publication: IEICE TRANSACTIONS on Information and Systems 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: SOA, model-based development, event structure, re-constructibility, choreography realization problem,
	Summary \| Full Text:PDF

Realizability of Choreography Given by Two Scenarios Toshiki KINOSHITA Toshiyuki MIYAMOTO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences 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: SOA, model-based development, communication diagram, state machine, choreography realization problem,
	Summary \| Full Text:PDF

Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram Toshiyuki MIYAMOTO
Publication: IEICE TRANSACTIONS on Information and Systems 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

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: SOA, model-based development, communication diagram, state machine, choreography 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 language, choreography realization problem, Petri nets, automatic synthesis, service-oriented architecture,
	Summary \| Full Text:PDF