◆□◆GRACEメールマガジン2015/1/8 第42号◆□◆
————————–
GRACEメールマガジンは、GRACEセンターのセミナー、
イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールで
お届けするものです。
————————–
==============================================================
◆◆GRACE Workshop on Adaptive and Evolve Software Systems◆◆
==============================================================
====================================================================
GRACEセンターでは、以下の通り1月19日に進化適応型ソフトウェアシステムに関する
ワークショップを開催します。この分野の世界的権威である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
http://www.nii.ac.jp/about/access/
【参加費】 無料
【事前登録】不要（直接会場にお越し下さい）
【プログラム】
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
Dynamically
Adaptive Systems,
Professor Zhi Jin (Peking University, China)
16:15-16:35 Quality Analysis for Self-adaptive Systems with Multiple
Adaptation
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
Transformations,
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
ABSTRACT:
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
infrastructure,
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
verifiable
manner.
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.
BIOGRAPHY:
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
Distinguished
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
Chief
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
Oriented
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
projects.
See http://home.deib.polimi.it/ghezzi/ 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
ABSTRACT:
Dynamically adaptive system reconfigures automatically at run-time in
order to
react to environmental changes and fulfill its specified goals. The
development
of such system requires to build an adaptation engine that adapts the
system’s
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
feedback
loop and present a language for specifying the adaptation engine. It
will also
include some discussion about the capability evaluation.
BIOGRAPHY:
Zhi Jin is a professor of Computer Science at the Peking University,
Beijing,
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
1992,
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
than
80 referred journal/conference papers in these areas. She has won various
nation-class awards/honors in China, including the Natural Science
Foundation
for Distinguished Young Scholars of China (2006), the Award for
Distinguished
Women IT Researcher of China (2004), and the Zhongchuang Software Talent
Award
(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
Chinese
Journal of Computers; and served as a PC co-chair, area chair, or PC
member for
various conferences.
See http://www.sei.pku.edu.cn/people/zhijin for more information.
【主催】国立情報学研究所 ＧＲＡＣＥセンター
【協賛】NPO法人トップエスイー教育センター
【問い合わせ】
国立情報学研究所 本位田真一 (E-mail: honiden _AT_ nii.ac.jp)
※ __AT__をアットマークで置き換えてください。
================================================================
□編集後記□
●GRACEメールマガジンの 第42号をお届けしました。
ご意見、ご感想は、GRACEセンター事務局 (secretariat@grace-center.jp)
までお願いいたします。
●GRACEメールマガジンの購読解除、バックナンバーに
ついては、下記のURLをご覧ください。
http://grace-center.jp/mailmagazine
