Я должен написать код, как доступ = нет. Но если я выполню метамодель, появится сообщение Cannot...

Я моделирую встроенную систему комментариев Google Docs в Alloy. В частности, я моделирую...

Я пытаюсь установить Alloy 4.2, и для него требуется Java 6. На странице, на которую она ссылается,...

У меня есть две «Системы», обозначающие System1 и System2. Я хочу, чтобы каждая система имела...

Предположим, у меня есть следующие подписи: sig A {} sig B {} sig P { a: A, b: B } Как мне написать...

Я менял шрифт редактора Alloy-Tool, и он завис. Теперь я не могу запустить его, возвращая это...

ОБНОВЛЕНИЕ: Я наткнулся на эти слайды , которые показывают (на стр. 22), как добиться проекции,...

У меня есть модель (см. Ниже) с двумя подписями: Data и Node. Я определил некоторые предикаты,...

Я пытался использовать анализатор Alloy, но он вылетает, как только я пытаюсь что-то напечатать в...

Возможно, это глупый вопрос, но я пытаюсь использовать Разрешить для проверки эквивалентности...

Предположим, у нас есть следующая модель сплава: sig A {} sig B { R : A } fact { R.~R in iden } run...

Я начинаю с определений, подобных приведенным ниже sig Sub { vals : set Int } sig Top { subs : set...

Я заметил, что приоритеты операторов сравнения Alloy следуют этому порядку: операторы отрицания...

Я построил модель сплава, куда я поместил всю свою системную логику.Я хочу сделать крупномасштабный...

мой код такой: но когда я выполню это, он покажет мне только один дом и один мохр. что мне делать ?

Определение системы: всякий раз, когда происходит определенное событие, я хочу изменить состояние...

Я хочу изменить сервисный код объекта всякий раз, когда какой-либо сервис работал с ним....

Я создал программу сплава, чтобы проверить некоторые правила системы.Теперь я хочу проверить...

Я новичок в Alloy. Я пытаюсь формализовать систему с использованием Alloy. Здесь я хочу выполнить...

Я играю со сплавом и использую довольно простой пример. То, что я пытаюсь сделать, это вернуть...

Я часто сталкиваюсь с чем-то вроде следующего: sig Property {} abstract sig Unit { property: some...

Я хочу использовать очередь в моей программе сплавов.Тем не менее, учебник, который я получил из...

Я новичок в Alloy.Я хочу моделировать IFTTT из сплава.В IFTTT есть одно событие триггера и одно...

Я пытаюсь написать предикат в сплаве, который определит, является ли набор узлов деревом. У меня...

Как назначить переменную в Alloy? Sig ClassA{ variable_1: String, variable_2: Int } Sig ClassB{...