GRACEメールマガジン2015/1/19 第42号

◆□◆GRACEメールマガジン2015/1/8 第42号◆□◆


◆◆GRACE Workshop on Adaptive and Evolve Software Systems◆◆

ワークショップを開催します。この分野の世界的権威であるCarlo Ghezzi教授による

☆☆☆ GRACE Workshop on Adaptive and Evolve Software Systems ☆☆☆

【日時】2015年1月19日(月) 14:30-18:00
【会場】国立情報学研究所(NII) 19階 1901-1902室
  〒101-8430 東京都千代田区一ツ橋2-1-2
【参加費】 無料

14:30-15:15 Invited talk 1: Building dependable situation-aware software:
how to self-adapt to environment changes,
Professor Carlo Ghezzi (Politecnico di Milano, Italy)

15:15-16:00 Invited talk 2: Capability Modeling and Evaluation for
Adaptive Systems,
Professor Zhi Jin (Peking University, China)

16:15-16:35 Quality Analysis for Self-adaptive Systems with Multiple
Loops, Kenji Tei (NII, Japan)

16:35-16:55 Efficient Runtime Verification of Aspect-Oriented Self-Adaptive
Systems Using Rewriting Logic, Yasuyuki Tahara
(The University of Electro-Communications, Japan)

16:55-17:10 Attribute-Based Access Control for Bidirectional
Lionel Montrieux (NII, Japan)

17:10-17:25 A Trace-based Approeach to Increased Comprehensibility and
Predictability of Bidirectional Graph Transformations,
Soichiro Hidaka (NII, Japan)

17:25-17:40 Testing-based Adaptive Model-Code Co-Evolution,
Tao Zan (NII, Japan)

17:40-18:00 Closing



[Invited Talk 1]
TITLE: Building dependable situation-aware software: how to self-adapt to
environment changes
SPEAKER: Carlo Ghezzi, Professor of Software Engineering,
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy

Modern software-intensive systems often live in a highly dynamic
context, whose
behavior is both hard to anticipate and also very likely to change.
Consider for
example highly interactive systems, which depend on evolving usage
profiles, or
cloud/service environments, which rely on a dynamically evolving
or cyber-physical systems. CPSs are characterized by continuous
interaction with
the physical environment. Requirements satisfaction depends heavily on
assumptions on how the physical environment behaves, which may be hard
to fully
anticipate when systems are initially built and often are subject to
evolve as
the system is operating. In all these cases, uncertainty and evolution
are two
faces of the crucial system-environment boundary. To cope with
uncertainty and
evolution, systems should be able to self-adapt in a dependable and

The talk focuses on self-adaptation to changes that may lead to
violations of
non-functional requirements (such as reliability, performance, or power
consumption). The proposed approach is based on monitoring, learning
from raw
data the changes that may lead to requirements violation, run-time model
checking to check for violations, and dynamic reconfiguration to
instantiate a
new software architecture.

The approach described in the talk has been developed by the author in the
context of the SMCcom project, funded by an ERC AdG.

Carlo Ghezzi is an ACM Fellow, an IEEE Fellow, a member of Academia
Europaea and
of the Italian Academy of Sciences. He received the ACM SIGSOFT
Service Award. He is the current President of Informatics Europe. He
has been a
member of the program committee of flagship conferences in the software
engineering field, such as the ICSE and ESEC/FSE, for which he also
served as
Program and General Chair. He was also General Co-Chair of the International
Conference on Service Oriented Computing. Ghezzi has been the Editor in
of the ACM Trans. on Software Engineering and Methodology and is
currently an
Associate Editor of the Communications of the ACM, IEEE Trans. on Software
Engineering, Science of Computer Programming, Computing, and Service
Computing and Applications. Ghezzi’s research has been mostly focusing on
different aspects of software engineering. He co-authored over 200
papers and
8 books. He coordinated several national and international research
See for more information.

[Invited Talk 2]
TITLE: Capability Modeling and Evaluation for Dynamically Adaptive Systems
SPEAKER: Zhi Jin, Full Professor, Software Engineering Institute,
Peking University, China

Dynamically adaptive system reconfigures automatically at run-time in
order to
react to environmental changes and fulfill its specified goals. The
of such system requires to build an adaptation engine that adapts the
behaviors by means of feedback loops which includes monitoring, analysis,
planning and execution. The capability of the adaptation engine needs to be
identified and modeled before system development. This talk will analyze the
capabilities of the adaptation engine based on the principles of the
loop and present a language for specifying the adaptation engine. It
will also
include some discussion about the capability evaluation.

Zhi Jin is a professor of Computer Science at the Peking University,
China. Before joined the Peking University, she was a professor of
Academy of
Mathematics and System Science at the China Academy of Sciences since
2001. She
received the MS degree in computer science in 1987 and the PhD degree in
both from Changsha Institute of Technology, China. Her research interests
include software requirements engineering and knowledge engineering. She has
published a co-authored monograph by Kluwer Academic Publishers and more
80 referred journal/conference papers in these areas. She has won various
nation-class awards/honors in China, including the Natural Science
for Distinguished Young Scholars of China (2006), the Award for
Women IT Researcher of China (2004), and the Zhongchuang Software Talent
(1997). She is the leader of over 10 national competitive grants, including
3 China NSF grants, 2 China 973 program grants and 2 China 863 program
grants. She is a senior member of the IEEE, a standing senior member of the
China Computer Federation (CCF), a grant review panelist for China NSF
(Information Science Division); serving as an executive associate editor for
Journal of Software, an editorial board member for Expert Systems and
Journal of Computers; and served as a PC co-chair, area chair, or PC
member for
various conferences.
See for more information.

【主催】国立情報学研究所 GRACEセンター
国立情報学研究所 本位田真一 (E-mail: honiden _AT_
※ __AT__をアットマークで置き換えてください。


●GRACEメールマガジンの 第42号をお届けしました。
ご意見、ご感想は、GRACEセンター事務局 (


カテゴリー: メルマガ パーマリンク