− sigfm 第25回月例会−
日時 2004年7月16日（金）
場所 SRA先端技術研究所会議室
当日の資料
プログラム
２００４年７月１６日（金)
SEA sigfm世話人の佐原です。
７月の月例会のお知らせです。
英国ブラッドフォード大学の田口さんより、下記のお話を伺います。
日時：２００４年７月１６日（金）１３：３０〜１６：４５
場所：SRA先端技術研究所(四谷三丁目) 会議室
http://www.iijnet.or.jp/sea/Maps/Yotsuya.html
講師：
Kenji Taguchi さん （University of Bradford）
題: Integrated Formal Notations for Concurrent and Dynamically Reconfigurable
Communication Systems
内容:
Software systems have becom increasingly distributed, dyamic and
mobile. The complex state and dynamic interfaces of software components
and their concurrent interactions provide challenging research issues
in system specification and design.
In this talk, an effective integration of state-based formalism and
dynamic action-based calculus for modelling the complex distributed
mobile systems is presented. In this integration called PiOZ, Object-Z
provides a powerful object-oriented design notation, and the pi-calculus
can enable specifiers to model dynamically reconfigurable network
topology. In order to demonstrate the semantic link between the two
notations and how seamlessly they are integrated together, the
operational semantics and type system are also presented. An overview
of method integration research is also given in this talk.
会費：
SEA会員：１０００円
非会員：２０００円
懇親会：１７：１０〜２０：００（恐らく、小田原。日本酒選定山崎利治さん。予算規模未定（前回は１万円））