(sigemb-info 382) [GRACE-staffs] [GRACE-announce] 18th GRACE Seminar, (April 1st)

[Yumi YAMASAKI <yumi1007@xxxxxxxxx>]

ご関係者各位

いつもお世話になっております。

本ＭＬをお借りいたしまして
第18回GRACEセミナー（4/1）のご案内を差し上げます。

尚、重複して案内を受け取られた方は
ご了承くださいますようお願い申し上げます。

田口　研治（ＮＩＩ）
Tel：03-4212-2604
e-mail：ktaguchi@xxxxxxxxx

====================================================================

第18回先端ソフトウェア科学・工学に関するGRACEセミナーのご案内
18th GRACE Seminar on Advanced Software Science and Engineering

下記の日程で、第18回GRACEセミナーを開催いたします。

  第18回 GRACEセミナー
  日時：2009年4月1日(水） 10:00-12:00
  場所：国立情報学研究所(NII) 20階セミナー１室(2006)

参加費は無料です。
参加をご希望の方は、下記アドレスまで、セミナー前日まで必要事項を記入し，
"18th GRACE Seminar"というタイトルで電子メールでご登録をお願いします。

 登録アドレス：event-info@xxxxxxxxxxxxxxx
 必要事項：お名前、所属、メールアドレス

I am pleased to announce the 18th GRACE Seminars on Advanced Software
Science and Engineering to be held on April 1st (Wed).


The registration fee is free but it is needed to register your name,
affiliation and e-mail address in advance.
Please send a mail titled "18th Grace Seminar"
including the information to event-info@xxxxxxxxxxxxxxxx

We are looking forward to meeting you at the GRACE seminars.

You can find the detailed information below:

=====================================================================

第18回先端ソフトウェア科学・工学に関するGRACEセミナー
18th GRACE Seminar on Advanced Software Science and Engineering
主催：NII 先端ソフトウェア工学国際研究センター（GRACEセンター）
       http://grace-center.jp/
日時：2009年4月1日（水）10:00-12:00　20階セミナー１室(2006)
Time: 10:00-12:00, April 1st, 2009
場所：国立情報学研究所(NII)
http://www.nii.ac.jp/introduce/access1-j.shtml
Place:Seminar Room 1 (2006), 20F, National Institute of Informatics
お問い合わせ：田口　研治 (ktaguchi@xxxxxxxxx)
Inquiry: Kenji Taguchi (ktaguchi@xxxxxxxxx)

 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Speaker: Jianjun Zhao, (Shanghai Jiao Tong University)

Title: Celadon: A Framework and Tool Support for Change Impact Analysis of
　　　　　　　　Aspect-Oriented Programs

Abstract:

Change impact analysis is a useful technique for software evolution.
It determines the effects of a source editing session and provides 
valuable feedbacks to the programmers for making correct decisions. 
Recently, many techniques have been proposed to support change impact 
analysis of procedural or object-oriented software, but seldom effort has 
been made for aspect-oriented software. In this talk, we propose a new
change impact analysis technique for AspectJ programs.
At the core of our approach is the atomic change representation which can
precisely capture semantic ifferences between two versions of an AspectJ program.
We also present a change impact analysis model, based on static AsepctJ 
call graph construction, to determine the impacted program parts, affected tests 
and their responsible affecting changes. 
The proposed techniques have been implemented in Celadon, a change impact analysis
framework for Aspect J programs.
We also integrate automated debugging support and call graph incremental
reanalysis technique into Celadon. To evaluate the effectiveness and efficiency 
of our proposed techniques, we performed an experimental evaluation on 24 versions 
of 8 AspectJ benchmarks.
The results show that our proposed technique can effectively perform change 
impact analysis, reduce the automated debugging and call graph analysis 
overhead significantly.

------------------------------------------------------

Speaker: Yingfei Xiong (Universityof Tokyo)

Title: Beanbag: Facilitating Model Inconsistency Fixing 

Abstract:

Modern development environments often involve models with complex
consistency relations. Some of the relations can be automatically
established through “fixing procedures”.
When users
update some parts of the model and cause inconsistency, a fixing procedure
dynamically propagates the update to other parts to fix the inconsistency.
Currently, fixing procedures are manually implemented, which requires a lot
of efforts and the correctness of a fixing procedure is not guaranteed.

In this talk I will introduce Beanbag, a new language to support the
development of fixing procedures. A Beanbag program defines a consistency
relation in OCL-like syntax, but the program can be executed in two modes.
The checking mode checks whether a model satisfies the relation. The fixing
mode takes user updates on the model and produces new updates to make the
model satisfy the consistency relation. In this way Beanbag significantly
eases the development of fixing procedures. In addition, a Beanbag program
is also guaranteed to be correct with respect to three correctness
properties we define.



=================== GRACEセンターからのお知らせ ======================
GRACEセンター（先端ソフトウェア工学・国際研究センター）では、今後GRACE
セミナーなどのイベント案内や研究資料など、GRACEセンターに関する情報を
Eメールにてお届けしています。

■お申し込みは↓■
http://grace-center.jp/mail_member.html
是非ご購読下さい！購読料は無料です。

[GRACEセンター]
http://www.grace-center.jp/index.html
[メールマガジンについてのお問い合わせ]
owner-grace-bulletin@xxxxxxxxx