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

• 作者: 周炳 彭展 梁根
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 特征交互 Z规格 电信系统 形式化描述 形式化验证
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 19-23
• 页数: 5页
• 分类号: TP311
• 字数: 4593字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2016.08.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭展	广东石油化工学院实验教学部	15	9	2.0	2.0
2	梁根	广东石油化工学院理学院	7	39	5.0	6.0
3	周炳		1	1	1.0	1.0