Any system analysis would encompass and expose one to the constituent entities, workflows and use cases around the various system actors. One important constituent is time: What happens when, and how ...
The Event-sourced Domain Modeling Language describes event-driven domains as YAML next to the code and makes the model verifiable with the same toolchain. Domain-driven Design (DDD) and Event Sourcing ...