5th International Workshop on

Bidirectional Transformation in Architecture-Based Component Composition

(Bi-Trans in ABC)

17-19 May 2011
Xi'an Jiaotong University , Xi'an, China

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 participants.

The workshop is jointly organized by Key Laboratory of High Confidence Software Technologies of Peking University, Information Processing Laboratory of University of Tokyo, GRACE Center of National Institute of Informatics, Japan, Xi'an Jiaotong University, and will be held in Xi'an, China during 17-19 May, 2011.

Topics

The theme of the workshop is High Confidence Software. Topics of interest include, but 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
• Software Reliability, Safety, Security, Survivability, Fault Tolerance
• ......

Back to top

Organizers

Back to top

Important Date

• 16 May         Registration
• 17-19 May      Conference
• 20 May         Departure

Back to top

Program

Schedule (v0.5):

Program details:

May 17 ( Tue )

·         09:00—09:15  Opening address: Yong Qi (Xi'an Jiaotong University, China)

·         09:15—09:55  Session 1  [Chair: Hong Mei]

◦    Tao Xie (North Carolina State University, USA)

Cooperative Analysis of Software Artifacts: How Human and Machine Cooperate to Get Work Done.

·         09:55—10:30  Coffee break and Taking group photo

·         10:30—12:00  Session 2  [Chair: Ji Wang]

◦    Shoji Yuen   (Nagoya University, Japan)   

A Process Algebra Compiler with Negative Premises.

◦    Zhenjiang Hu ( National Institute of Informatics, Japan) 

Developing Bidirectional Model Transformations with GRoundTram.

◦    Yuting Chen (Shanghai Jiaotong University, China) 

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs.

·         12:00—14:00  Lunch

·         14:00—15:30  Session 3  [Chair: Zhenjiang Hu]

◦    Zhenyu Chen (Nanjing University, China) 

A Holistic Framework of Test Case Evolving.

◦    Soichiro Hidaka ( National Institute of Informatics, Japan) 

Static and Dynamic Optimizations in a Graph Roundtrip Transformation System GRoundTram.

◦    Chengyuan Yu (Shanghai Jiaotong University, China) 

The Application of Bidirectional Transformation in Service Composition.

·         15:30—16:00  Coffee break

·         16:00—18:00  Session 4  [Chair: Baowen Xu]

◦    Yu Liu (The Graduate University for Advanced Studies, Japan) 

MapReduce in the Box - A Practical Homomorphism-based Parallel Programming Framework.

◦    Zhe Chen , Zhiqiu Huang (Nanjing University of Aeronautics and Astronautics, China) 

Quality Assurance of Avionics Software.

◦    Kazuyuki Asada (National Institute of Informatics, Japan) 

The Multi-rooted Graph Algebra as a CBV-calculus, and its Many-sorted Bialgebraic Semantics.

◦    Haiyan Zhao (Peking University, China) 

Constructing Feature Models Using Merging Techniques

·         19:00—21:00  Dinner

May 18 ( Wed )

·         09:00—10:30  Session 5  [Chair: Jianjun Zhao]

◦    Keisuke Nakano (University of Electro-Communications, Japan) 

View Updatability Checking with a Graph Schema.

◦    Wei Zhang (Peking University, China) 

An Approach to Decrease the Number of Variables in Feature Model Verification.

◦    Liqian Chen ( National University of Defense Technology, China) 

A Quantitative Abstract Model of Lists for Shape Analysis.

·         10:30—11:00  Coffee break

·         11:00—12:00  Session 6  [Chair: Xin Peng]

◦    Pengfei Chen (Xi'an Jiaotong University, China) 

Performability Modeling, Prediction and Maintenance of Long-term Running Software System.

◦    Xin Peng (Fudan University, China) 

Value-based Self-Tuning for Quality Optimization and Survivability.

·         12:00—14:00  Lunch

·         14:00—15:00  Session 7  [Chair: Zhiqiu Huang]

◦    Jianbao Ren (Xi'an Jiaotong University, China) 

The Recovery of Software Stack and Data Stream Tracing Technique Based on VMM.

◦    Bo Wang (Peking University, China) 

Preference-based Feature Model Configuration.

·         15:00—15:10  Close address:  Zhenjiang Hu (National Institute of Informatics, Japan)

·         15:10—16:40  Free Discussion

·         16:40—21:30  Visit Tang Paradise including Banquet

May 19 ( Thu )

·         08:30—12:00  Free discussion and Excursion

·         12:00—14:00  Lunch

Back to top

Venue

The workshop will take place at Xi’an Jianguo Hotel (西安建国饭店), located in the city of Xi'an, Captial of Shaanxi Province.

·  Map

View Google Map

·  Transport

By Airplane, From the Xi'an Xianyang International Airport:

1. Airport → taxi, about RMB 200 yuan → Jianguo Hotel(建国饭店).
2. Airport → airport coach, about RMB 30 yuan → Jianguo Hotel(建国饭店).
Notice: There are many airport coaches to Xi'an city, but they have different termination. One of them shuttles between airport and Jianguo hotel directly.

By Train, From the Xi'an Railway Station:

1. Railway Station → Taxi, within RMB 20 yuan → Jianguo Hotel(建国饭店).
2. Railway Station → Bus NO.602, RMB 1 yuan, seven stations → Xingqing Road Station(兴庆路站) → change to Bus No.300 (or Bus No.8, No. 37), one station → Huzhu Road Station(互助路站) → walk along the street towards South about 50 meters → Jianguo Hotel(建国饭店).

·  About Xi'an

Xi'an, the eternal city, records the great changes of the Chinese nation just like a living history book. Called Chang'an in ancient times, Xi'an is one of the birthplaces of the ancient civilization in the Yellow River Basin area of the country. During Xi'an's 3,100 year development, 13 dynasties such as Western Zhou (11th century BC - 771 BC), Qin (221 BC - 206 BC), Western Han (206 BC - 24 AD) ...

Back to top

Contact

Department of Computer Science & Technology, Xi'an Jiaotong University,
Xi'an 710049, P.R. China
Junpeng Bao    
Email: baojp@mail.xjtu.edu.cn     
Office Tel: +86-(0)29-82668645-709
Fax: +86-(0)29-82668971

Back to top

Bi-Trans in ABC Workshop Series

• 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition   March 2010, Palace Hotel Hakone, Kanagawa, Japan
• 3rd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition   November 2009, National University of Defense Technology, Changsha, China
• 2nd Joint Workshop on Bidirectional Transformation in Architecture-Based Component Composition   January 2009, Shonan Village Center, Japan
• First Joint Workshop on Bidirectional Transformation in Architecture-Based Component Composition   December 2007, Peking University, Beijing, China

Back to top

maintained by Junpeng Bao, last updated: 2011-4-30.