Fri, Nov 21
10:00 - 16:50 |
| |
10:00-10:05 |
Opening Address ( 5 min. ) |
| (1) |
10:05-10:30 |
Discussions on the Relationship between successful implementation and the Project Environment on building the operation management information systems |
Sanetake Nagayoshi (Tokyo Insutitute of Technology/Headstrong Japan Ltd.) |
| (2) |
10:30-10:55 |
Establishing Decision Making Process to select Outsourcing Company |
Akihiro Hayashi (IBM) |
| |
10:55-11:00 |
Short Break ( 5 min. ) |
| (3) |
11:00-11:25 |
Inter-Model Consistency between UML Use-case and Sequence Models |
Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) |
| (4) |
11:25-11:50 |
Validating UML Activity Diagrams through Model Checking |
Takashi Inoue, Yoshiyuki Shinkawa (Ryukoku Univ) |
| |
12:00-13:00 |
Break ( 60 min. ) |
| (5) |
13:00-13:55 |
[Keynote Address]
Semantic Web and Linked Data |
Hideaki Takeda (National Institute of Informatics) |
| (6) |
13:55-14:20 |
Knowledge Conversion in Software Development
-- A Tentative Analysis with Network Data -- |
Atsushi Inuzuka (Univ. Tokyo) |
| (7) |
14:20-14:45 |
Formal Specifications for Services in SOA |
Akira Okada, Yoshiyuki Shinkawa (Ryukoku Univ.) |
| |
14:45-15:00 |
Break ( 15 min. ) |
| (8) |
15:00-15:55 |
[Special Talk]
SOA Architecture using P2P Messaging |
Shigeru Aoshima (Fiorano Software, Inc.) |
| (9) |
15:55-16:20 |
Design and Implementation of Compensation Processes in Transaction Processing |
Zhou Xu, Yoshiyuki Shinkawa (Ryukoku Uni.) |
| (10) |
16:20-16:45 |
Continuously Improvement Method of Review Process |
Akihiro Hayashi (IBM), Nobuhiro Kataoka (Tokai Univ) |
| |
16:45-16:50 |
Closing Address ( 5 min. ) |
: s-
pd
c
n
ns
