3rd International Workshop on

Bidirectional Transformation in Architecture-Based Component Composition

(Bi-Trans in ABC)

14-18 November 2009
National University of Defense Technology, Changsha, 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 participators

The workshop is jointly organized by Key Laboratory of High Confidence Software Technologies of Peking University, National University of Defense Technology, Information Processing Laboratory of University of Tokyo, GRACE Center of National Institute of Informatics, Japan, and will be held in Changsha, China during 14-18 November, 2009.

Topics

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

Organziers

  • Zhenjiang Hu (National Institute of Informatics)
  • Hong Mei (Peking University), Co-Chair
  • Masato Takeichi (University of Tokyo)
  • Huaimin Wang (Professor at National University of Defense Technology, China)
  • Ji Wang (Professor at National University of Defense Technology, China), Co-Chair
  • Haiyan Zhao (Peking University)

Program

November 15th (Sun)

  • 09:00—09:10 Opening:  Huaimin Wang (National University of Defense Technology, China)  
  • 09:10—09:20 Hong Mei (Peking University, China) -- Introduction to the Workshops
  • 09:20—10:00  Keynote talk [Chair: Huaimin Wang ]
    • Masato Takeichi  (University of Tokyo, Japan) - Configuring Bidirectional Programs with Functions
  • 10:00--10:30  Coffee break
  • 10:30--12:00  Session 2 [Chair: Xiaohong Jiang]
    • Ji  Wang  (National University of Defense Technology, China)  - tbd
    • Zhenjiang Hu (National Institute of Informatics, Japan) - Bidirectional Model Transformation for Evolutionary Software Development
    • Linpeng Huang (Shanghai Jiaotong University, China)  - Type and Effect System for Bidirectional Transformations in Semantic Consistency
  • 12:00--14:00  Lunch
  • 14:00--15:30  Session 3 [Chair: Ji Wang]
    • Xin Peng (Fudan University, China)  -  Domain-Oriented Reverse Engineering: Extracting Commonality/Variability for Domain Analysis and Design
    • Soichiro Hidaka (National Institute of Informatics, Japan)  - Design and Implementation of the Bidirectional Interpretation Engine in a Graph Roundtrip Transformation System "GRoundTram"
    • Linzhang Wang (Nanjing University., China)  -  Aspect-Oriented Modeling and Verification of Crosscutting Concerns with UML Activity Diagrams
  • 15:30--16:00 Coffee break &  Poster Session 1 [Chair: Changguo Guo]
    • Lin Chen (Nanjing University, China) - Isolate concurrency failures from message races
    • Ju Qian (Nanjing University, China) - Automatically Shrinking Critical Sections by Dependence and Escape State Analysis
  • 16:00--17:30 Session 4 [Chair: Masato Takeichi]
    • Hiroyuki Kato (National Institute of Informatics, Japan) - Towards A Context Preserving Fusion in Optimizing Model Transformations
    • Zhenyu Chen (Nanjing University, China) - Software Testing Based on Clustering Analysis of Software Behaviours
    • Keisuke Nakano (University of Electro-Communications, Japan) - Direct Typechecking for Structural Graph Transformation
  • 18:00--19:30 Dinner

November 16th (Mon)

  • 9:00--10:30 Session 5 [Chair: Zhenjiang Hu]
    • Kazuhiro Inaba (National Institute of Informatics, Japan) - Towards Typechecking for Model Transformations by Monadic Second-Order Logic
    • Jianjun Zhao (Shanghai Jiaotong University, China) - AO Software Behavior Model Evolution and Synchronization: A Bidirectional Graph Transformation Approach
    • Kazutaka Matsuda (University of Tokyo, Japan) - A Grammar-based Approach to Program Inversion
  • 10:30--11:00  Coffee break
  • 11:00--12:00  Session 6 [Chair: Baowen Xu]
    • Sachiko Kizu (University of Tokyo, Japan) - Bidirectional View-Updating for XML Documents with ID/IDREFs
    • Xiaozhi Du (Xi’an Jiaotong University, China) - Software Rejuvenation Model Based on Reconfiguration
  • 12:00--14:00 Lunch
  • 14:00--15:30 Session 7 [Chair: Linpeng Huang]
    • Yingfei Xiong (University of Tokyo, Japan) - Beanbag: A Language for Automatic Model Inconsistency Fixing
    • Changguo Guo (National University of Defense Technology, China) – A Toolset for Monitoring Enabled Software Construction
    • Haiyan Zhao (Peking University, China) – Verifications of Feature Models: A Compositional Approach
  • 15:30--17:00 Poster Session 2 [Chair: Yong Yi]
      • Wei Zhang (Peking University, China) - An Optimization Strategy to Feature Models’ Verification by Eliminating Verification-Irrelevant Features and Constraints
      • Yuansheng Luo (Xi’an Jiaotong University, China) - An Improved Heuristic for QoS-aware Service Composition Framework
      • Hui Song (Peking University, China) - Synchronizing running systems with their model-based views
      • Ziyuan Wang (Nanjing University, China) - Variable Strength Combinatorial Testing
      • Li Yi (Peking University, China) – A Feature-based Collaborative Approach to Identifying Domain Commonalities and Variabilities
  • 18:00 --19:30 Dinner

November 17th (Tue)

  • Free discussion and Excursion

Local Information

The workshop will take place at Hunan International Convention & Exhibition Hotel (湖南影视会展中心酒店), located in the city of Changsha, Captial of Hunan Province. The hotel is about 30-minutes by taxi from the Changsha airport.

maintained by Haiyan Zhao, last updated: 2009-11-10.