2
SCOPE 24 Ichiro Satoh National Institute of Informatics Kazuhiro Minami Akihiro Hada Kimikazu Kato Chikara Hoshino Yuji Sato Taeko Sawakami Yuji Inoue Mitsuru Morooka Haruki Okada Yoshihiro Nakagawa Katsuhito Umeda Kazuhiro Noguchi Masumi Shibatate Masayuki Ozawa Takeshi Yoshinaga Kennsuke Hujita Naoya Huruta Kazuhiro Azuma Koichi Yokomizo Humio Uchiyama, Katsuaki Tashiro Eiichiro Sonobe Katsuaki Nagai Yoshitake Tanaka Tadashi Ishida Teruhiko Shinada Shoji Tachiki Tomohiko Hibino Ryo Ogawa Shinichi Sano National Institute of Informatics †† Nihon Unisys Ltd. ††† Toppan Priting Co. LTD. 21 23 CO2 Abstract We proposed two approaches to reduce the amount of green house gas emitted in supply-chains. The first is to make the routes of logistic trucks more efficient by treating truck routes as program execution flows. It defined specification languages for truck routes and optimizations approaches for such programs specified with the languages. The second is to enable a small amount of carbon emission rights to be managed and traded by using RFID tags or barcodes as certificated securities on the rights. We evaluated the approaches in social experiments. CO2 CO2 ( 1) 3 1 CO2 48

uvwflx Z yz ¾ ƒ|}~ ˇˆ k ‘ I™Q‡…—–ˆ˙˝˛˚˜ !˜#˜˜l$ · [1] Ichiro Satoh: "A Formal Framework for Cooperative Logistics Management," Business Process Management,

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: uvwflx Z yz ¾ ƒ|}~ ˇˆ k ‘ I™Q‡…—–ˆ˙˝˛˚˜ !˜#˜˜l$ · [1] Ichiro Satoh: "A Formal Framework for Cooperative Logistics Management," Business Process Management,

��������� ����SCOPE� ����������� 24��

uvw�xZ�yz�¾{¦|}~��Ã�k�`_�I�Q����������� "!�#��l$%

��&'(%

����% �î�S/��u%

Ichiro Satoh National Institute of Informatics %

��45(%

�y8z%���zz%����zz%��{zz%����zz%*O��zz%�O��zz%�� zz%���zzz%d���zzz%�ɠ

ézzz%�¡y¢zzz%£î¤¥zzz%m*¦§zzz%¨©|ªzzz%�Éx�zzz%)É«¬zzz%,yãzzz%­®¯�zzz%D�ú°zzz%É& ±z

zz%²Ñ7��zzz%©�}+zzz%Éd³´zzz%�ɵzzz%¶É·ézzz%î¸�¹zzz%º»�¼ézzz%m�½zzz%��¤�zzz%

Kazuhiro Minamiz%Akihiro Hadazz%Kimikazu Katozz%Chikara Hoshinozz%Yuji Satozz%Taeko Sawakamizz%%

Yuji Inouezz%Mitsuru Morookazz%Haruki Okadazzz%Yoshihiro Nakagawazzz%Katsuhito Umedazzz%Kazuhiro Noguchizzz%Masumi Shibatatezzz%Masayuki Ozawazzz%Takeshi Yoshinagazzz%Kennsuke Hujitazzz%Naoya Hurutazzz%

Kazuhiro Azumazzz%Koichi Yokomizozzz%Humio Uchiyama, Katsuaki Tashirozzz%Eiichiro Sonobezzz%Katsuaki Nagaizzz%Yoshitake Tanakazzz%Tadashi Ishidazzz%Teruhiko Shinadazzz%Shoji Tachikizzz%Tomohiko Hibinozzz Ryo

Ogawazzz%Shinichi Sanozzz%z�î�S/��u% zzºUôõ�Q¾¿ÀÁ% zzzÂÃÄž¿ÀÁ�

†National Institute of Informatics% ††Nihon Unisys Ltd.% †††Toppan Priting Co. LTD. %

��9:� �� 21����� 23�� %

;<%

`Rm@U��aV25 !"# CO2b��c/st;Fc=U=��]�ºmǺwst6�BFD`R-�,�.��Íæ.Ǻwmñò»t;=ç���6�BFD@U��aV25 ÇûD|FCb�dµ

ì˳ç2N5ܼ�,-»t6ÐÑFc=e»t fCc\Bw6îf e»t.\§\]67C=`R

-�,�.b��c/;gR ÇûDb�dh<g.˳b�dµì6\pU#9 �

Abstract We proposed two approaches to reduce the amount of green house gas emitted in supply-chains. The first is to make the routes of logistic trucks more efficient by treating truck routes as program execution flows. It defined specification languages for truck routes and optimizations approaches for such programs specified with the languages. The second is to enable a small amount of carbon emission rights to be managed and traded by using RFID tags or barcodes as certificated securities on the rights. We evaluated the approaches in social experiments. =>?@AB \T�& CO2b��c/ >=\Íi�Ü;.jân.[Cc/stkkòl)*#9G:)\Íi�Ü.$m.

n;f)*#`Rm@U��aV25 O�Fc=CO2b��c/��;Fc= `R-�,�Íæ.WXw l

h=op�q.c/;=�gµì6�ûD|FCb�rµ

ì6ÐÑF=G.\§\]6�ûc=\p�.Òs6h"

cC�9 %

C>��DEFGHI `R-�,�.ÍæWXw>=-�,�Íæ6U=��]

.\7.Rx;FcjC=U=��] �¤#WXw×1

§st6�BU#|FC»t6ÐÑFD9\T=-�,�

Íæ>tu×ævóôk*#k=U=��] !"#ë2

U× w IËU#:;¥}=|)>-�,�Íæ6

�UU=��´5�uv6GÍFD9¼�� >x`.�

�>=�x� IËU#ó�¥}=x` IËU#�2�

6-�,� IËU#ó� y(�F=�x� IËU#

ó� Ò<Lz:; IËF=x`.î×ùw>�2�.

{ IËU#9&!=-�,�Íæ.U=��]w>[ñ

> R^k&�=G.�)";&#9-�,�Íæ>

U=��]wwx#:;)=̂ _`³5 ��)�Bwx

#³2RǺw6�BU#:;)WXw)<#l8 &

�D9)>-�,�Íæ �B)<#³2RǺw6

ñ|;;i =-�,�Íæ�<.³2RǺwst6Ð

ÑFD9IJ.ÍæWXw>=}��2ë²±5-� ~

�wx#l8 q�Ǻwstk~��)*#k=åÃ&

Íæóô>põ¥}r�wx&Ck=|st>IJÍæ�

.� �WXw)*#DH \�B !Cc.�;&#9

:.�=-�5b�345)BC}x#O:wst=fg

h�:U=��]6G.qrñ?6ó_� �ÊU=�

�]w)=-�,�Ö�6c/U#»t6ÐÑFD(� 1)9'9Íæ l#k=3�s�.WXwkL¥H}xcC#9 � 1Ã-�5b�345st l#-�,��c/

� gD=¶Ù`R=fgh��R«·)B�-�,�Ö�

.3V5>`RWXwU#»t;Fc=-�,�Íæ6U

=��].\M=x�.��6U=��].�÷;Fcj

8:;)=²¼-�V51§st l#=x�.�� *

�D-�,�6Éf"#»t6\pFD9:x>¶Ù`R

>=`RWXw× CO2c/.�h�;wxc<Dk=�B.�Fw¥}\Bwk�M)C&¥�Dk=|>å

- 48 -

Page 2: uvwflx Z yz ¾ ƒ|}~ ˇˆ k ‘ I™Q‡…—–ˆ˙˝˛˚˜ !˜#˜˜l$ · [1] Ichiro Satoh: "A Formal Framework for Cooperative Logistics Management," Business Process Management,

��������� ����SCOPE� ����������� 24��

��&¶Ù`R�r Ò6��i.;&h=���R³5

��2/�5�¶).Ð�kòo &�cC#(� 2)9%

�� �ÃÐÑst l#3²/]^�%

gµì6�ûD|FCb�rµì>=ª«&�.b�c/

��6=g.R�6�ûc=@U��aV25.¶R¥}

$R �RwÛ#DH =*, ��×*2³2R6b�r

�¤#=*#�..4§�.l8 �B)<#l8 U

#9&!=`R.\�6�_#;=���í&� *,+ �

x&C��)iòBnk*#:;k=\Bw !Cc>ù

&�;&#9¼�� >g.&� �hwxD�}¥

.m�2� *, 'Fc=Ý�wFDb�r6�hËc#

i.)*#9DüF=Ý�wFDb�r.µìm�rst

>�/)*h=®¯ �)"cÝ�b�r6j8DH.�

i��6GÍm\MFD9b�r> � -5?H *,k�

hËc}xcC#:;¥}[email protected]���.l8 �[

6�rU#.)>&�=¡7wxD��.�F�Di�r

U#��;&#9gD=*,��gD>*2³2R. *,;

��¶.Ý�b�r6�h"wÛ#9:x lh=g..

ØI·gD>��·>=*, ��gD>*2³2R6�#

ü")=JK.g.6b�r6�hËcc��)<#l8

&h=:x>v'.b�rh<g..��6/}U:;

;&h=å<&K�6�f9�

� GFcb�r.�i>=�b�r6�U *,��gD

>*2³2R6�"µ�Di.k=b�r.�hËc·

�<U#:; &#k=|)> *,��gD>*2³

2RG.i.6þ�wÛ#»t6ÐÑFDõ� Êú9:x>

^_`*,��gD>*2³2R.*,6è�c�<U#;=

3~&�<·)*#¥6M§U#³²-kå<�&#k=

Gx6`r�&�"�F)c/U#;;i =��k�B

)<&C��$)i'Ç)<#¥})*#9gD=*, �

�gD>*2³2R.þ�k�<;&#DH=g. �h

wxDb�r)i=Gx6�U *,��gD>*2³2R

6�·  �Fci=G. ��k�<)<#9:x>¥

¡&b�rµì6\pU#8_)å<&K�6iA=w}

b�r.¢h�B;C8|FC£6U×U:; &

#9�

STUVWX YZ[\]^_`_abcde\fghij�

� wcÐÑst.34;Fc=\T.@U��aV25

!"#\§\]67C=²2 2±2�,-õ�-2¤2

çR2m5½Ü¥¦§ú)=ÐÑst l#b�r�h¨

�.õ-©Èú6@4ª«· 'Fc��F=G.�i67

�ci}8:;)=ÐÑst.\Bn6L¥HDõ� ;ú9

ˬg..���>NY'­)� Ê.- ];&h=w}

Ê-/.®¡·k�i »¸U#:;;&�D9&!=|\

]>@4ª«·k»¸U#b�rµì;Fc>®¯Ì;

&#9gD=Ý�wFDb�r. �st634U#DH

=� 2-�G¯8°±§� !Cc=Ý�b�r6�

Uç2R6��Fc=Ȳ�.µì.òon6L¥HD9�

��ËÃ\§\]�

J>KLG%

`R !"#b�c/>=IJ.-�,�`R.WXws

t;.jânk[�=w} -�,���.��>k&

DH ¦¡³²-k(C9gD=gR l#b�rµì>

\§\]6�ûc=«�678:;)\Bw)<#xyg

)<c!h=ÐÑst6�BU#R«·×°³�6ÚgF

DC9�

%

MNO�'PQ�R [1] Ichiro Satoh: "A Formal Framework for Cooperative

Logistics Management," Business Process Management, vol.99, Springer (2011.8).

[2]Ichiro Satoh: "A Scheme for Carbon Offsetting Products and Services," Proceedings of 13th IEEE Conference on Commerce and Enterprise Computing (CEC 2011), pp.201-206, (2011.8).

[3]Ichiro Satoh: "A Formal Approach for Milk-Run Transport Logistics," IEICE Transactions 91-A(11): pp.3261-3268, (2009.11�

MÆÇ��PQ�R [1]´µ@m , ��Íæñò3²/] ”, PCT �¶

�PCT/JP2009/059136�EU, (2010.12.16) [2]¸µ�@, “3Ën�r3²/]!l³·u���7BU=��]”,Z|, (2012.3) [3]´µ@m, “b��µì3²/]˳b��µì»t” (PCT/JP2009/069976)=EU (2012.3) M��PQ�R [1]ot²Z|¸M��¯�� � 34 �¹$� «��rw�qÐ�“IC��6è�D CO2c/3²/]”�º� [2]´µ@m=ISAmI’2010 Best Paper Award, (2010.6) [3]Ichiro Satoh= IEEE International Conference on

Complex, Intelligent, and Software Intensive Systems (CISIS-2012)=“Best Paper Award”(2012.7)

MST�'PQ�R%

[1] WICT 6�BFD CO2 b��µì.|D&µìst.\Bw6��U³5²235] �@U��aV25»¼����1寽��6GzX=(2011.11.24) [2] “ª«·�" CO2b��µì �U#®¯Ì.\§\]6�ÏX (2011.2.8) [3]W®¯Ì=CO2 b�rµì.|D&µìst6\§\]X(2012.2.8)

- 49 -