玫瑰国际的软件体系结构有哪些是指什么

持基于软件体系结构有哪些的开發需要有形式化建模符号、软件体系结构有哪些说明的分析与开发工具。从软件软件体系结构有哪些研究的现状来看在这一领域近来巳经有不少进展,其中比较有代表性的是美国卡耐基梅隆大学(Carnegie Mellon University)的Robert J.A11en于l997年提出的Wright系统Wright是-种结构描述语言,该语言基于一种形式化的、抽象的系统模型为描述和分析软件软件体系结构有哪些和结构化方法提供了一种实用的工具。Wright主要侧重于描述系统的软件构件和连接的結构、配置和方法它使用显式的、独立的连接模型来作为交互的方式,这使得该系统可以用逻辑谓词符号系统而不依赖特定的系统实唎来描述系统的抽象行为。该系统还可以通过一组静态检查来判断系统结构规格说明的一致性和完整性从这些特性的分析来说,Wright系统的確适用于对大型系统的描述和分析

我要回帖

更多关于 软件体系结构有哪些 的文章

 

随机推荐