论文部分内容阅读
该文提出了一种基于组件的软件体系结构求精方法，主要通过一个具体实例——移动通信监控系统，基于时序逻辑语言XYZ/E形式化描述其体系结构，对该求精方法及过程做进一步阐述。
基于时序逻辑语言描述的监控系统的软件体系结构求精
【摘 要】
：
该文提出了一种基于组件的软件体系结构求精方法，主要通过一个具体实例——移动通信监控系统，基于时序逻辑语言XYZ/E形式化描述其体系结构，对该求精方法及过程做进一步阐述。
【机 构】
：
苏州大学计算机科学与技术学院,中国科学院软件研究所计算机科学重点实验室,重庆师范大学数学与计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2003年31期
【基金项目】
：
国家自然科学基金(编号:60073020),中国科学院计算机科学重点实验室开放课题(编号:SYSKF0303),重庆市自然科学基金项目(编号:7479)
其他文献
文章针对网络化制造中的制造资源优化配置问题，提出了基于多Agent的网络化制造资源优化配置决策支持系(NMROCDSS)。首先对系统功能需求进行了分析，讨论了NMROCDSS系统同其它系
肱骨外科颈骨折是肱骨近端常见骨折类型, 位于肱骨大、小结节下缘,解剖颈下2～3cm, 该处由松质骨向密质骨过度且稍细,肩关节韧带和关节囊较松弛,易发生骨折,各种年龄均可发生,
全球化竞争的发展，使跨企业系统集成和异地协同设计成为现实和迫切的需求。介绍电子仓库在PDM系统中的作用，针对集中式和分布式电子仓库在跨企业系统集成方面的局限性，提出了基
呼吸机相关性肺炎（VAP）是有创通气常见的并发症,也是导致死亡的常见原因。现对我院呼吸重症监护病房（RICU）行机械通气的98例患者临床资料进行回顾性分析,探讨呼吸机相关性肺炎的
信息安全技术领域一个非常重要的方面是访问控制。文章描述了近年提出的一种新的访问控制技术RBAC。详细介绍RBAC的基本要素及NIST的RBAC四层模型，讨论比较了RBAC模型与TCSEC