期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Behavior-Consistent Service Substitutions in Dynamic Environments
1
作者 陈俊清 黄林鹏 于程远 《Journal of Shanghai Jiaotong university(Science)》 EI 2014年第1期17-27,共11页
In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substit... In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions (CBEs). Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible. 展开更多
关键词 behavior consistency concurrent regular expressions subtyping technology type and effiect systems service substitutions
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部