IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Software Interprise Modeling

Workshop Date : 2010-06-04 / Issue Date : 2010-05-28

SWIM2010-1
How should we go with Cloud Computing? -- Could It be Technological Innovation for Enterprise Information Systems? --
Yohtaro Miyanishi (ISEM)
pp. 1 - 6

SWIM2010-2
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.)
pp. 7 - 11

SWIM2010-3
A Basis of Enterprise Modeling ( Part 2 )
Masao J. Matsumoto (Solution Lab/Dortmund Univ/Kyushu Sangyo Univ/Tsukuba Univ)
pp. 13 - 22

SWIM2010-4
Formalizing BPEL Processes by Process Algebra CCS
Kazuma Yamauchi, Yoshiyuki Shinkawa (Ryukoku Univ.)
pp. 23 - 28

SWIM2010-5
[Special Talk] Fundation of Cloud Computing in Micro Soft -- Overview of Windows Azure and its applied cases --
Kazunori Hirano (MicroSoft)
pp. 29 - 38

SWIM2010-6
Verification of Inter-Model Consistency between UML Activity and Sequence Diagram
Yuuichi Dounishi, Yoshiyuki Shinkawa (Ryukoku Univ)
pp. 39 - 44

SWIM2010-7
Validity Checking for UML Models Containing Time Constraints
Masato Nomura, Yoshiyuki Shinkawa (Ryukoku Univ.)
pp. 45 - 50

SWIM2010-8
Introduction to Cloud Computing Trial Project -- For the Prosperity of Software Industry --
Yohtaro Miyanishi (ISEM)
pp. 51 - 56

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan