AWFS 2009
Sixth Asian Workshop on Foundations of Software
GRACE Center of National Institute of Informatics, Tokyo, Japan
April 6-8, 2009
Workshop Programme
April 6th (Monday)
8:30 Reception Desk Open (12F in NII)
8:50-9:00 Openning
9:00-10:00 Invited Talk I
10:00-10:30 Tea Break
10:30-12:00 Session 1: Language Design and Implementation
- Interfacing with C Polymorphically (30')
Atsushi Ohori (Tohoku University),
Katsuhiro Ueno (Tohoku University)
- A Global-to-Local Approach for Rigorous Development of
Distributed Systems with Coordinated Exception Handling (30')
Chao Cai (Peking University),
Zongyan Qiu (Peking University)
- Translation and Optimization for a Core Calculus with Exceptions (30')
Cristina David (National University of Singapore),
Cristian Gherghina (National University of Singapore),
Wei-Ngan Chin (National University of Singapore)
12:00-14:00 Lunch Break (3F)
14:00-15:50 Session 2: Software Engineering I
- Concern Based Approach to Generating SCR Requirement Specification: a
Case Study (30')
Ying Jin (Jilin University),
Weiping Hao (Jilin University),
Pengfei Ma (Jilin University)
- User-oriented Preparative Treatments for Requirements Engineering (40')
Fei He (waseda University),
Yoshiaki Fukazawa (Waseda University)
- The Specification Construction of a Service-Oriented System Using
the SOFL Method (40')
Weikai Miao (Hosei University),
Shaoying Liu (Hosei University)
15:50-16:20 Tea Break
16:20-18:00 Session 3: Software Engineering II
- Consistency of Networks of Components (30')
Zhiying Liu (University of Limerick),
David Lorge Parnas (Emeritus Professor, McMaster University),
Baltasar Trancon y Widemann (Universitat Bayreuth)
- From Bidirectional Model Transformation to Model Synchronization (40')
Yingfei Xiong (Universit of Tokyo),
Zhenjiang Hu (National Institute of Informatics),
Masato Takeichi (University of Tokyo)
- Bidirectionalizing Structural Recursive Transformation on Graphs (30')
Soichiro Hidaka (National Institue of Informatics),
Zhenjiang Hu (National Institue of Informatics),
Hiroyuki Kato (National Institue of Informatics),
Keisuke Nakano (The University of Electro-Communications)
18:00-20:00 Reception (3F)
April 7th (Tuesday)
9:00-10:00 Invited Talk II
10:00-10:30 Tea Break
10:30-12:10 Session 4: Languages
- Linguistics as Physics (30')
Masahiko Sato (Kyoto University)
- On the Computation of Quotients and Factors of Regular Languages (40')
Mircea Marin (University of Tsukuba),
Temur Kutsia (Johannes Kepler University)
- Copy-on-Write in the PHP Language (30')
Akihiko Tozawa (IBM Research),
Michiaki Tatsubori (IBM Research),
Tamiya Onodera (IBM Research),
Yasuhiko Minamide (University of Tsukuba)
12:10-14:00 Lunch Break
14:00-15:30 Session 5: AOP and Program Transformation
- Finding Bugs in AspectJ is not Difficult (30')
Haihao Shen (Shanghai Jiao Tong University),
Sai Zhang (Shanghai Jiao Tong University),
Jianjun Zhao (Shanghai Jiao Tong University)
- AOJS: Aspect-Oriented JavaScript Programming Framework (30')
Hironori Washizaki (Waseda University),
Atsuto Kubo, Tomohiko Mizumachi, Kazuki Eguchi, Yoshiaki Fukazawa, Nobukazu Yoshioka, Hideyuki Kanuka, Toshihiro Kodaka, Nobuhide Sugimoto, Yoichi Nagai and Rieko Yamamoto
- Rewriting XQuery to Avoid Redundant Expressions based on Static
Emulation of XML Store (30')
Hiroyuki Kato (National Institue of Informatics),
Soichiro Hidaka (National Institue of Informatics),
Zhenjiang Hu (National Institue of Informatics),
Yasunori Ishihara (Osaka University)
Keisuke Nakano (The University of Electro-Communications)
15:30-16:00 Tea Break
16:00-18:20 Session 6: Logic and Formal Method
- Formalization and Specification of Geometric Knowledge Objects (40')
Dongming Wang (CNRS / Beihang University)
- A Revised Pointer Logic for Verification of Pointer Programs (40')
Zhaopeng Li (University of Science and Technology of China),
Yiyun Chen (University of Science and Technology of China),
Baojian Hua (University of Science and Technology of China),
Zhifang Wang (University of Science and Technology of China)
- Combining Formal Engineering Methods and Democracy for Software
Quality Assurance (30')
Shaoying Liu (Hosei University)
- A Dynamic Description Logic for the Three-level RBAC model (30')
Li Ma (Beihang University),
Shilong Ma (Beihang University),
Yuefei Sui (Chinese Academy of Sciences),
Cungen Cao (Chinese Academy of Sciences),
Jianghua Lv (Beihang University)
18:30-22:00 Banquet (Bus leaves at 18:30)
April 8th (Wednesday)
9:00- 9:30 Invited Talk III
9:30-10:30 Session 7: Language Implementation
- Sharp Program Analysis and Test Data Generation (30')
Jian Zhang (Chinese Academy of Sciences)
- Porting GNU Compiler Collection and GNU Binary Utilities for C16X
(30')
Le Ton Chanh (Ho Chi Minh City University of Technology),
Le Minh Vu (Ho Chi Minh City University of Technology),
Nguyen Hua Phung (Ho Chi Minh City University of Technology)
10:30-11:00 Tea Break
11:00-12:00 Session 8: Programming Algebra
- The Third Homomorphism Theorem on Trees Upward & Downward Leads to
Divide-and-Conquer (30')
Akimasa Morihata (University of Tokyo),
Kiminori Matsuzaki (University of Tokyo),
Zhenjiang Hu (National Institute of Informatics)
Masato Takeichi (University of Tokyo)
- Algebra of Programming using Dependent Types (30')
Shin-Cheng Mu (Academia Sinica, Taiwan),
Hsiang-Shang Ko (National Taiwan University),
Patrik Jansson (Chalmers University of Technology & University of Gothenburg)
12:00-12:10 Closing