Stef Joosten

failed to register layer: devicemapper: Error running deviceCreate (createSnapDevice) dm_task_run failed

3

### Expected behavior I am running a docker installation. On one Linux server (called Wolfram) it works. I would expect it to work on another Linux server as well. However...

Transitive Closure

3

# Problem The postfix operators `*` and `+` (the Kleene closures) don't work yet in Ampersand, even though the need for them occurs frequently when specifying information systems in Ampersand....

Yellow messages (business constraints) in practice

1

# Problem A yellow message contains the violations of a business constraint (aka process rule) to all users with the ROLEs that maintain that business constraint. When an information system...