Las máquinas abstractas

Desde el punto de vista del método B, las Máquinas Abstractas (AM) resultan equivalentes a un esquema utilizado para un sistema o subsistemas del mismo. Esta estructura es esencialmente la misma mantenida por un sistema de acción, encargado de describir el comportamiento paralelo de un sistema reactivo en términos de acciones atómicas. El objetivo de este trabajo es realizar una presentación formal de conceptos sobre los que se basa una AM en términos de B. Mediante este enfoque, es posible organizar las especificaciones de sistemas muy complejos bajo la forma de 'bloques' independientes con interfases bien definidas