On the relationship between ASSO and B

ASSO is a formal methodology for developing database applications. The ASSO methodology, now under evolution, is based on B. Formal relationship which links ASSO to B can be usefully exploited to construct ASSO tools based on the B-Tools and how the evolution of ASSO favours the development of the ASSO tools.