重庆师范大学学报（自然科学版）
重慶師範大學學報（自然科學版）
중경사범대학학보（자연과학판）
JOURNAL OF CHONGQING NORMAL UNIVERSITY（NATURAL SCIENCE EDITION）
2005年
3期
33-36
,共4页
XYZ/E%CA%RA%体系结构%组件
XYZ/E%CA%RA%體繫結構%組件
XYZ/E%CA%RA%체계결구%조건
XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见.本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例.
XYZ/E是一種麵嚮軟件工程的時序邏輯語言,它在統一的邏輯框架下既能錶示靜態語義又能錶示動態語義,在很多領域得到瞭廣汎應用,但是能夠同時結閤XYZ/E的靜態語義和動態語義在網絡領域具體繫統中的應用還不多見.本文用XYZ/E對CA繫統的CA組件和RA組件之間的體繫結構關繫進行瞭抽象描述,併對CA和RA組件中的部分子組件進行瞭詳細描述,從而為XYZ/E在CA繫統中的應用提供瞭一箇範例.
XYZ/E시일충면향연건공정적시서라집어언,타재통일적라집광가하기능표시정태어의우능표시동태어의,재흔다영역득도료엄범응용,단시능구동시결합XYZ/E적정태어의화동태어의재망락영역구체계통중적응용환불다견.본문용XYZ/E대CA계통적CA조건화RA조건지간적체계결구관계진행료추상묘술,병대CA화RA조건중적부분자조건진행료상세묘술,종이위XYZ/E재CA계통중적응용제공료일개범례.
