XYZ/E是一种面向软件工程的时序逻辑语言，它在统一的逻辑框架下既能表示静态语义又能表示动态语义，在很多领域得到了广泛应用，但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见。本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述，并对CA和RA组件中的部分子组件进行了详细描述，从而为XYZ/E在CA系统中的应用提供了一个范例。