Web服务是一个封装成实体并发布到网络上以供其他程序使用的功能的集合,Web服务运行时,用户无需知道服务的实现机制,只需要知道服务接口即可实现服务调用.随着网络技术的衍生和演变,Web服务已在商业软件领域得到了极大的应用.目前,Web服务还是一个不够成熟但发展很快的技术,它已广泛应用于工业、商业等多个领域.该文展示了Web服务在构造分布式应用系统时的独特优势,同时介绍了在设计与实现分布式求解系统时所用到的主要技术.并依据各个技术的特点及优势,首先给出了"基于Web Service的开放式分布计算求解器的体系结构"方案.该设计方案主要是充分利用网络的软硬件资源,将网络上的多个求解器通过互相协调共同解决一个等式约束问题.该文就该方案的三个问题进行了探究:(1)分布式计算求解器的体系结构;(2)求解器组件的构成,即如何将一个求解器扩充成分布系统可用的求解器组件,使其具有开放性,也就是为求解器设计一个外壳(wrapper)的问题;(3)数学表达式树和DOM之间的转换研究,由于同一数学语义,在不同的系统中可能使用的符号和描述的结构可能都完全不同.所以,必须存在一个转换器,将不同形式的数学语义描述转换为相同形式的DOMMathML(DOM for MathML)等问题进行了探究.最后,对该体系结构模型进行了简化处理,并在简化后的模型上进行了系统集成与测试.