并行复合相关论文
针对协议复合时需要解决的问题,研究提出一种复合协议验证逻辑模型,给出了协议描述、逻辑语法、逻辑语义和相应的证明系统,对协议......
在基于构件的软件开发方法中，系统行为通过构件与构件之间的交互得以实现，因此如何形式化构件行为是一个重要的研究课题。提出一种基......
传统Web服务的复合由于缺乏足够的语义信息而大大降低了服务复合的效率和准确率。语义Web弥补了传统Web语义不足的缺点。但是，面对......
