Using Design Patterns in Formal Methods: An Event-B Approach

Using Design Patterns in Formal Methods: An Event-B Approach
复制标题

在形式化方法中使用设计模式：事件 B 方法

DOI：
--
复制
发表时间：
2008
期刊：
International Colloquium on Theoretical Aspects of Computing
影响因子：
--
通讯作者：
Son Hoang
Son Hoang
中科院分区：
--
文献类型：
--
作者：
J. Abrial;Son Hoang

文献摘要

被引文献

相似文献

动机形式化方法的用户被赋予了复杂的语言和工具来构建复杂系统的模型。但是，它们往往缺乏一些系统的方法，可以帮助它们。在形式化方法中引入设计模式的目的正是为了弥合这一鸿沟。 设计模式是对（软件）设计中常见问题的通用可重用解决方案。. .它是一个描述或模板，说明如何解决一个问题，可以在许多不同的情况下使用（维基百科上的“设计模式”）。
Motivation. Formal Methods users are given sophisticated languages and tools for constructing models of complex systems. But quite often they lack some systematic methodological approaches which could help them. The goal of introducing design patternswithin formal methods is precisely to bridge this gap. A design pattern is a general reusable solution to a commonly occurring problem in (software) design . . . It is a description or template for how to solve a problem that can be used in many different situations (Wikipedia on "Design Pattern").