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 adaptationbehavior mismatchpushdown model checkingunbounded messages
 Summary | Full Text:PDF