用XYZ/E形式化体系结构风格

被引：12

作者：

焦文品

史忠植

机构：

[1] 中国科学院计算技术研究所!北京

来源：

软件学报 | 2000年 / 03期

关键词：

软件体系结构; 风格; 形式化; XYZ/E;

D O I：

10.13328/j.cnki.jos.2000.03.019

中图分类号：

TP311 [程序设计、软件工程];

学科分类号：

081202 ; 0835 ;

摘要：

该文用时序逻辑语言 XYZ/ E刻画了若干种常见的体系结构风格 .在刻画风格之前 ,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系 ,然后通过对特定组件和连接方式的组合产生了完整的体系结构风格的形式化描述

引用

收藏

页码：410 / 415

页数：6

相关论文

共 2 条

[1]

Correctness and composition of software architectures[J] . Mark Moriconi,Xiaolei Qian.ACM SIGSOFT Software Engineering Notes . 1994 (5)

[2]

An introduction to software architecture .2 Garlan D,Shaw M. In: Ambriola V, Tortora G eds, Advances in Software Engineering and Knowledge Engineering . 1993