Имеет ли сплав возможность моделировать последовательность? Я мог бы сделать это вручную (т. Е. Создать отношение succeeds и перечислить все one X, где он применяется), но представьте, что существует более элегантный подход.Моделирование последовательности в сплаве
Имеет ли сплав возможность моделировать последовательность?
Да.
Я мог бы сделать это вручную (т.е. создать преуспевает отношения, и перечислить все один X, где это применимо),
Да, и в некоторых случаях это так, как вы хотите пойти.
но представьте, что существует более элегантный подход.
Как полковник тридцать два уже отмечалось, util/ordering может быть полезным, как может util/seqrel и util/sequence.
Но в Сплаве 4 самым простым маршрутом к последовательностям является ключевое слово seq, зарегистрированное on the Alloy website. Я полагаю, что это было введено после второго выпуска Программные абстракции пошли на печать; по крайней мере, там нет индексной записи для seq.