Systems and methods for modeling distributed service systems by a ledger system

A method and apparatus are described for modeling a software system of a distributed services system. The method includes receiving a stream of ledger transaction messages generated by a software system, which are then stored in a data store. A ledger system accesses a data model representing a state machine of the proper functioning of the software system, and a ledger clearance operation is performed using the state machine and the data stored within the stream of ledger transaction messages.