Questions tagged [alloy]

Alloy from MIT is a declarative specification language for expressing complex structural constraints and behavior in a software system, and a tool for exploring and checking properties of the resulting structures.

Alloy from MIT is a declarative specification language for expressing complex structural constraints and behavior in a software system, and a tool for exploring and checking properties of the resulting structures.

The home page for Alloy is alloy.mit.edu.

Tutorials and documentation

  1. MIT Alloy tutorial page
  2. Official Alloy documentation

Reference books

  1. Software Abstraction by Daniel Jackson
594 questions
-1
votes
1 answer

How to translate Event-Condition-Action rules to Alloy

How can we translate Event-Condition-Action rules to Alloy (http://alloy.mit.edu/alloy/)
Santa
  • 15
  • 4
-2
votes
1 answer

Weird signature constraining behavior of alloy5 (git commit 30b41ae8125f69657)

Can somebody clarify what is going wrong here: enum Stage { Receive, Check, Drop, Save, Forward, Delivered } sig StartStage in Receive {} -- { StartStage = Receive } -- do not constrain StartStage??? -- if uncommented here, but commented in fact…
-2
votes
1 answer

Try to build a Java program to convert from Alloy instance to any language code

I am working on a research project that an Alloy generated instance holds entities (such as Signatures, Fields, Relations or Tuples) that resemble a programming language (such as java, c, etc). For example, there are entities for Arithmetic…
Alex Correia
  • 658
  • 6
  • 14
-2
votes
1 answer

alloy: What's wrong with this Alloy code?

how to solve this problem of execute this alloy code? tested with alloy v 4.1 give us an error: .error type This cannot be a legal relational join where left hand side is t (type = {this/Target}) right hand side is this/subjects (type =…
-2
votes
1 answer

Alloy - set difference leading to vars and clauses, set union does not

I'm curious as to when evaluation sets in, apparently certain operators are rather transformed into clauses than evaluated: abstract sig Element {} one sig A,B,C extend Element {} one sig Test { test: set Element } pred Test1 { Test.test = A+B…
Jakumi
  • 8,043
  • 2
  • 15
  • 32
-2
votes
1 answer

Need help in Alloy

This is an example of Alloy that I found I want to make it with 3 predicates, 3 facts, 3 objects and 3 assertions, can someone please help me? I am very new in Alloy and need some immediate help. abstract sig Color {} one sig Red,Yellow,Green…
-2
votes
1 answer

Understanding output in alloy

Cannot understand output of alloy code: abstract sig Name{} one sig N0, N1, N2 extends Name{} abstract sig Book{} one sig b0 extends Book { addr : Name -> Name} abstract sig E{} one sig e0 extends E{} pred show(){ some *(b0.addr) } run show I…
Programmer
  • 6,565
  • 25
  • 78
  • 125
-3
votes
1 answer

Alloy analyzer crashes on Mac OS X 10.14

I tried to use the Alloy analyzer but it crashes as soon as I try to type anything in the editor for example. Any ideas how to fix that ?
rogergl
  • 3,501
  • 2
  • 30
  • 49
-4
votes
1 answer

Alloy and webpro

I am new in alloy and I have a task relating to Alloy. I have to model a protocol in alloy and that protocol is a web protocol. I have a sender,receiver and an intermediate entity. I wrote signatures on these entities but I don't know how to run…
ANN
  • 1
1 2 3
39
40