1. A method, comprising: processing a domain model of a system, the domain model including classes having attributes including relationship, external, and computed, wherein vertices for the system correspond to a respective one of the classes, wherein the domain model includes causality defined between problems and symptoms in the system; generating a semantic model as an instantiation of the domain model; importing topology information based on the instantiation of the domain model and the relationship attributes; for each vertex in the topology; determining a node in the semantic model that corresponds to the class of the vertex; finding reference expressions in the vertex and placing them into a processing queue of expressions; for each expression in the processing queue; determining a semantic model node that corresponds to a first expression; evaluating and updating a value of the first expression; finding expressions that depend on the first expression; for each dependent expression; determining whether the found dependent expression is in the same class as the first expression; creating a new output message for a dependent vertex when the found dependent expression is not in the same class as the first expression; for the found dependent expression in the same class as the first expression: re-evaluating the found dependent expression; adding the dependent expression to the processing queue; sending generated messages to target vertices; for each vertex that receives messages; determining a node in the semantic model that corresponds to the class of the target vertex; for each message for the target vertex; determining a semantic model node that corresponds to the expression described in the messages of the first expression; updating the first expression; finding expressions that depend on the first expression; for each dependent expression; determining whether the found dependent expression is in the same class as the first expression; creating a new output message for a dependent vertex when the found dependent expression is not in the same class as the first expression; for the found dependent expression in the same class as the first expression: re-evaluating the found dependent expression; adding to a list of messages to be processed for a vertex corresponding to where the re-evaluated found dependent expressions changes value; sending and processing messages as described above until no more messages generated; and gathering problem closures at each vertex; processing updates of the attributes; for each batch of attribute updates; sending and processing messages for the attribute updates until no more messages generated; extracting and sending out changes; and processing further attribute updates, wherein the system comprises a data center environment having elastic converged storage.