формальная модель описана здесь https://docs.google.com/Doc?docid=0AaM-ENZqAaLuZGRtOWJ3cW1fMjg4MmM4dzJnbg&hl=en