论文部分内容阅读
该文提出了一种基于组件的软件体系结构求精方法,主要通过一个具体实例———移动通信监控系统,基于时序逻辑语言XYZ/E形式化描述其体系结构,对该求精方法及过程做进一步阐述。
This paper presents a component-based software architecture refinement method, mainly through a specific example --- mobile communication monitoring system, based on the sequential logic language XYZ / E to formally describe its architecture, the refinement methods and processes Make further elaboration.