Hsin-Hung LIN

Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking
Hsin-Hung LIN  Toshiaki AOKI  Takuya KATAYAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/07/01
Vol. E95-D  No. 7  pp. 1882-1893
Type of Manuscript: PAPER
Category: Data Engineering, Web Information Systems
Keyword: 
service adaptation,  behavior mismatch,  pushdown model checking,  unbounded messages, 
  Summary |  Full Text:PDF (1.5MB)