4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition

(Bi-Trans in ABC)

12-14 March 2010
Palace Hotel Hakone, Kanagawa, Japan

Workshop on Bidirectional Transformation (BT2010)


GRACE International Symposium on Advanced Software Engineering 2010

15 March 2010
National Center of Sciences Bldg, Tokyo, Japan

What's new

  • Lunch of March 14th added. Access information enhanced. (3/11)
  • Route from Haneda Airport to Palace Hotel Hakone added. (3/6)
  • Session chairs added. (3/2)
  • Slight modification of the schedule of Saturday and Monday afternoon. (3/2)
  • Transportation information added. (3/2)

Architecture Based Component Composition (ABC) aims to support component-based systems in a systematic and automated fashion by using software architecture as its blueprint and middleware technology as its runtime scaffold for component composition, maintenance and evolution. Model transformations are key elements in this development agenda, providing a way to represent and transform software artifacts such as requirements, design models, program code, tests, configuration files, and documentation in software development, among which, bidirectional transformation is a novel mechanism for synchronizing and maintaining the consistency between different models.

The main goal of the Workshop on Bidirectional Transformation in Architecture-Based Component Composition (Bi-Trans in ABC) is to provide a forum for researchers and educators to present and discuss the most recent innovations, trends, advances, experience and concerns in the generative approach to software development, as well as to promote the interaction between participators.

The Workshop on Bidirectional Transformation is a part of the GRACE International Symposium on Advanced Software Engineering 2010, and expect Bi-Trans in ABC Workshop participants to join the workshop.

The workshops are jointly organized by GRACE Center of National Institute of Informatics, Japan, Key Laboratory of High Confidence Software Technologies of Peking University, Information Processing Laboratory of University of Tokyo, and Bi-Trans in ABC will be held in Kanagawa, Japan, during 12-14 March, 2010, followed by Workshop on Bidirectional Transformation in Tokyo, Japan on 15 March, 2010


Topics of interest include, but are not limited to, the following:

  • Automatic Software Development
  • Architecture-based Component Composition
  • Bidirectional Transformation Languages
  • Model-driven Software Development
  • Model Transformation/Synchronization
  • Round-trip Software Development
  • Software Engineering in Multi-Agent Systems and Service-Oriented Computing
  • Formal Methods and Artificial Intelligence for Software Development
  • Reverse Engineering
  • Software/Program Refinement
  • Software Reuse
  • Software Maintenance


Workshop Chair:

Program Committee:

  • Soichiro Hidaka (National Institute of Informatics), Co-Chair
  • Zhenjiang Hu (National Institute of Informatics), Co-Chair
  • Linpeng Huang (Shanghai Jiao Tong University)
  • Hiroyuki Kato (National Institute of Informatics)
  • Hong Mei (Peking University)
  • Yong Qi (Xi'an Jiao Tong University)
  • Ji Wang (National University of Defense Technology, China)
  • Baowen Xu (Nanjing University)
  • Haiyan Zhao (Peking University)
  • Jianjun Zhao (Shanghai Jiao Tong University)
  • Wenyun Zhao (Fudan University)


Presentations at Hakone will be given at the Cattlea conference hall (2nd floor)

March 12th (Fri) [Hakone]

  • 18:00               Registration Open
  • 18:30 -- 20:30 Reception - Azeria (2nd floor)

March 13th (Sat) [Hakone]

  • 07:00 -- 09:00 Breakfast - Cafe Restaurant "Humming" or Japanese Restaurant "Sengoku" (1st floor)
  • 09:00 -- 09:10 Opening Address: Masato Takeichi (University of Tokyo, Japan)
  • 09:10 -- 10:10 Session 1 [Chair: Hong Mei]
  • 10:10 -- 10:40 Coffee Break
  • 10:40 -- 12:10 Session 2 [Chair: Soichiro Hidaka]
    • Akimasa Morihata (University of Tokyo, Japan) - Parallelizing Recursive Functions with Accumulations
    • Kento Emoto (University of Tokyo, Japan) - Active Libraries for Parallel Programming in Fortress
    • Kiminori Matsuzaki (Kochi University of Technology, Japan) - Implementing Fusion-Equipped Parallel Skeletons by Expression Templates
  • 12:10 -- 14:00 Lunch - Cafe Restaurant "Humming" (1st floor)
  • 14:00 -- 15:00 Session 3 [Chair: Zhenjiang Hu]
  • 15:00 -- 15:10 Break
  • 15:10 -- 16:10 Session 4 [Chair: Linpeng Huang]
  • 16:10 -- 16:40 Coffee Break
  • 16:40 -- 17:40 Session 5 [Chair: Wenyun Zhao]
    • Haiyan Zhao (Peking University, China) - A Feature driven Approach to the Development of High-Customizable Software
    • Zhenyu Chen, Hongmin Lu (Nanjing University, China) - Test case selection based on cluster analysis of software behaviors
  • 18:40 -- 20:40 Banquet - Azeria (2nd floor)

March 14th (Sun) [Hakone]

  • 07:00 -- 09:00 Breakfast - Cafe Restaurant "Humming" or Japanese Restaurant "Sengoku" (1st floor)
  • 09:00 -- 10:30 Session 6 [Chair: Keisuke Nakano]
    • Tian Zhang, Linzhang Wang (Nanjing University, China) - An MDE-based method for bridging different design notations
    • Qiang Sun (Shanghai Jiao Tong University, China) - Applying Bidirectional Transformation to Feature Model Refinement
    • Bo Wang (Peking University, China) - Towards Automatic Feature Model Inconsistency Fixing
  • 10:30 -- 11:00 Coffee Break
  • 11:00 -- 12:00 Session 7 [Chair: Baowen Xu]
  • 12:00 -- 13:00 Lunch - Cafe Restaurant "Humming" (1st floor)

March 15th (Mon) [NII]

  • 08:30 -- 10:00 Registration, symposium plenary session
  • 10:00 -- 10:20 Coffee Break
  • 10:20 -- 11:50 Session 1 [Chair: Haiyan Zhao](Conference Room 101,102,103)
  • 12:00 -- 13:00 Lunch - restaurant at the 3rd floor of NII building
  • 13:00 -- 14:00 Invited Talk(Conference Room I,II)
  • 14:00 -- 14:20 Coffee Break
  • 14:20 -- 15:50 Session 2 [Chair: Hiroyuki Kato](Conference Room 101,102,103)
    • Junpeng Bao (Xi'an Jiaotong University, China) - A thought about the software production procedure
    • Yin Gang (National University of Defence Technology, China) - Practices and Thinking of Trustworthy Software Evolution (and Bi-Trans)
    • Xiaozhi Du (Xi'an Jiaotong University, China) - Modeling and Performance Analysis of Software Rejuvenation Policies for Multiple Degradation Systems
  • 15:50 -- 16:10 Coffee Break
  • 16:10 -- 17:40 Session 3 [Chair: Yong Qi](Conference Room 101,102,103)
    • Yuming Zhou, Baowen Xu (Nanjing University, China) - Automatically identifying key classes from source code: a lightweight approach
    • Rui Shen (National University of Defence Technology, China) - Owlet: Interaction Oriented Programming for Internet Applications
    • Xin Peng (Fudan Univesity, China) - A Case Study of Variation Mechanism in an Industrial Product Line
  • 18:00 -- 20:00 Welcome Reception & Poster Presentations (Conference Room III,IV)

Local Information

The Bi-Trans in ABC workshop (12-14 March) will take place at Palace Hotel Hakone (パレスホテル箱根). (access)
Access: Odakyu Hakone Highway Bus (Shinjuku to Hotel, Haneda Airport to Hotel) Shinjuku <--> Hakone: 1950Yen/130min (one-way)
[Recommended Route From Narita Airport]: Take Narita Express (Operated by JR East) to Shinjuku station, take the Odakyu Hakone Highway Bus ( Bus stop location(Google map)) and get off at "Palace Hotel Hakone mae (パレスホテル箱根前)".
[Recommended Route From Tokyo]: Take the Odakyu Hakone Highway Bus from Shinjuku station and get off at "Palace Hotel Hakone mae (パレスホテル箱根前)".
[Recommended Route From Haneda Airport]: Take the Odakyu Hakone Highway Bus and get off at "Minami-onsenso (南温泉荘)". It's a couple of minutes from the station to the hotel.
The Workshop on Bidirectional Transformation (15 March) will take place as a part of GRACE International Symposium on Advanced Software Engineering 2010 at the National Center of Sciences Bldg., Tokyo, Japan (access)
Hotel information (March 15-) KKR Hotel Tokyo

General information:
Tokyo Subway Route Map (PDF) in English, Chinese Simplified, Chinese Traditional

last update: 2010-3-15 by Soichiro Hidaka