论文部分内容阅读
针对会话类E-Service的会话完整性对环境提出的更多限制以及由此导致的行为差异,给出了对接口环境的严格定义和接口兼容检查的精确算法.在应用上,由于接口兼容的组合算法COMP可以得到组合接口自动机,通过计算COMP(COMP(A1,…,COMP(AN-1,AN)))可以保证最终的组合结果是协议兼容的.