主 催: NII 先端ソフトウェア工学国際研究センター（GRACEセンター）
日 時: 2009年2月12日(木) 10:00-12:00
場 所: 国立情報学研究所(NII) 20階講義室1（2005室）（地図））
参加費: 無料
お問い合わせ: 吉岡信和 (nobukazu_AT_nii.ac.jp）_AT_を@に書き換えてください。
参加をご希望の方は、下記アドレスまで、セミナー前日まで必要事項を記入し，
“14th GRACE Seminar”というタイトルで電子メールでご登録をお願いします。
登録アドレス：event-info@grace-center.jp
必要事項：お名前、所属、メールアドレス
プログラム:
10:00-11:00 An Aspect-oriented Weaving Mechanism Based on Component-and-
Connector Architecture, slides
Speaker: Naoyasu Ubayashi, Kyushu Institute of Technology
11:00-12:00 Physical Interaction in Pervasive Computing: Formal Modeling,
Analysis and Verification
Speaker: Fuyuki Ishikawa, National Institute of Informatics
▼詳細
Title: An Aspect-oriented Weaving Mechanism Based on Component-and-
Connector Architecture
Speaker: Naoyasu Ubayashi, Kyushu Institute of Technology
Abstract:
Aspect-oriented programming (AOP) separates crosscutting concerns from
primary concerns. These concerns are woven together by a weaver.
Although AOP provides an effective module mechanism, it is not
necessarily easy for a programmer to understand the overall behavior
of a woven program. To deal with this problem, we propose a new kind
of information hiding mechanism called a weaving-interface that
encapsulates weaving in class-based AOP in which all kinds of concerns
are described according to classes. Weaving-interfaces are completely
separated from concerns described in terms of classes. A programmer
who designs how to compose concerns does not have to know the details
of class definitions, but has only to be aware of
weaving-interfaces. A programmer who designs each concern does not
have to know how the concern is composed, but has only to be aware of
weaving-interfaces. Adopting the weaving-interface mechanism, AO
weaving can be realized by the component-and-connector software
architecture. This weaving-interface mechanism is effective for
software modularity, evolution, and reuse.
This talk is based on the paper presented at ASE’07 coauthored with
Akihiro Sakai (Kyushu University) and Tetsuo Tamai (University of
Tokyo).
Biography:
Naoyasu Ubayashi is an associate professor in the Department of
Artificial Intelligence at Kyushu Institute of Technology, where he is
leading the POSL (Principles of Software Languages) research
group. The group is studying on software languages including
programming languages, modeling languages, and domain-specific
languages. He received his Ph.D. from the University of Tokyo. He is a
member of ACM SIGPLAN, IEEE Computer Society, and Information
Processing Society of Japan (IPSJ). He received “IPSJ SIG Research
Award 2003” from IPSJ. He will serve as a demonstrations co-chair of
AOSD’09.
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
Title: Physical Interaction in Pervasive Computing: Formal Modeling,
Analysis and Verification
Speaker: Fuyuki Ishikawa, National Institute of Informatics
Abstract:
The Pervasive Computing paradigm has attracted widespread attention,
targeting user support by often invisible (unnoticed) use of devices
embedded in the surrounding environment. Physical interactions (visual,
audio, tactile, etc.) are therefore essential, whose effectiveness depends
on physical conditions, typically, “the user is sufficiently near by the
device.” Application software is required to be “smart”, or to behave
accordingly by being aware of those conditions in dynamic environments. Our
ongoing study aims at facilitating developers to specify and analyze
requirements and application behaviors related to physical interactions in
abstract models. This study provides formal modeling, based on Event
Calculus, of physical conditions and their changes triggered by user
behaviors, application behaviors, or time passage. Especially, the provided
modeling allows for analysis of conflicts of physical interactions,
differently from tree-based location models. This study also discusses
analysis and verification using an existing reasoner on Event Calculus.
Biography:
Fuyuki Ishikawa received his Ph.D. degree in Information Science and
Technology from The University of Tokyo, Japan, in 2007. From April
2007, he has been an assistant professor at Digital Content and Media
Sciences Research Division, National Institute of Informatics, Japan.
His research interests include Service-Oriented Computing, Multi-Agent
Systems, and Software Engineering.
