Faculty of Engineering and Mathematical Sciences 
Not logged in (login)


This forum is provided to promote discussion amongst students enrolled in CITS5501 Software Testing and Quality Assurance.

Before posting a question here, you might like to (1) search the forum for previous posts asking the same question, and (2) read the article How To Ask Questions The Smart Way .
And please keep the discussion civil (as required by UWA's Computer Use Policy, #9).

RSS cloud
Jump to:

Project question 3 - Alloy entities

1 of 124 articles shown, currently no other people reading this forum.
From: Arran S.
Date: Mon 25th May 2020, 11:18am


I was asked:

> In the alloy section, are we to make assumptions on when certain things exist as well 
as relationships?

For this question, you *must* declare entities to represent contracts, formulas, and 
trading organizations.

You *may* declare other entities if you need to.

You shouldn't need to assume the existence of any entities, though - if you think you 
need to, try simplifying what you're modelling.

Remember that a model doesn't need to incorporate *every* detail of the original - just 
enough to adequately model the relations between things. If you think you need some 
datatype we haven't covered - ask yourself whether a simpler data-type would do instead.

Hopefully that helps.


This Page

Program written by: [email protected]
Feedback welcome
Last modified: 11:27am Sep 21 2020