Art

J-GLOBAL ID：201902263718602456   Reference number：19A0290248

Model Checking for Dynamic Freight Schedule with Multiple Ambient Calculus

多重Ambient Calculusを用いた動的な海上物流計画に対するモデル検査

Author (4)： KATO TOORU (近畿大 大学院総合理工学研究科) ,  TAKAOKA HISAHIRO (日立システムズ) ,  HIGUCHI MASAHIRO (近畿大 大学院総合理工学研究科) ,  OYAMA HIROSHI (広島商船高専)
Material： 情報処理学会論文誌トランザクション 数理モデル化と応用(Web)  (情報処理学会論文誌 数理モデル化と応用(Web))
Volume： 11  Issue： 3  Page： 84-99 (WEB ONLY)  Publication year： Dec. 20, 2018 
JST Material Number： U0475A  ISSN： 1882-7780  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *marine transportation ,  physical distribution ,  *transportation plan ,  *model checking ,  *scheduling ,  RFID ,  monitor ,  *dynamic scheduling
Semi thesaurus term： monitoring system ,  physical distribution

JST classification (2)： Waterborne transportation and service,etc.  (TD01010U) ,  Mathematical programmings  (KA03030M)

Reference (25)：

• Cardelli, L. and Gordon, A.D.: Any time Anywhere Modal logics for Mobile Ambients, POPL’00, Proc. 2000 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.365-377 (2000).
• Cardelli, L. and Gordon, A.D.: Mobile Ambients, Theoretical Computer Science, Vol.240, pp.177-213 (2000).
• Clarke, E., Grumberg, O. and Peled, D.: Model Checking, MIT Press (2000).
• Dino, D.: A Parametric Model for the Analysis of Mobile Ambients, LNCS, Vol.3780, pp.401-417 (2005).
• 橋本隆弘,加藤 暢,樋口昌宏:多重 Ambient Calculus とUHF帯RFID機器を用いた海上物流監視システム,情報処理学会論文誌:プログラミング,Vol.6, No.2, pp.1-12 (2011).

Terms in the title (5)： 多重 ,  海上 ,  物流 ,  計画 ,  モデル検査