KBSE-SIG

tech

KBSE-SIG行ってきました。

とりあえず、Y田君に伝言
マンガ先生もキテタ━━━━(゜∀゜)━━━━ッ!!

で、そのほか、ここで語られていた話
・ 石垣島は本当にあるらしい。(討論リーダが決まったとの事、間に合うのか？)

面白そうだった内容

4. Webサービスにおける安全性とセキュリティの解析
○中島震 (科学技術振興機構さきがけ/法政大学)
Webサービスのセキュリティポリシーを、データフローの制御の観点から、モデル化する。そして、そのモデルに従ってセキュリティポリシーを付与したWebサービスの連携をBPELで記述した場合の、連携の相互作用から生じるセキュリティポリシーの衝突をモデル検証により導出できるという方式の提案。
BPELにおける安全性や活性のの検証と同じ方式で可能としている点が面白い。


5. システム開発で対象とする安全性
○小林洋 (東海大学)
安全性って言葉いい加減にあいまいすぎるので規定しない？って話。ソフトウェアの開発プロセスに応じて利用される安全性の意味をたくさん挙げていた。

7. 柔軟なコンポーネント間接続方式の提案と実装
○星大樹，鷲崎弘宜，深澤良彰 (早稲田大学)
型的に可換であるにもかかわらずインタフェースの違いにより接続できないコンポーネントとコンポーネント利用プログラムを簡単に接続するための方式の提案(単純な例としてはdoubleとDoubleとか、method(double[] point) とmethod(double x,double y） など）
型にのみ注目しているので、意味的に変換可能とかは今後の課題、もしくはスコープ外か。

と書いてみたが、これらのセッションは別用事で聞けず、アブストのみ。残念。