Agenda (SEI /PKU and GRACE/NII joint workshop)
Oct 9
9:00-10:00 Opening (Prof. Shinichi Honiden, Prof. Zhi Jin)
Keynote Speech (Chair: Prof. zhenjiang Hu)
Reusing Open Source Software: Issues on Code Search and License Identification
Katsuro Inoue (Osaka University)
Katsuro Inoue (Osaka University)
10:00-10:15 Break
10:15-12:15 Session 1 (Chair: Dr. Tei Kenji)
Leveraging End-User Software Engineering for Service-Oriented Web
Xuanzhe Liu (Peking University)
Xuanzhe Liu (Peking University)
Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy
Adrian Klein (University of Tokyo)
Adrian Klein (University of Tokyo)
Toward an autonomous component based approach to adaptive Internetware development
Wenping Jiao (Peking University)
Wenping Jiao (Peking University)
Towards Integration of Selection and Replacement Methods under Different Expectations in
Services Computing
Fuyuki Ishikawa (National Institute of Informatics)
Fuyuki Ishikawa (National Institute of Informatics)
12:15-13:15 Lunch
13:15-15:15 Session 2 (Chair: Dr. Haiyan Zhao)
Aligning Security Requirements and Security Assurance using the Common Criteria
Nobukazu Yoshioka (National Institute of Informatics)
Nobukazu Yoshioka (National Institute of Informatics)
Effective Security Requirements elicitation with MASG model & patterns
Okubo Takao (Sokendai)
Okubo Takao (Sokendai)
Agile Development and Security Testing
Seiji Muneto (Sokendai)
Seiji Muneto (Sokendai)
Automated Testing in Service Computing: Research Issues
Eric Platon (National Institute of Informatics)
Eric Platon (National Institute of Informatics)
15:15-15:30 Break
15:30-17:30 Session 3 (Chair: Dr. Ishikawa Fuyuki)
Efficient, Failure-Resilient Semantic Web Service Planning
Florian Wagner (University of Tokyo)
Florian Wagner (University of Tokyo)
Knowware and Knowledge Management
Ge Li (Peking University)
Ge Li (Peking University)
Coordination Protocol Composition Approach Using Metadata
Ryuichi Takahashi (Waseda Univeristy)
Ryuichi Takahashi (Waseda Univeristy)
Modelling Framework to Support Internal Control
Komoto Takefumi (Sokendai)
Komoto Takefumi (Sokendai)
18:00-21:00 Banquet
Oct 10
9:00-10:00 Session 4 (Chair: Dr. Xuanzhe Liu)
Providing State-based Interface to a Graph Roundtrip Transformation System GRoundTram
Soichiro Hidaka (National Institute of Informatics)
Soichiro Hidaka (National Institute of Informatics)
Graph Query Verification using Monadic Second-Order Logic
Kazuhiro Inaba (National Institute of Informatics)
Kazuhiro Inaba (National Institute of Informatics)
10:00-10:15 Break
10:15-12:15 Session 5 (Chair: Prof. Qianxiang Wang)
Regular Path Compilation for Graph Updating
Hiroyuki Kato (National Institute of Informatics)
Hiroyuki Kato (National Institute of Informatics)
Range Computation of Graph Transformation using Simulation-based Schema
Keisuke Nakano (University of Electro-Communications)
Keisuke Nakano (University of Electro-Communications)
Matrix-based feature modeling and customizing
Weichao Wang (Peking University)
Weichao Wang (Peking University)
Reasoning Propagation-based Feature Model Configuration
Bo Wang (Peking University)
Bo Wang (Peking University)
12:15-13:15 Lunch
13:15-15:15 Session 6 (Chair: Dr. Eric Platon)
N-ary Sensor Model for Target Tracking in Wireless Sensor Networks
Kenji Tei (National Institute of Informatics)
Kenji Tei (National Institute of Informatics)
Distributed Schemes for Partial Target Coverage Problem
Susumu Toriumi (University of Tokyo)
Susumu Toriumi (University of Tokyo)
CoFM: An Environment for Collaborative Feature Modeling
Li Yi (Peking University)
Li Yi (Peking University)
Exploring Service Aided Software Engineering (SASE)
Qianxiang Wang (Peking University)
Qianxiang Wang (Peking University)
15:15-15:30 Closing (Prof. Hong Mei)
16:00-21:00 Sightseeing and social activity