IEICE Technical Report

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

Software Interprise Modeling

Workshop Date : 2008-05-23 / Issue Date : 2008-05-16

SWIM2008-1
[Keynote Address] Information systems development methodology and apply effect by repository and CASE tools
Sei Saito, Kiyoharu Ogawa (Tansei Business)
pp. 1 - 6

SWIM2008-2
Implementing Distributed Databases on Web Service Platforms
Akira Okada, Yoshiyuki Shinkawa (Ryukoku Univ.)
pp. 7 - 12

SWIM2008-3
Model Verification for UML Sequence Diagrams
Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ)
pp. 13 - 18

SWIM2008-4
Correctness Verification for Business Process Models Using The SPIN
Keiji Kataoka, Yoshiyuki Shinkawa (Ryukoku Univ.)
pp. 19 - 24

SWIM2008-5
A Proposal for business process model abut Enterprise system that use mashup
Nobuhiro Kataoka (Tokai University)
pp. 25 - 30

SWIM2008-6
[Special Talk] The present condition and problems on the open source business -- An example of small enterprise's business in region --
Hitoshi Sugimoto (PADRAC)
pp. 31 - 36

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