Investigating a new formal model for a library system using B method
Mohammad Reza Nami, Hamid Razavi, Milad Saeedi, Navid Shahidi · ACM SIGSOFT Software Engineering Notes · 2009
The use of formal methods for development of safety-critical sys-tems has motivated researchers to serve them in distributed appli-cations. B method has the precision to support animation and rigorous verification, but requires significant effort in training to overcome the mathematical barrier that many practitioners perce-ive. In this paper, an overview of B method is described including definition, properties, and tools. Then, a new formal model for a library system using B is presented. This formal model can be ex-tended in distributed environments and be integrated with UML as further work.