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__をアットマークで置き換えてください。
