This package contains the high level data model, which represents sequences and transition between messages.