Fri, Jun 4 PM Enterprise information Technology in next generation Chair: Jun,Matsuda 13:05 - 17:00 |
(1) |
13:05-13:30 |
How should we go with Cloud Computing?
-- Could It be Technological Innovation for Enterprise Information Systems? -- |
Yohtaro Miyanishi (ISEM) |
(2) |
13:30-13:55 |
Feasibility Study of the Transportation Hospital Search Model in Emergency Medical Care |
Tamotsu Noji (Tokai Univ.), Tadashi Ogino (Mitsubishi Electric Information Tech.), Mayuko Sito (Tokai Univ.) |
(3) |
13:55-14:20 |
A Basis of Enterprise Modeling ( Part 2 ) |
Masao J. Matsumoto (Solution Lab/Dortmund Univ/Kyushu Sangyo Univ/Tsukuba Univ) |
(4) |
14:20-14:45 |
Formalizing BPEL Processes by Process Algebra CCS |
Kazuma Yamauchi, Yoshiyuki Shinkawa (Ryukoku Univ.) |
|
14:45-15:00 |
Break ( 15 min. ) |
(5) |
15:00-16:05 |
[Special Talk]
Fundation of Cloud Computing in Micro Soft
-- Overview of Windows Azure and its applied cases -- |
Kazunori Hirano (MicroSoft) |
(6) |
16:05-16:30 |
Verification of Inter-Model Consistency between UML Activity and Sequence Diagram |
Yuuichi Dounishi, Yoshiyuki Shinkawa (Ryukoku Univ) |
(7) |
16:30-16:55 |
Validity Checking for UML Models Containing Time Constraints |
Masato Nomura, Yoshiyuki Shinkawa (Ryukoku Univ.) |
(8) |
16:55-17:00 |
Introduction to Cloud Computing Trial Project
-- For the Prosperity of Software Industry -- |
Yohtaro Miyanishi (ISEM) |