文献

J-GLOBAL ID：201002293091563134   整理番号：10A0920282

分散オブジェクト指向プログラミングのためのモジュールセッション型

Modular Session Types for Distributed Object-Oriented Programming

著者 (5件)： GAY Simon J. (Univ. Glasgow, GBR) ,  VASCONCELOS Vasco T. (Univ. Lisbon, PRT) ,  RAVARA Antonio (New Univ. Lisbon, PRT) ,  GESBERT Nils (Univ. Glasgow, GBR) ,  CALDEIRA Alexandre Z. (Univ. Lisbon, PRT)
資料名： ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)  (ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages))
巻： 45  号： 1  ページ： 299-312  発行年： 2010年01月 
JST資料番号： D0915A  ISSN： 0362-1340  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： セッション型は静的型検査によってプロトコル実装を検証できるように,通信プロトコルを型理論的に特定する。通信チャネルを記述し,メッセージの許容順序と型を定義する。独立呼出し可能な複数のメソッドに分割されたセッションの実行を許容することにより,オブジェクト指向言語に関するセッション型の既存研究を拡張した。拡張のポイントとして,以下1)-3)を示した。1)セッション型のクラス定義への帰属:可能なメソッド呼出し順序の特定,2)セッション型(プロトコル)実行のモジュール化,3)オブジェクトとしての通信チャネル:セッション型とクラスセッション型との統合。これらの概念を組込んで,コア分散クラスベースオブジェクト指向言語の構文分析,操作的意味論および静的型システムを形式化した。本概念をeコマース事例によって明示し,Java拡張プロトタイプ実装について記述した。

シソーラス用語： *オブジェクト指向プログラミング ,  分散処理 ,  *相互接続 ,  *プロトコル ,  *型理論 ,  通信チャネル ,  メッセージ伝送 ,  構文分析 ,  操作的意味論 ,  仕様記述 ,  Java ,  データ型 ,  システムインタフェイス
準シソーラス用語： セッション ,  メソッド【計算機】 ,  型システム

分類 (1件)： 応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (3件)： オブジェクト指向プログラミング ,  モジュール ,  セッション