TPN与B方法集成的形式化技术

• 作者: 姜梦稚
• 来源期刊: 华东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: TPN B方法 集成 滑动窗口协议
• 年，卷（期）: 2007,（z1）
• 页码范围: 127-131
• 页数: 5页
• 分类号: TP312
• 字数: 4435字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2007.z1.032

摘要

单一的形式化方法和技术在描述系统时总是有一定的不足,通过集成TPN与B方法可以相互取长补短.本文讨论了TPN-B技术如何将TPN与B方法的抽象机之间构建起映射关系,介绍了如何用TPN-B对系统进行一个初始的构造,并通过对滑动窗口协议进行描述来体现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜梦稚	上海电机学院电子信息学院	7	20	3.0	4.0