基于Alloy的发布/订阅系统的形式化模型及其检测

• 作者: 李夫收 王小平 薛小平
• 来源期刊: 中国电子商情·通信市场
• 学科: 工学
• 关键词: 发布/订阅系统 形式化 模型检测 Alloy
• 年，卷（期）: 2010,（4）
• 页码范围: 36-42
• 分类号: TP3
• 字数: 3661字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-6675-B.2010.04.020

摘要

从软件形式化和模型检测着手,提出了一种利用Alloy语言对发布/订阅系统进行形式化描述,并利用Alloy分析器进行模型检测的方法.具体实例表明,利用Alloy可以方便的对发布/订阅系统进行建模,并进行自动模型检测,可应用于发布/订阅系统开发的分析和设计阶段.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王小平	同济大学信息与通信工程系	109	940	18.0	24.0
2	薛小平	同济大学计算机科学与技术系	54	511	13.0	21.0
3	李夫收	同济大学计算机科学与技术系	1	1	1.0	1.0