Formal development of a washing machine controller by using formal design patterns
Xin Ben Li, Feng Zhao · International Conference on Computer Engineering and Applications · 2009
Users of Formal Methods are given sophisticated languages and tools for constructing models of complex systems. But they often lack some systematic methodological approaches that could help them. Design patterns used often in Object Oriented software can result in adapting and incorporating some pre-defined pieces of codes in a software project. Some formal design patterns are presented and applied to the development of a controller model in Event-B that is a formal method for modeling and reasoning about complex discrete system based on set-theory and predicate logic.