|
13:00-13:10 |
Opening Address ( 10 min. ) |
(1) |
13:10-14:10 |
[Keynote Address]
Information systems development methodology and apply effect by repository and CASE tools |
Sei Saito, Kiyoharu Ogawa (Tansei Business) |
(2) |
14:10-14:35 |
Implementing Distributed Databases on Web Service Platforms |
Akira Okada, Yoshiyuki Shinkawa (Ryukoku Univ.) |
(3) |
14:35-15:00 |
Model Verification for UML Sequence Diagrams |
Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) |
|
15:00-15:15 |
Break ( 15 min. ) |
(4) |
15:15-15:40 |
Correctness Verification for Business Process Models Using The SPIN |
Keiji Kataoka, Yoshiyuki Shinkawa (Ryukoku Univ.) |
(5) |
15:40-16:05 |
A Proposal for business process model abut Enterprise system that use mashup |
Nobuhiro Kataoka (Tokai University) |
(6) |
16:05-16:55 |
[Special Talk]
The present condition and problems on the open source business
-- An example of small enterprise's business in region -- |
Hitoshi Sugimoto (PADRAC) |
|
16:55-17:00 |
Closing Address ( 5 min. ) |