摘要
XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见。本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例。
XYZ/E is a temporal logic language which is oriented toward software engineering. It can represent both dynamic semantics and static semantics under a unified logical framework, so it is applied in a great deal of fields, but there are few applications of XYZ/E in the system of Internet. This article describe the architecture which is composed by CA component and RA component in XYZ/E,and also uses XYZ/E to describe some sub components of CA component and RA component. So this article gives an axample about the aoolication of XYZ/E in CA system.
出处
《重庆师范大学学报(自然科学版)》
CAS
2005年第3期33-36,共4页
Journal of Chongqing Normal University:Natural Science
基金
国家自然科学基金项目(60073020)
中国科学院计算机科学国家重点实验室开放课题(SYSKF0303)
重庆市教委科学技术研究项目(040803)
关键词
XYZ/E
CA
RA
体系结构
组件
XYZ/E
Certification Authority
Registry Authority
system architecture
component