形式语义论文

Web事务的建模及其语义分析
论文摘要当今,Web服务是实现应用系统间互操作的最有前途的互联网技术。Web服务平台的基础是一系列依赖于XML技术的标准。其中,Web服务组合是实现商业系统集成的关键。除了服务...
面向网格服务的软件体系结构建模及演化研究
论文摘要在计算机软件网络化和服务化的趋势下，面向网格服务的分布式软件系统得到了迅速的发展，同时也面临着与传统软件开发初期同样的问题，缺乏技术手段指导软件的需求、设计导致软件产品...