会话类E-Service相关论文
针对会话类E-Service的会话完整性对环境提出的更多限制以及由此导致的行为差异，给出了对接口环境的严格定义和接口兼容检查的精确......
基于异步协议兼容中的可同步条件,对异步消息通信环境中的服务交互进行了接口兼容分析,并提出了一种异步环境下的接口兼容分析方法......
为保证最终获得的组合服务能够正确运行,首先对涉及会话类E-Service服务组合过程中的E-Service动态行为接口进行了形式化描述.然后......
