填空题
对动态软件体系结构的形式化描述通常有（）、（）、（）三种方法。
图形化方法；进程代数方法；逻辑描述方法
填空题 一个完整的Web服务包括3种逻辑构件（）、（）、（）。
填空题 Web服务栈的五层标准为：发现服务层、描述层、（）、（）、（）。
填空题 Web服务开发生命周期分为（）、（）、（）、（）四个阶段。
