Method, device and computer program product for support of maintaining a system. The method includes: evaluating a current system state and detecting a first lattice element corresponding to the current system state; locating at least one state improvement path, within a lattice that represents states of the system, between the first lattice element and a second lattice element representative of a target system state; determining, for at least one state improvement path, rules that should be satisfied in order to reach the system target state; and determining how to fulfill the rules associated with at least one state improvement path.