一种通信系统属性交互作用的检测和避免方法

摘要：

属性交互(作用)是通信系统开发中的难点之一,人们一直在探讨分析、检测、避免设计和运行过程中的属性交互.本文基于UCMs和LOTOS结合应用提出一种解决方法,即在软件需求分析阶段描述、确认分析通信系统的特征及其之间的相互关系,进而检测和避免发生属性交互作用.该方法吸取了UCMs和LOTOS的优点,适合通信软件系统的属性交互检测、避免.

关键词： UCMs LOTOS 属性交互 通信系统

作者: 倪世道 袁兆山 蔡智明

作者单位: 合肥工业大学计算机与信息学院(安徽合肥)

会议类型: 国内会议

会议名称: 全国第十四届计算机科学及其在仪器仪表中的应用学术交流会

会议地点: 深圳

会议语种:中文

页码: 164-170

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