BPEL4WSで記述されたアプリケーションのモデル検査に関する研究

Files

description_en.pdf (27.44 KB)

description_ja.pdf (71.27 KB)

Date

2005-03-23

Authors

Nakamori, Takahiro / 中森, 崇浩

Publisher

慶應義塾大学理工学研究科

Description

修士（工学）, 2004, 開放環境科学専攻

Keywords

BPEL4WS, Model Checking, BPEL4WS, モデル検査

URI

http://iroha.scitech.lib.keio.ac.jp:8080/sigma_local/handle/10721/1488

Collections