基于时序逻辑语言描述的监控系统的软件体系结构求精

摘要：

该文提出了一种基于组件的软件体系结构求精方法,主要通过一个具体实例--移动通信监控系统,基于时序逻辑语言XYZ/E形式化描述其体系结构,对该求精方法及过程做进一步阐述.

关键词：软件体系结构、监控系统、组件、求精、时序逻辑、XYZ/E

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60073020;中国科学院计算机科学重点实验室基金SYSKF 0303;重庆市自然科学基金7479

在线出版日期：2003-12-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：14-17