How Firing Conditions Help Inheritance

We tackle an under-explored question in Z semantics; what does an operation schema mean? We explain why this is important by describing our requirement to specify objects with active and passive behaviours. We show that one of the interpretations we uncover in order to represent active behaviour can also considerably simplify object-oriented inheritance.