How to create easy-to-read Alloy models

Slides:

Advertisements

Similar presentations

Planet Facts Name That Planet Solar System Fun Facts

Advertisements

Keyboard Fun! We will have some fun typing our name! 1.

Windows XP John Morano. Logging into Windows XP XP is a secure operating system – users must log into their own workstation XP is a secure operating system.

Router Set Up Instruction

Trainers name(s) here.

INSTRUCTIONS To customize this TEMPLATE

Using Alloy to Design a Safe Traffic Light System

Making PowerPoints FUN

continued on next slide

Rogers customer service Rogers support number

Patient Lists For Ambulatory Staff

QuickBooks Online Support

Instructions for accessing PSS\E

continued on next slide

continued on next slide

Objective: Be able to add and subtract directed numbers.

Happy holidays This template has been created in Microsoft Office To replace the sentiment here follow these instructions: The sentiment can be customized.

ONLINE PUBLIC ACCESS CATALOG

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired. 1.

Model the non-negative even integers

Each hotel guest has a set of keys and no two guests have the same key

Modeling Inference Rules

Title of Session Presentation Here

Use Alloy to model and find a solution to the Farmer, Goat, Cabbage, and Wolf problem Roger L. Costello July 14, 2018.

Multiple Inheritance Roger L. Costello March 24, 2018.

Presentation Title Goes Here and Can Take Two or More Lines

Learn How To Import Or Export A folder With Bitdefender Support

Expressing set properties in Alloy

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired. 1.

For more information, contact: [Name] [ ] [Phone number]

How to Report an Absence (or that you subbed)

How do I move my files from my local computer (or myFiles) to my OneDrive-UWSP Sync Client? Try this: Open Windows Explorer (Windows 7) or File Explorer.

Encapsulation in Alloy

MADE IN USA KEY QUOTE TOOL.

Desktop model Roger L. Costello March 24, 2018 Desktop0 Desktop1

Eve knows Alice’s password

X by 20 Can you remember how to x by 20? Lets try 25 x 20

Expressing set properties in Alloy

Skip Counting is Fun! By Mrs Oste.

You may choose to use any one of these provide slide templates and make changes as desired. 1.

Model Land and Seafloor Surfaces using Alloy (Part 3)

Object model versus Event model

The root cause of all security failures

You may choose to use any one of these provide slide templates and make changes as desired.

АВЛИГАТАЙ ТЭМЦЭХ ҮНДЭСНИЙ ХӨТӨЛБӨР /танилцуулга/

Comparing Embryology.

You may choose to use any one of these provide slide templates and make changes as desired. 1.

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired.

Object model versus Event model

The following slides contain repeats of information on earlier slides, shown without colour, so that they can be printed and photocopied. For most purposes.

Objective: Be able to add and subtract directed numbers.

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired.

continued on next slide

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired.

You may choose to use any one of these provide slide templates and make changes as desired.

continued on next slide

Presentation transcript:

How to create easy-to-read Alloy models Roger L. Costello March 24, 2018

Not Readable Oftentimes a pred or fun has two parameters, e.g., pred logsOnAs[c1, c2 : Customer] { … } Let Eve and Alice be two Customers. Then the pred may be called this way: logsOnAs[Eve, Alice] Ugh! That’s not readable.

Is Readable If the first parameter is an atomic value (not a set value), then the pred (or fun) can be called by: first_parameter.pred_name[second_parameter] Eve logs on as Alice can be called by: Eve.logsOnAs[Alice] That is highly readable!

Not Readable This pred is called to cut an icon from a desktop: pred cut [desktop: Desktop, icon: Icon] { … } Here’s how it is called, using the approach two slides back: desktop.cut[icon] Ugh! That’s not readable.

Is Readable Change the order of the parameters. Change the name of pred: pred cutFrom [icon: Icon, desktop: Desktop] { … } icon is cut from desktop can be called by: icon.cutFrom[desktop] That is highly readable!