Domain-Driven Design: A mathematical model for process-oriented Aggregates