电信服务系统特征交互的Z规格及验证

摘要：

为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究.对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环类型.针对特征交互的具体案例,通过Z语言得到精确、无歧义的形式化规格,分别描述各业务之间的交互过程,并在Z规格的基础上对其进行分析及形式化验证.研究人员可根据特征交互的形式化规格及验证结果掌握系统内部的冲突和缺陷,从而有效预防和解决电信系统特征交互问题,保障基础系统和新增功能模块的稳定性.

关键词：特征交互、Z规格、电信系统、形式化描述、形式化验证

所属期刊栏目：42

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

资助基金：广东石油化工学院青年自然科学基金资助项目513023

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

页数：共5页

页码：19-23